|
|
|
|
|
|
|
|
|
|
|
*******************
|
|
|
|
|
|
*** 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.
|
|
|
|
|
|
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
|
|
|
|
|
|
************************************************************************
|
|
|
|
|
|
|
|
|
|
|
|
- How to use the model.pdf : describes how to open and play the AIDA simulation with OpenModelica
|
|
|
|
|
|
- AIDAModelica library: contains all the model used in AIDA_System.mo model
|
|
|
|
|
|
- AIDA_System.mo : model of AIDA based on AIDAModelica library
|
|
|
|
|
|
- Simulation viewpoint.pdf: contains the diagram that explain the difference between the AIDA system architecture, found in this forge and AIDA simulation model
|
|
|
|
|
|
|
