V4.4 final

Final version of Safety model (functional) and documents associated to
System version V4.4

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/

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
+

model/SimfiaNeoproject/.project

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

model/SimfiaNeoproject/AIDASystem_SimfiaNeoModel.simfia

@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="ASCII"?>
-<simfia:Project xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:altarica="http://www.apsys.eads.net/simfia/altarica/1.0" xmlns:cutseq="http://www.apsys.eads.net/simfia/cutseq/1.0" xmlns:safetyanalysis="http://www.apsys.eads.net/simfia/safetyanalysis/1.0" xmlns:safetyanalysisaero="http://www.apsys.eads.net/simfia/safetyanalysis/aero/1.0" xmlns:simfia="http://www.apsys.eads.net/simfia/1.0" xmlns:userdata="http://www.apsys.eads.net/simfia/userdata/1.0" id="_hVEoADlAEeq8Xq-hO6uuAA" name="AIDASystem_SimfiaNeoModel_443_Safety3" version="1.3.2">
+<simfia:Project xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:altarica="http://www.apsys.eads.net/simfia/altarica/1.0" xmlns:cutseq="http://www.apsys.eads.net/simfia/cutseq/1.0" xmlns:safetyanalysis="http://www.apsys.eads.net/simfia/safetyanalysis/1.0" xmlns:safetyanalysisaero="http://www.apsys.eads.net/simfia/safetyanalysis/aero/1.0" xmlns:simfia="http://www.apsys.eads.net/simfia/1.0" xmlns:userdata="http://www.apsys.eads.net/simfia/userdata/1.0" id="_hVEoADlAEeq8Xq-hO6uuAA" name="AIDASystem_SimfiaNeoModel" description="AIDASystem_SimfiaNeoModel_443_Safety3.simfia" version="1.3.2">
   <ownedSystem id="_hVCy9TlAEeq8Xq-hO6uuAA" name="AIDASystem" defaultClassBehavior="NotRepairable" defaultDomain="_hU63ADlAEeq8Xq-hO6uuAA">
     <top id="_hVCy9zlAEeq8Xq-hO6uuAA" name="AIDASystem" compositeBrickClass="_hWlD4DlAEeq8Xq-hO6uuAA">
       <ownedSubInstances xsi:type="altarica:CompositeBrickInstance" id="_hWztYDlAEeq8Xq-hO6uuAA" name="SF6" description="" originalInstance="_hVCy-DlAEeq8Xq-hO6uuAA" compositeBrickClass="_qtbdwMsoEeqbKtp36eBGrQ">
@@ -5942,7 +5942,7 @@
     </userBricks>
     <defaultColor href="../../plugin/net.eads.apsys.simfia.rcp/model/system.library.simfia#_KvLTEub9EeaavZcS0G3Ynw"/>
   </ownedSystem>
-  <ownedLibrary id="_hVEoATlAEeq8Xq-hO6uuAA" name="AIDASystem_SimfiaNeoModel_443_Safety3">
+  <ownedLibrary id="_hVEoATlAEeq8Xq-hO6uuAA" name="AIDASystem_SimfiaNeoModel">
     <ownedLibraries id="_hU_IcDlAEeq8Xq-hO6uuAA" name="Functions">
       <ownedLibraries id="_hU_IcTlAEeq8Xq-hO6uuAA" name="BasicFunctions">
         <ownedColors id="_hubBwMswEeqbKtp36eBGrQ" name="Pink" red="255" green="153" blue="204"/>