*******************
 *** README AIDA ***
 *******************

This repository contains the safety model 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.pf.irt-saintexupery.com/
project AIDA


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.

Corresponding SE version (see AIDA Architecture repository): V4.5 - S2C final delivery

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

************************************************************************
* 3. List of files and how to use them
************************************************************************

- model : contains the SimfiaNeo models (to be opened with SimfiaNeo V1.4.2 - see https://www.protect.airbus.com/safe-mobility/simfianeo/ for more information)
	- functional model : an MBSA model based on the functional architecture of AIDA.
	- physical model : an MBSA model based on the physical architecture of AIDA.
	
- documents : contains the safety documents related to the AIDA use case, inspired from ARP4754A and ARP4761 guidelines:
	- AIDA - SORA analysis : partial SORA analysis of the AIDA concepts, as proposed by EASA for Unmanned Aircraft Systems operations in Specific category (see https://www.easa.europa.eu/en/document-library/easy-access-rules/easy-access-rules-unmanned-aircraft-systems-regulations-eu) 
	- Aircraft level folder : safety documents related to the "Aircraft level" 
		- FHA AIDA: Aircraft level FHA
		- PASA - FTA : ault trees for CAT and HAZ failure conditions, for system level requirements definition (PASA)
		- PASA AIDA : synthesis of requirements for system level
	- System level folder : safety documents related to the "System level"
		- SFHA AIDA: System FHA, covering all the systems of AIDA
		- PSSA AIDA : PSSA analysis, exploiting the computation results of the MBSA physical model, and establishing the requirements for the Item levels
		- FMES-SFMEA : simulated FMES and SFMEA at item levels for all the constituant of AIDA
		- SSA : compliance of AIDA to the top-level requirements, integrating the quantitative results contained in the SFMEA.

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

Third party components:

The nodes Functions/BasicOperators/AND, Functions/BasicOperators/Comparator, Functions/BasicFunctions/InOutFunction and 
Functions/BasicFunctions/SourceFunction are provided under the following terms:

Copyright (c) 2007-2022 ONERA.

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/




Contact :systems-engineering@irt-saintexupery.com 