Browse Source

Merge branch 'S2C_delivery' into 'master'

S2C delivery

See merge request AIDA/AIDAArchitecture!2
master
Romaric Demachy 2 years ago
parent
commit
b4026dda14
  1. BIN
      AIDA Architecture synthesis V4.5.pdf
  2. 2
      AIDA/.user.af
  3. BIN
      AIDA_Model_Description_V4.5.pdf
  4. BIN
      Cameo models/AIDA Reference Architecture_V2.3.2.mdzip
  5. BIN
      Cameo models/Components_Library.mdzip
  6. 9
      Cameo models/Copyright - SAMARETO.txt
  7. BIN
      Cameo models/Functions_Library.mdzip
  8. 12
      Cameo models/README.txt
  9. BIN
      Cameo models/SAMARETO_FA_Profile.mdzip
  10. BIN
      Cameo models/SAMARETO_LA_Profile.mdzip
  11. 18
      Capella models/AIDA - single model/.project
  12. 7
      Capella models/AIDA - single model/AIDA.afm
  13. 493592
      Capella models/AIDA - single model/AIDA.aird
  14. 57690
      Capella models/AIDA - single model/AIDA.capella
  15. 12
      Capella models/Extended enterprise split models/AIDA/.project
  16. 7
      Capella models/Extended enterprise split models/AIDA/AIDA.afm
  17. 513648
      Capella models/Extended enterprise split models/AIDA/AIDA.aird
  18. 30038
      Capella models/Extended enterprise split models/AIDA/AIDA.capella
  19. 2
      Capella models/Extended enterprise split models/AIDA/Copyright
  20. 12
      Capella models/Extended enterprise split models/AIDA_control_desk/.project
  21. 4
      Capella models/Extended enterprise split models/AIDA_control_desk/AIDA_control_desk.afm
  22. 24471
      Capella models/Extended enterprise split models/AIDA_control_desk/AIDA_control_desk.aird
  23. 6995
      Capella models/Extended enterprise split models/AIDA_control_desk/AIDA_control_desk.capella
  24. 12
      Capella models/Extended enterprise split models/AIDA_flight_control_system/.project
  25. 5
      Capella models/Extended enterprise split models/AIDA_flight_control_system/AIDA_flight_control_system.afm
  26. 246771
      Capella models/Extended enterprise split models/AIDA_flight_control_system/AIDA_flight_control_system.aird
  27. 19940
      Capella models/Extended enterprise split models/AIDA_flight_control_system/AIDA_flight_control_system.capella
  28. 2
      Capella models/Extended enterprise split models/AIDA_payload/.project
  29. 5
      Capella models/Extended enterprise split models/AIDA_payload/AIDA_payload.afm
  30. 13239
      Capella models/Extended enterprise split models/AIDA_payload/AIDA_payload.aird
  31. 3242
      Capella models/Extended enterprise split models/AIDA_payload/AIDA_payload.capella
  32. 12
      Capella models/Extended enterprise split models/AIDA_propulsion_unit/.project
  33. 5
      Capella models/Extended enterprise split models/AIDA_propulsion_unit/AIDA_propulsion_unit.afm
  34. 15917
      Capella models/Extended enterprise split models/AIDA_propulsion_unit/AIDA_propulsion_unit.aird
  35. 5543
      Capella models/Extended enterprise split models/AIDA_propulsion_unit/AIDA_propulsion_unit.capella
  36. 12
      Capella models/Extended enterprise split models/AIDA_remote_control/.project
  37. 4
      Capella models/Extended enterprise split models/AIDA_remote_control/AIDA_remote_control.afm
  38. 16074
      Capella models/Extended enterprise split models/AIDA_remote_control/AIDA_remote_control.aird
  39. 5921
      Capella models/Extended enterprise split models/AIDA_remote_control/AIDA_remote_control.capella
  40. 3
      README.md
  41. 101
      readme.txt

BIN
AIDA Architecture synthesis V4.4.pdf → AIDA Architecture synthesis V4.5.pdf

Binary file not shown.

2
AIDA/.user.af

@ -1,2 +0,0 @@ @@ -1,2 +0,0 @@
<?xml version="1.0" encoding="ASCII"?>
<vp:Workspace xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:vp="http://www.polarsys.org/kitalpha/ad/viewpoint/1.0.0"/>

BIN
AIDA_Model_Description_V4.4.pdf → AIDA_Model_Description_V4.5.pdf

Binary file not shown.

BIN
Cameo models/AIDA Reference Architecture_V2.3.2.mdzip

Binary file not shown.

BIN
Cameo models/Components_Library.mdzip

Binary file not shown.

9
Cameo models/Copyright - SAMARETO.txt

@ -0,0 +1,9 @@ @@ -0,0 +1,9 @@
/********************************************************************************************************
* Copyright (c) {January 2021} {Samares-Engineering} [and Jean-Marie Gauthier]
*
* This program and the accompanying materials are made
* available under the terms of the Eclipse Public License 2.0
* which is available at https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*********************************************************************************************************/

BIN
Cameo models/Functions_Library.mdzip

Binary file not shown.

12
Cameo models/README.txt

@ -0,0 +1,12 @@ @@ -0,0 +1,12 @@
This model is the Cameo version of the version 4.4 of AIDA. It is made available under the termes below.
/*****************************************************************************************************************
Copyright (c) 2021-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/
Contributors: Mirna OJEDA, Julie DE SOUSA, Sébastien DUBE, Ida Electra DAHL, Mihir JOSHI
****************************************************************************************************************/
It requires the usage of the SAMAREQ profile for Cameo Systems Modeller, which is available here :
https://gitlab.com/samares-public/samareq-profile/

BIN
Cameo models/SAMARETO_FA_Profile.mdzip

Binary file not shown.

BIN
Cameo models/SAMARETO_LA_Profile.mdzip

Binary file not shown.

18
Capella models/AIDA - single model/.project

@ -0,0 +1,18 @@ @@ -0,0 +1,18 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA-4.5-single_model</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
<buildCommand>
<name>org.python.pydev.PyDevBuilder</name>
<arguments>
</arguments>
</buildCommand>
</buildSpec>
<natures>
<nature>org.polarsys.capella.project.nature</nature>
<nature>org.python.pydev.pythonNature</nature>
</natures>
</projectDescription>

7
AIDA/AIDA.afm → Capella models/AIDA - single model/AIDA.afm

@ -1,6 +1,7 @@ @@ -1,6 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_Pj_RoGYMEeeYC6NJVLZvnQ">
<viewpointReferences id="_PqCPQGYMEeeYC6NJVLZvnQ" vpId="org.polarsys.capella.core.viewpoint" version="5.0.0"/>
<viewpointReferences id="_nyYmcKy_EeqXA5wdFDfB8g" vpId="org.polarsys.kitalpha.vp.requirements" version="0.12.0"/>
<viewpointReferences id="_nzHmQKy_EeqXA5wdFDfB8g" vpId="org.polarsys.capella.vp.requirements" version="0.12.0"/>
<viewpointReferences id="_PqCPQGYMEeeYC6NJVLZvnQ" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
<viewpointReferences id="_nyYmcKy_EeqXA5wdFDfB8g" vpId="org.polarsys.kitalpha.vp.requirements" version="0.12.2"/>
<viewpointReferences id="_nzHmQKy_EeqXA5wdFDfB8g" vpId="org.polarsys.capella.vp.requirements" version="0.12.2"/>
<viewpointReferences id="_R7cGUCK3Ee262Y-Rk7mvFw" vpId="org.polarsys.capella.vp.mass" version="5.0.0.qualifier"/>
</metadata:Metadata>

493592
AIDA/AIDA.aird → Capella models/AIDA - single model/AIDA.aird

File diff suppressed because it is too large Load Diff

57690
Capella models/AIDA - single model/AIDA.capella

File diff suppressed because one or more lines are too long

12
Capella models/Extended enterprise split models/AIDA/.project

@ -0,0 +1,12 @@ @@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA_top_level</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
<nature>org.polarsys.capella.project.nature</nature>
</natures>
</projectDescription>

7
Capella models/Extended enterprise split models/AIDA/AIDA.afm

@ -0,0 +1,7 @@ @@ -0,0 +1,7 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_Pj_RoGYMEeeYC6NJVLZvnQ">
<viewpointReferences id="_PqCPQGYMEeeYC6NJVLZvnQ" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
<viewpointReferences id="_nyYmcKy_EeqXA5wdFDfB8g" vpId="org.polarsys.kitalpha.vp.requirements" version="0.12.2"/>
<viewpointReferences id="_nzHmQKy_EeqXA5wdFDfB8g" vpId="org.polarsys.capella.vp.requirements" version="0.12.2"/>
<viewpointReferences id="_W0XyECLhEe262Y-Rk7mvFw" vpId="org.polarsys.capella.vp.mass" version="5.0.0.qualifier"/>
</metadata:Metadata>

513648
Capella models/Extended enterprise split models/AIDA/AIDA.aird

File diff suppressed because it is too large Load Diff

30038
AIDA/AIDA.capella → Capella models/Extended enterprise split models/AIDA/AIDA.capella

File diff suppressed because one or more lines are too long

2
AIDA/Copyright → Capella models/Extended enterprise split models/AIDA/Copyright

@ -1,4 +1,4 @@ @@ -1,4 +1,4 @@
Copyright (c) 2016-2021 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)

12
Capella models/Extended enterprise split models/AIDA_control_desk/.project

@ -0,0 +1,12 @@ @@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA_control_desk</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
<nature>org.polarsys.capella.project.nature</nature>
</natures>
</projectDescription>

4
Capella models/Extended enterprise split models/AIDA_control_desk/AIDA_control_desk.afm

@ -0,0 +1,4 @@ @@ -0,0 +1,4 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_5_QEsLwFEey0bfuR-5-yfA">
<viewpointReferences id="_5_vz8LwFEey0bfuR-5-yfA" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
</metadata:Metadata>

24471
Capella models/Extended enterprise split models/AIDA_control_desk/AIDA_control_desk.aird

File diff suppressed because it is too large Load Diff

6995
Capella models/Extended enterprise split models/AIDA_control_desk/AIDA_control_desk.capella

File diff suppressed because one or more lines are too long

12
Capella models/Extended enterprise split models/AIDA_flight_control_system/.project

@ -0,0 +1,12 @@ @@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA_flight_control_system</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
<nature>org.polarsys.capella.project.nature</nature>
</natures>
</projectDescription>

5
Capella models/Extended enterprise split models/AIDA_flight_control_system/AIDA_flight_control_system.afm

@ -0,0 +1,5 @@ @@ -0,0 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_nvzNgLwMEey0bfuR-5-yfA">
<viewpointReferences id="_nwUx8LwMEey0bfuR-5-yfA" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
<viewpointReferences id="_QxRVQCLjEe262Y-Rk7mvFw" vpId="org.polarsys.capella.vp.mass" version="5.0.0.qualifier"/>
</metadata:Metadata>

246771
Capella models/Extended enterprise split models/AIDA_flight_control_system/AIDA_flight_control_system.aird

File diff suppressed because it is too large Load Diff

19940
Capella models/Extended enterprise split models/AIDA_flight_control_system/AIDA_flight_control_system.capella

File diff suppressed because one or more lines are too long

2
AIDA/.project → Capella models/Extended enterprise split models/AIDA_payload/.project

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

5
Capella models/Extended enterprise split models/AIDA_payload/AIDA_payload.afm

@ -0,0 +1,5 @@ @@ -0,0 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_XZX5ALwJEey0bfuR-5-yfA">
<viewpointReferences id="_XZ5dcLwJEey0bfuR-5-yfA" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
<viewpointReferences id="_517a4CLiEe262Y-Rk7mvFw" vpId="org.polarsys.capella.vp.mass" version="5.0.0.qualifier"/>
</metadata:Metadata>

13239
Capella models/Extended enterprise split models/AIDA_payload/AIDA_payload.aird

File diff suppressed because it is too large Load Diff

3242
Capella models/Extended enterprise split models/AIDA_payload/AIDA_payload.capella

File diff suppressed because it is too large Load Diff

12
Capella models/Extended enterprise split models/AIDA_propulsion_unit/.project

@ -0,0 +1,12 @@ @@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA_propulsion_unit</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
<nature>org.polarsys.capella.project.nature</nature>
</natures>
</projectDescription>

5
Capella models/Extended enterprise split models/AIDA_propulsion_unit/AIDA_propulsion_unit.afm

@ -0,0 +1,5 @@ @@ -0,0 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_ILbyYLwNEey0bfuR-5-yfA">
<viewpointReferences id="_IMHu4LwNEey0bfuR-5-yfA" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
<viewpointReferences id="_dT16cCLiEe262Y-Rk7mvFw" vpId="org.polarsys.capella.vp.mass" version="5.0.0.qualifier"/>
</metadata:Metadata>

15917
Capella models/Extended enterprise split models/AIDA_propulsion_unit/AIDA_propulsion_unit.aird

File diff suppressed because it is too large Load Diff

5543
Capella models/Extended enterprise split models/AIDA_propulsion_unit/AIDA_propulsion_unit.capella

File diff suppressed because it is too large Load Diff

12
Capella models/Extended enterprise split models/AIDA_remote_control/.project

@ -0,0 +1,12 @@ @@ -0,0 +1,12 @@
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>AIDA_remote_control</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
<nature>org.polarsys.capella.project.nature</nature>
</natures>
</projectDescription>

4
Capella models/Extended enterprise split models/AIDA_remote_control/AIDA_remote_control.afm

@ -0,0 +1,4 @@ @@ -0,0 +1,4 @@
<?xml version="1.0" encoding="UTF-8"?>
<metadata:Metadata xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:metadata="http://www.polarsys.org/kitalpha/ad/metadata/1.0.0" id="_3uxGQLv5Eey0bfuR-5-yfA">
<viewpointReferences id="_3vQ1gLv5Eey0bfuR-5-yfA" vpId="org.polarsys.capella.core.viewpoint" version="5.2.0"/>
</metadata:Metadata>

16074
Capella models/Extended enterprise split models/AIDA_remote_control/AIDA_remote_control.aird

File diff suppressed because it is too large Load Diff

5921
Capella models/Extended enterprise split models/AIDA_remote_control/AIDA_remote_control.capella

File diff suppressed because it is too large Load Diff

3
README.md

@ -1,3 +0,0 @@ @@ -1,3 +0,0 @@
This model shall be edited with Capella 5.0.
Capella can be downloaded from <https://www.eclipse.org/capella/download.html>

101
readme.txt

@ -0,0 +1,101 @@ @@ -0,0 +1,101 @@
*******************
*** README AIDA ***
*******************
This repository contains the architecture models 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.irt-saintexupery.com/AIDA/AIDAArchitecture
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.
System architecture version: V4.5
************************************************************************
* 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
Romaric Demachy, Sébastien Guilmeau. Structural consistency of MBSE and MBSA models using Consistency Links.
11th European Congress Embedded Real Time System ( ERTS 2022 ), Jun 2022, Toulouse, France.
https://hal.archives-ouvertes.fr/hal-03697170/
************************************************************************
* 3. List of files and how to use them
************************************************************************
- Capella model : contains the Capella models. Required environment : Capella 5.2 with the following add-ons : PVMT + Diagram Styler
(See https://www.eclipse.org/capella/download.html and https://www.eclipse.org/capella/addons.html)
- The "AIDA - single model" folder contains the monolythic Capella model of the whole AIDA system
- The "Extended enterprise split models" contains the models splits according to the chosen extended enterprise context :
- AIDA contains the top-level model, in which the sub-systems are "black boxes"
- The other models are dedicated to the detail design of each sub-system
- Cameo model : This model shall be edited with Cameo Systems Modeller V19.0 SP2/3. This model contains an execution capability, which requires the appropriate license.
- AIDA_Model_Description : synthetic description of the model content
- AIDA Architecture synthesis : complete description of the AIDA system architecture and modelling in Capella
************************************************************************
* 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/
Contributors:
Pierre Virelizier, Tatiana Prosvirnova, Estelle Saez – Initial contribution
Romaric Demachy - V4.4 and V4.5 system versions
Third party components :
The Cameo model uses components available under the following terms
/********************************************************************************************************
* Copyright (c) {January 2021} {Samares-Engineering} [and Jean-Marie Gauthier]
*
* This program and the accompanying materials are made
* available under the terms of the Eclipse Public License 2.0
* which is available at https://www.eclipse.org/legal/epl-2.0/
*
* SPDX-License-Identifier: EPL-2.0
*********************************************************************************************************/
Contact :systems-engineering@irt-saintexupery.com
Loading…
Cancel
Save