*******************

 *** README AIDA ***

 *******************



This repository contains the architecture models and artifacts 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.irt-saintexupery.com/AIDA/AIDAArchitecture





1. AIDA description



2. Motivation and intended use



3. List of files and how to use them



4. Licensing information





************************************************************************

* 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.



System architecture version: V4.4.3



************************************************************************

* 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 safety modellings and artifacts 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



Romaric Demachy, Sébastien Guilmeau. Structural consistency of MBSE and MBSA models using Consistency Links. 

11th European Congress Embedded Real Time System ( ERTS 2022 ), Jun 2022, Toulouse, France.

https://hal.archives-ouvertes.fr/hal-03697170/



************************************************************************

* 3. List of files and how to use them

************************************************************************



- Capella model : contains the Capella model. Required environment : Capella 5.0 with the following add-ons : PVMT + Diagram Styler

(See https://www.eclipse.org/capella/download.html and https://www.eclipse.org/capella/addons.html)



- Cameo model : This model shall be edited with Cameo Systems Modeller V19.0 SP2/3. This model contains an execution capability, which requires the appropriate license.



- AIDA_Model_Description : synthetic description of the model content

		



************************************************************************

* 4. Licensing information

************************************************************************



The whole content is provided under the following terms



Copyright (c) 2016-2022 IRT AESE (IRT Saint Exupéry).



All rights reserved. This program and the accompanying materials are made available under the terms of the 

Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) which accompanies this distribution,

and is available at https://creativecommons.org/licenses/by-sa/4.0/





Contributors:

Pierre Virelizier, Tatiana Prosvirnova, Estelle Saez – Initial contribution

Romaric Demachy - V4.4 system version



Third party components :

The Cameo model uses components available under the following terms



/********************************************************************************************************

* Copyright (c) {January 2021} {Samares-Engineering} [and Jean-Marie Gauthier]

*

* This program and the accompanying materials are made

* available under the terms of the Eclipse Public License 2.0

* which is available at https://www.eclipse.org/legal/epl-2.0/

*

* SPDX-License-Identifier: EPL-2.0

*********************************************************************************************************/



Contact :systems-engineering@irt-saintexupery.com