AIDA/AIDASimulation
1
0
Fork 0
mirror of http://172.16.200.102/AIDA/AIDASimulation.git synced 2025-11-27 00:17:58 +01:00
Code Issues Projects Releases Wiki Activity

Update README.txt for IRT contact

Browse Source
This commit is contained in:
Julien BACLET
2022-09-14 04:55:52 +00:00
parent 4bbcd3a851
commit fdf293ece6
1 changed files with 2 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
README.txt
View File

@@ -1,10 +1,9 @@
*******************
*** README AIDA ***
*******************
This repository contains the simulation model of the study case AIDA.
It is provided by IRT Saint Exup<EFBFBD>ry under a Creative Commons BY-SA licence.
It is provided by IRT Saint Exupéry under a Creative Commons BY-SA licence.
This repository is managed in versioning throught git, with the following url
https://sahara.pf.irt-saintexupery.com/
@@ -36,9 +35,7 @@ AIDA provides a reference study case representative of the complexity and critic
systems.
Our intent is to provide a repository to gather all AIDA modellings in order to share different approaches and tools.
If you plan to use AIDA as a study case it would be kind to inform the IRT Saint-Exupery contacts below. We would be pleased to answer your questions.
patrick.farail@irt-saintexupery.com
estelle.saez@irt-saintexupery.com
If you plan to use AIDA as a study case it would be kind to inform the IRT Saint-Exupery (systems-engineering@irt-saintexupery.com). We would be pleased to answer your questions.
Currently, the following works use this use case :
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.