Merge branch 'S2C_delivery' into 'master'

S2C delivery

See merge request AIDA/AIDASafety!1

models/SimfiaNeoproject - functional model/AIDA_V4_5_functional/.project

@@ -0,0 +1,12 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>AIDASystem_SimfiaNeoModel</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.sirius.nature.modelingproject</nature>
+	</natures>
+</projectDescription>

models/SimfiaNeoproject - functional model/Copyrights.txt

@@ -5,7 +5,7 @@
 
 The whole model is provided under the following terms
 
-Copyright (c) 2016-2018 IRT AESE (IRT Saint Exupéry).
+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,
@@ -16,7 +16,7 @@ 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-2017 ONERA. 
+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)

models/SimfiaNeoproject - functional model/README.txt

@@ -1,58 +1,56 @@
- *******************
+
- *** README AIDA ***
+ *******************
- *******************
+ *** 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 contains the safety model of the study case AIDA.
-This repository is managed in versioning throught git, with the following url
+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
+https://sahara.pf.irt-saintexupery.com/
-
+project AIDA
-
+
-1. AIDA description
+
-
+1. AIDA description
-2. Motivation and intended use
+
-
+2. Motivation and intended use
-3. List of files and how to use them
+
-
+3. List of files and how to use them
-
+
-
+
-
+
-
+
-************************************************************************
+
-* 1. AIDA description
+************************************************************************
-************************************************************************
+* 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 AIDA (Aircraft Inspection by Drone Assistant) system, is a Remotely Piloted Aircraft System (RPAS). 
-The mission of this system is to help the pilot to inspect the aircraft before flight. 
+It is composed of a quadcopter drone, a control computer and a remote control. 
-The quadcopter drone can be piloted in automated or manual mode. In manual mode, 
+The mission of this system is to help the pilot to inspect the aircraft before flight. 
-the pilot guides the inspection of the aircraft by the drone. 
+The quadcopter drone can be piloted in automated or manual mode. In manual mode, 
-In automated mode, the drone follows a flight plan and records the video of the inspected zone.
+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
+************************************************************************
-************************************************************************
+* 2. Motivation and intended use
-AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
+************************************************************************
-systems.
+AIDA provides a reference study case representative of the complexity and criticity found in aeronautical
-Our intent is to provide a repository to gather all AIDA modellings in order to share different approaches and tools.
+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.
+
-
+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.
-
+systems-engineering@irt-saintexupery.com
-
+
-Currently, the following works use this use case :
+Currently, the following works use this use case :
-Prosvirnova, T., Saez, E., Seguin, C., Virelizier, P.: Handling consistency between safety and system models.
+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.
+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),
+Lecture Notes in Computer Science, vol. 10437, pp. 19-34. Springer (2017),
-https://doi.org/10.1007/978-3-319-64119-5_2
+https://doi.org/10.1007/978-3-319-64119-5_2
-
+
-************************************************************************
+************************************************************************
-* 3. List of files and how to use them
+* 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-SimfiaNeoModel_System***_Safety*.zip: to be imported in SimfiaNeo (*** replaced by version number)
-AIDASystem-OCASModel.exp: safety model of AIDA, Cecilia-OCAS export format (v5)
+Current version of SimfiaNeo 1.4.2
-
+
-AIDASystem-OCASModel.docx: generated documentation of the model, MS Word format
-

models/SimfiaNeoproject - physical model/AIDA_V4_5_physical/.project

@@ -1,11 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>AIDASafety</name>
+	<name>AIDA_V4_5_physical</name>
 	<comment></comment>
 	<projects>
 	</projects>
 	<buildSpec>
 	</buildSpec>
 	<natures>
+		<nature>org.eclipse.sirius.nature.modelingproject</nature>
 	</natures>
 </projectDescription>

readme.txt

@@ -0,0 +1,95 @@
+*******************
+ *** README AIDA ***
+ *******************
+
+This repository contains the safety model and artifacts of the study case AIDA.
+It is provided by IRT Saint Exup<75>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<75>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