AIDA
/
AIDASafety
mirror of http://172.16.200.102/AIDA/AIDASafety.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
Browse Source

Update README.txt for IRT contact

master
Julien BACLET 2 years ago
parent
f547dc5c09
commit
390b14fe3f
1 changed files with 58 additions and 59 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 117
      README.txt

117
README.txt
Unescape View File

@ -1,59 +1,58 @@ @@ -1,59 +1,58 @@
*******************
*** README AIDA ***
*******************
This repository contains the safety model of the study case AIDA.
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/
project AIDA
1. AIDA description
2. Motivation and intended use
3. List of files and how to use them
************************************************************************
* 1. AIDA description
************************************************************************
The AIDA (Aircraft Inspection by Drone Assistant) system, is a Remotely Piloted Aircraft System (RPAS).
It is composed of a quadcopter drone, a control computer and a remote control.
The mission of this system is to help the pilot to inspect the aircraft before flight.
The quadcopter drone can be piloted in automated or manual mode. In manual mode,
the pilot guides the inspection of the aircraft by the drone.
In automated mode, the drone follows a flight plan and records the video of the inspected zone.
************************************************************************
* 2. Motivation and intended use
************************************************************************
AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
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
Currently, the following works use this use case :
Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.
In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings.
Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
https://doi.org/10.1007/978-3-319-64119-5_2
************************************************************************
* 3. List of files and how to use them
************************************************************************
AIDASystem-AltaRicaDataFlow.alt: safety model of AIDA in AlaRica DataFlow (version Cecilia-OCAS), text format
AIDASystem-OCASModel.exp: safety model of AIDA, Cecilia-OCAS export format (v5)
AIDASystem-OCASModel.docx: generated documentation of the model, MS Word format
*******************
*** README AIDA ***
*******************
This repository contains the safety model of the study case AIDA.
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/
project AIDA
1. AIDA description
2. Motivation and intended use
3. List of files and how to use them
************************************************************************
* 1. AIDA description
************************************************************************
The AIDA (Aircraft Inspection by Drone Assistant) system, is a Remotely Piloted Aircraft System (RPAS).
It is composed of a quadcopter drone, a control computer and a remote control.
The mission of this system is to help the pilot to inspect the aircraft before flight.
The quadcopter drone can be piloted in automated or manual mode. In manual mode,
the pilot guides the inspection of the aircraft by the drone.
In automated mode, the drone follows a flight plan and records the video of the inspected zone.
************************************************************************
* 2. Motivation and intended use
************************************************************************
AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
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 (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.
In: Bozzano, M., Papadopoulos, Y. (eds.) Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings.
Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
https://doi.org/10.1007/978-3-319-64119-5_2
************************************************************************
* 3. List of files and how to use them
************************************************************************
AIDASystem-AltaRicaDataFlow.alt: safety model of AIDA in AlaRica DataFlow (version Cecilia-OCAS), text format
AIDASystem-OCASModel.exp: safety model of AIDA, Cecilia-OCAS export format (v5)
AIDASystem-OCASModel.docx: generated documentation of the model, MS Word format

Write Preview
Loading…
Cancel
Save