mirror of
http://172.16.200.102/AIDA/AIDASafety.git
synced 2026-01-08 10:03:58 +01:00
a7360fe176
Final version of Safety models (functional and physical) and documents associated to System version V4.5
95 lines
5.1 KiB
Plaintext
95 lines
5.1 KiB
Plaintext
*******************
|
|
*** 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 |