V4.5

Final version of Safety models (functional and physical) and documents
associated to System version V4.5

models/SimfiaNeoproject - functional model/AIDA_V4_5_functional/.project

@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-	<name>AIDASystem_SimfiaNeoModel_442_Safety2</name>
+	<name>AIDASystem_SimfiaNeoModel</name>
 	<comment></comment>
 	<projects>
 	</projects>

models/SimfiaNeoproject - functional model/Copyrights.txt

@@ -0,0 +1,23 @@
+
+************************************************************************
+	Copyrights and license
+************************************************************************
+
+The whole model 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/

models/SimfiaNeoproject - functional model/README.txt

@@ -0,0 +1,56 @@
+
+ *******************
+ *** README AIDA ***
+ *******************
+
+This repository contains the safety model 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
+
+
+
+
+
+************************************************************************
+* 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.
+systems-engineering@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
+************************************************************************
+
+AIDASystem-SimfiaNeoModel_System***_Safety*.zip: to be imported in SimfiaNeo (*** replaced by version number)
+Current version of SimfiaNeo 1.4.2
+

models/SimfiaNeoproject - physical model/AIDA_V4_5_physical/.project

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

readme.txt

@@ -29,7 +29,7 @@ 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.4.3
+Corresponding SE version (see AIDA Architecture repository): V4.5 - S2C final delivery
 
 ************************************************************************
 * 2. Motivation and intended use
@@ -50,16 +50,21 @@ https://doi.org/10.1007/978-3-319-64119-5_2
 * 3. List of files and how to use them
 ************************************************************************
 
-- model : contains the SimfiaNeo model (to be opened with SimfiaNeo V1.3.2 - see https://www.protect.airbus.com/safe-mobility/simfianeo/ for more information)
+- 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.
 	
-- CL_set : contains the description of the Consistency Links (CL) set
+- documents : contains the safety documents related to the AIDA use case, inspired from ARP4754A and ARP4761 guidelines:
-defined for the study of the MBSE-MBSA structural consistency according to the SSR method
+	- 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) 
-(see deliverable LIV-S085L02-023 / ISX-S2C-DOC-436 from S2C project).
+	- Aircraft level folder : safety documents related to the "Aircraft level" 
-The CL set is defined in the following files :
+		- FHA AIDA: Aircraft level FHA
-	- primary_aliases : mapping between the primary model (the MBSE model) objects and the CLs
+		- PASA - FTA : ault trees for CAT and HAZ failure conditions, for system level requirements definition (PASA)
-	- secondary_aliases : mapping between the secondary model (the MBSA model) objects and the CLs
+		- PASA AIDA : synthesis of requirements for system level
-	- CL_model : relation links between the CLs_function and the CLs_flows
+	- System level folder : safety documents related to the "System level"
-	- CL_metadata : meta-data associated to each CL.
+		- 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