AIDA/AIDASafety
1
0
Fork 0
mirror of http://172.16.200.102/AIDA/AIDASafety.git synced 2025-12-10 04:17:58 +01:00
Code Issues Projects Releases Wiki Activity

V4.2_Safety1

Browse Source 
Safety model (functional) and CLs associated to System version V4.2
This commit is contained in:
romaric.demachy
2022-10-17 17:05:57 +02:00
parent 390b14fe3f
commit fdff947747
57 changed files with 61563 additions and 5042 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
.gitignore vendored
View File

4960
AIDASystem-AltaRicaDataFlow.alt
View File

File diff suppressed because it is too large Load Diff

BIN
AIDASystem-OCASModel.docx
View File

Binary file not shown.

BIN
AIDASystem-OCASModel.exp
View File

Binary file not shown.

6626
CL_set/CL_metadata.json Normal file
View File

File diff suppressed because it is too large Load Diff

931
CL_set/CL_model.json Normal file
View File

@@ -0,0 +1,931 @@
[{
"type": "ClFlow",
"id": "cl:1.1",
"sourceId": "cl:49",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.2",
"sourceId": "cl:4",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.3",
"sourceId": "cl:5",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.4",
"sourceId": "cl:6",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.5",
"sourceId": "cl:51",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.7",
"sourceId": "cl:25",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:12.1",
"sourceId": "cl:57",
"destinationId": "cl:12",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:12.2",
"sourceId": "cl:55",
"destinationId": "cl:12",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:14.1",
"sourceId": "cl:50",
"destinationId": "cl:14",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:14.2",
"sourceId": "cl:57",
"destinationId": "cl:14",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:15.1",
"sourceId": "cl:14",
"destinationId": "cl:15",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:15.2",
"sourceId": "cl:50",
"destinationId": "cl:15",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:17.2",
"sourceId": "cl:50",
"destinationId": "cl:17",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:18.1",
"sourceId": "cl:17",
"destinationId": "cl:18",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:18.2",
"sourceId": "cl:15",
"destinationId": "cl:18",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:19.1",
"sourceId": "cl:50",
"destinationId": "cl:19",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:21.2",
"sourceId": "cl:31",
"destinationId": "cl:21",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:24.1",
"sourceId": "cl:58",
"destinationId": "cl:24",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:24.2",
"sourceId": "cl:45",
"destinationId": "cl:24",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:24.4",
"sourceId": "cl:9",
"destinationId": "cl:24",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:25.1",
"sourceId": "cl:24",
"destinationId": "cl:25",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:26.1",
"sourceId": "cl:24",
"destinationId": "cl:26",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:26.2",
"sourceId": "cl:25",
"destinationId": "cl:26",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:28.4",
"sourceId": "cl:60",
"destinationId": "cl:28",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:28.5",
"sourceId": "cl:46",
"destinationId": "cl:28",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:29.1",
"sourceId": "cl:28",
"destinationId": "cl:29",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:29.4",
"sourceId": "cl:50",
"destinationId": "cl:29",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:31.1",
"sourceId": "cl:51",
"destinationId": "cl:31",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:31.2",
"sourceId": "cl:62",
"destinationId": "cl:31",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:31.6",
"sourceId": "cl:65",
"destinationId": "cl:31",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:32.0",
"sourceId": "cl:65",
"destinationId": "cl:32",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:32.1",
"sourceId": "cl:52",
"destinationId": "cl:32",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:32.2",
"sourceId": "cl:65",
"destinationId": "cl:32",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:34.1",
"sourceId": "cl:50",
"destinationId": "cl:34",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:34.2",
"sourceId": "cl:38",
"destinationId": "cl:34",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:35.1",
"sourceId": "cl:34",
"destinationId": "cl:35",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:35.2",
"sourceId": "cl:50",
"destinationId": "cl:35",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:35.3",
"sourceId": "cl:50",
"destinationId": "cl:35",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:37.1",
"sourceId": "cl:14",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.2",
"sourceId": "cl:15",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.3",
"sourceId": "cl:54",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.8",
"sourceId": "cl:25",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.9",
"sourceId": "cl:8",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.1",
"sourceId": "cl:25",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.3",
"sourceId": "cl:8",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.4",
"sourceId": "cl:56",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.5",
"sourceId": "cl:9",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.6",
"sourceId": "cl:14",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:39.1",
"sourceId": "cl:38",
"destinationId": "cl:39",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:39.3",
"sourceId": "cl:37",
"destinationId": "cl:39",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:4.1",
"sourceId": "cl:12",
"destinationId": "cl:4",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:4.2",
"sourceId": "cl:66",
"destinationId": "cl:4",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:41.1",
"sourceId": "cl:34",
"destinationId": "cl:41",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:41.2",
"sourceId": "cl:14",
"destinationId": "cl:41",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.1",
"sourceId": "cl:35",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.2",
"sourceId": "cl:15",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:43.2",
"sourceId": "cl:12",
"destinationId": "cl:43",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:43.3",
"sourceId": "cl:39",
"destinationId": "cl:43",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.1",
"sourceId": "cl:12",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.2",
"sourceId": "cl:47",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.7",
"sourceId": "cl:4",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.8",
"sourceId": "cl:5",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.9",
"sourceId": "cl:6",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:45.3",
"sourceId": "cl:51",
"destinationId": "cl:45",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:45.4",
"sourceId": "cl:51",
"destinationId": "cl:45",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:45.5",
"sourceId": "cl:51",
"destinationId": "cl:45",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:46.1",
"sourceId": "cl:51",
"destinationId": "cl:46",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:47.1",
"sourceId": "cl:12",
"destinationId": "cl:47",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:47.2",
"sourceId": "cl:48",
"destinationId": "cl:47",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:48.2",
"sourceId": "cl:66",
"destinationId": "cl:48",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:49.1",
"sourceId": "cl:47",
"destinationId": "cl:49",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:5.1",
"sourceId": "cl:12",
"destinationId": "cl:5",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:5.2",
"sourceId": "cl:66",
"destinationId": "cl:5",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:50.0",
"sourceId": "cl:49",
"destinationId": "cl:50",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.1",
"sourceId": "cl:4",
"destinationId": "cl:50",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.2",
"sourceId": "cl:5",
"destinationId": "cl:50",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.3",
"sourceId": "cl:6",
"destinationId": "cl:50",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:51.10",
"sourceId": "cl:64",
"destinationId": "cl:51",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:51.11",
"sourceId": "cl:64",
"destinationId": "cl:51",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:51.12",
"sourceId": "cl:31",
"destinationId": "cl:51",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:51.5",
"sourceId": "cl:19",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:51.6",
"sourceId": "cl:18",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:51.7",
"sourceId": "cl:8",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:51.8",
"sourceId": "cl:1",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:52.0",
"sourceId": "cl:32",
"destinationId": "cl:52",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:54.1",
"sourceId": "cl:9",
"destinationId": "cl:54",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.1",
"sourceId": "cl:15",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.2",
"sourceId": "cl:25",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.3",
"sourceId": "cl:14",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.4",
"sourceId": "cl:8",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.6",
"sourceId": "cl:54",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:56.1",
"sourceId": "cl:9",
"destinationId": "cl:56",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.1",
"sourceId": "cl:14",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.2",
"sourceId": "cl:9",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.3",
"sourceId": "cl:8",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.4",
"sourceId": "cl:25",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.8",
"sourceId": "cl:56",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.1",
"sourceId": "cl:19",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.2",
"sourceId": "cl:19",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.3",
"sourceId": "cl:21",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.4",
"sourceId": "cl:45",
"destinationId": "cl:58",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:58.5",
"sourceId": "cl:25",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:59.1",
"sourceId": "cl:45",
"destinationId": "cl:59",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:59.2",
"sourceId": "cl:45",
"destinationId": "cl:59",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:6.1",
"sourceId": "cl:12",
"destinationId": "cl:6",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:6.2",
"sourceId": "cl:66",
"destinationId": "cl:6",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:60.1",
"sourceId": "cl:24",
"destinationId": "cl:60",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:60.2",
"sourceId": "cl:58",
"destinationId": "cl:60",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:60.3",
"sourceId": "cl:59",
"destinationId": "cl:60",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:61.0",
"sourceId": "cl:65",
"destinationId": "cl:61",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:64.1",
"sourceId": "cl:26",
"destinationId": "cl:64",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:64.2",
"sourceId": "cl:58",
"destinationId": "cl:64",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:65.0",
"sourceId": "cl:31",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.1",
"sourceId": "cl:32",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.3",
"sourceId": "cl:19",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.4",
"sourceId": "cl:64",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.5",
"sourceId": "cl:29",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.6",
"sourceId": "cl:63",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:66.1",
"sourceId": "cl:41",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.2",
"sourceId": "cl:42",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.3",
"sourceId": "cl:43",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.4",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.5",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.6",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.7",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.1",
"sourceId": "cl:19",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.2",
"sourceId": "cl:18",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.3",
"sourceId": "cl:14",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.4",
"sourceId": "cl:58",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.5",
"sourceId": "cl:59",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.6",
"sourceId": "cl:24",
"destinationId": "cl:8",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:8.8",
"sourceId": "cl:15",
"destinationId": "cl:8",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:9.1",
"sourceId": "cl:51",
"destinationId": "cl:9",
"job": "S_"
}]

BIN
CL_set/Review_Of_Safety_Model.xlsx Normal file
View File

Binary file not shown.

1460
CL_set/primary_aliases.json Normal file
View File

File diff suppressed because it is too large Load Diff

1080
CL_set/secondary_aliases.json Normal file
View File

File diff suppressed because it is too large Load Diff

23
Copyrights.txt
View File

@@ -1,23 +0,0 @@
************************************************************************
Copyrights and license
************************************************************************
The whole model is provided under the following terms
Copyright (c) 2016-2018 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-2017 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/

58
README.txt
View File

@@ -1,58 +0,0 @@
*******************
*** 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 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 (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
************************************************************************
AIDASystem-AltaRicaDataFlow.alt: safety model of AIDA in AlaRica DataFlow (version Cecilia-OCAS), text format
AIDASystem-OCASModel.exp: safety model of AIDA, Cecilia-OCAS export format (v5)
AIDASystem-OCASModel.docx: generated documentation of the model, MS Word format

3
.project → model/.project
View File

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

7133
model/AIDASystem_SimfiaNeoModel_System4_2_Safety2.simfia Normal file
View File

File diff suppressed because it is too large Load Diff

BIN
model/pictures/Autre/ConditionalSelector_1-closed.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 711 B

BIN
model/pictures/Autre/ConditionalSelector_1-open.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 640 B

BIN
model/pictures/Autre/F-ERR.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.4 KiB

BIN
model/pictures/Autre/F-External.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 169 B

BIN
model/pictures/Autre/F-LOST.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.4 KiB

BIN
model/pictures/Autre/F-OK.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.3 KiB

BIN
model/pictures/Autre/M-AUTO.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 670 B

BIN
model/pictures/Autre/M-MAN.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 658 B

BIN
model/pictures/Autre/Selector1.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 579 B

BIN
model/pictures/Autre/Selector2.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 588 B

BIN
model/pictures/Autre/bool_false.png.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 327 B

BIN
model/pictures/Autre/bool_true.png.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 322 B

BIN
model/pictures/Autre/bool_vert.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 483 B

BIN
model/pictures/Autre/smblock_err.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 899 B

BIN
model/pictures/Autre/smblock_nok.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 898 B

BIN
model/pictures/Autre/smblock_ok.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 898 B

BIN
model/pictures/Autre/smcomparator_ok.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 901 B

BIN
model/pictures/Autre/smsource_err.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 905 B

BIN
model/pictures/Autre/smsource_nok.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 905 B

BIN
model/pictures/Autre/smsource_ok.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 905 B

BIN
model/pictures/Autre/specific_bleu.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 540 B

BIN
model/pictures/Autre/specific_rouge.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 533 B

BIN
model/pictures/Autre/specific_vert.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 541 B

BIN
model/pictures/BoolAND_black.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 557 B

BIN
model/pictures/BoolAND_blue.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 563 B

BIN
model/pictures/BoolAND_yellow.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 563 B

BIN
model/pictures/BoolOR_black.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.2 KiB

BIN
model/pictures/BoolOR_blue.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.2 KiB

BIN
model/pictures/BoolOR_yellow.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 1.4 KiB

BIN
model/pictures/Boolgif/carreblanc.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 866 B

BIN
model/pictures/Boolgif/carrerouge.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 875 B

BIN
model/pictures/Boolgif/carrevert.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 883 B

BIN
model/pictures/Boolgif/etblanc.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 864 B

BIN
model/pictures/Boolgif/etrouge.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 875 B

BIN
model/pictures/Boolgif/etvert.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 875 B

BIN
model/pictures/Boolgif/green_L.jpg Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 667 B

BIN
model/pictures/Boolgif/oublanc.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 872 B

BIN
model/pictures/Boolgif/ourouge.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 884 B

BIN
model/pictures/Boolgif/ouvert.gif Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 884 B

BIN
model/pictures/Boolgif/red_L.jpg Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 666 B

BIN
model/pictures/Operators/Choice1.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 325 B

BIN
model/pictures/Operators/Choice2.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 314 B

44239
model/representations.aird Normal file
View File

File diff suppressed because it is too large Load Diff

92
readme.txt Normal file
View File

@@ -0,0 +1,92 @@
*******************
*** 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.2
************************************************************************
* 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 model (to be opened with SimfiaNeo V1.3.2 - see https://www.protect.airbus.com/safe-mobility/simfianeo/ for more information)
- CL_set : contains the description of the Consistency Links (CL) set
defined for the study of the MBSE-MBSA structural consistency according to the SSR method
(see deliverable LIV-S085L02-023 / ISX-S2C-DOC-436 from S2C project).
Two versions of the CL set are available here :
- an excel version, used for the MOISE project and at the beginning of the S2C project
- the tooled version established in S2C, contained in the following files :
- primary_aliases : mapping between the primary model (the MBSE model) objects and the CLs
- secondary_aliases : mapping between the secondary model (the MBSA model) objects and the CLs
- CL_model : relation links between the CLs_function and the CLs_flows
- CL_metadata : meta-data associated to each CL.
************************************************************************
* 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