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

Compare commits

base: AIDA:V4.4.1_Safety1
Branches Tags
AIDA:master
AIDA:V4.5 AIDA:V4.4_final AIDA:V4.4.3_Safety3 AIDA:V4.4.3_Safety2 AIDA:V4.4.3_Safety1 AIDA:V4.4.2_Safety2 AIDA:V4.4.2_Safety1 AIDA:V4.4.1_Safety1 AIDA:V4.3_Safety5 AIDA:V4.2_Safety1
..
compare: AIDA:V4.4.3_Safety1
Branches Tags
AIDA:master
AIDA:V4.5 AIDA:V4.4_final AIDA:V4.4.3_Safety3 AIDA:V4.4.3_Safety2 AIDA:V4.4.3_Safety1 AIDA:V4.4.2_Safety2 AIDA:V4.4.2_Safety1 AIDA:V4.4.1_Safety1 AIDA:V4.3_Safety5 AIDA:V4.2_Safety1

3 Commits
V4.4.1_Saf ... V4.4.3_Saf

Author SHA1 Message Date
romaric.demachy
cfe73a8504 V4.4.3_Safety1 
First version of Safety model (functional) and CLs associated to System
version V4.4.3
 2022-10-17 17:12:18 +02:00
romaric.demachy
e2c440040c V4.4.2_Safety2 
Second version of Safety model (functional) and CLs associated to System
version V4.4.2
 2022-10-17 17:12:18 +02:00
romaric.demachy
70cfe84f99 V4.4.2_Safety1 
First version of Safety model (functional) and CLs associated to System
version V4.4.2
 2022-10-17 17:12:17 +02:00
9 changed files with 170797 additions and 32558 deletions
Expand all files Collapse all files

10166
CL_set/CL_metadata.json
View File

File diff suppressed because it is too large Load Diff

674
CL_set/CL_model.json
View File

@@ -1,32 +1,4 @@
[
{
"type": "ClFlow",
"id": "cl:1.1",
"sourceId": "cl:49",
"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",
@@ -55,13 +27,6 @@
"destinationId": "cl:17",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:19.1",
"sourceId": "cl:50",
"destinationId": "cl:19",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:21.2",
@@ -188,13 +153,6 @@
"destinationId": "cl:34",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:37.3",
"sourceId": "cl:54",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.8",
@@ -223,13 +181,6 @@
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.4",
"sourceId": "cl:56",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:39.1",
@@ -244,13 +195,6 @@
"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",
@@ -328,13 +272,6 @@
"destinationId": "cl:46",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:47.1",
"sourceId": "cl:12",
"destinationId": "cl:47",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:48.2",
@@ -342,13 +279,6 @@
"destinationId": "cl:48",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:5.1",
"sourceId": "cl:12",
"destinationId": "cl:5",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:5.2",
@@ -405,20 +335,6 @@
"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.3",
@@ -433,13 +349,6 @@
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.8",
"sourceId": "cl:56",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.3",
@@ -475,13 +384,6 @@
"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",
@@ -622,13 +524,6 @@
"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",
@@ -671,20 +566,6 @@
"destinationId": "cl:49",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:14.1",
"sourceId": "cl:50",
"destinationId": "cl:70",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:15.2",
"sourceId": "cl:50",
"destinationId": "cl:73",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:14.2",
@@ -699,76 +580,6 @@
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:41.2",
"sourceId": "cl:77",
"destinationId": "cl:41",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.0",
"sourceId": "cl:70",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:71.0",
"sourceId": "cl:17",
"destinationId": "cl:71",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.1",
"sourceId": "cl:71",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.2",
"sourceId": "cl:72",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.3",
"sourceId": "cl:73",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.4",
"sourceId": "cl:74",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.5",
"sourceId": "cl:75",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.6",
"sourceId": "cl:76",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:68.0",
"sourceId": "cl:69",
"destinationId": "cl:68",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.5",
@@ -783,27 +594,6 @@
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.1",
"sourceId": "cl:34",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:41.1",
"sourceId": "cl:34",
"destinationId": "cl:41",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:69.0",
"sourceId": "cl:47",
"destinationId": "cl:69",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:54.1",
@@ -818,62 +608,6 @@
"destinationId": "cl:67",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:47.3",
"sourceId": "cl:67",
"destinationId": "cl:47",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.1",
"sourceId": "cl:77",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.3",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.1",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.2",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.3",
"sourceId": "cl:77",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.1",
"sourceId": "cl:77",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.2",
"sourceId": "cl:77",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:78.0",
@@ -881,41 +615,6 @@
"destinationId": "cl:78",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:58.1",
"sourceId": "cl:77",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.2",
"sourceId": "cl:77",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.2",
"sourceId": "cl:77",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.1",
"sourceId": "cl:77",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.6",
"sourceId": "cl:77",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:50.1",
@@ -944,13 +643,6 @@
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:51.14",
"sourceId": "",
"destinationId": "cl:51",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:44.10",
@@ -986,13 +678,6 @@
"destinationId": "cl:5",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:34.1",
"sourceId": "cl:50",
"destinationId": "cl:34",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.4",
@@ -1000,11 +685,368 @@
"destinationId": "cl:50",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:77.6",
"sourceId": "cl:76",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.3",
"sourceId": "cl:76",
"destinationId": "cl:34",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:71.0",
"sourceId": "cl:17",
"destinationId": "cl:71",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.4",
"sourceId": "cl:17",
"destinationId": "cl:34",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.3",
"sourceId": "cl:73",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.5",
"sourceId": "cl:73",
"destinationId": "cl:34",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.1",
"sourceId": "cl:50",
"destinationId": "cl:34",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:77.5",
"sourceId": "cl:75",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.2",
"sourceId": "cl:72",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.0",
"sourceId": "cl:70",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.6",
"sourceId": "cl:77",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.1",
"sourceId": "cl:77",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.2",
"sourceId": "cl:77",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.1",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.3",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.2",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.3",
"sourceId": "cl:77",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.1",
"sourceId": "cl:77",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.2",
"sourceId": "cl:77",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.1",
"sourceId": "cl:77",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.2",
"sourceId": "cl:77",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.1",
"sourceId": "cl:77",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.4",
"sourceId": "cl:74",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.1",
"sourceId": "cl:71",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.1",
"sourceId": "cl:34",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:41.1",
"sourceId": "cl:34",
"destinationId": "cl:41",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:68.0",
"sourceId": "cl:69",
"destinationId": "cl:68",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:69.0",
"sourceId": "cl:47",
"destinationId": "cl:69",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:47.3",
"sourceId": "cl:67",
"destinationId": "cl:47",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:5.1",
"sourceId": "cl:12",
"destinationId": "cl:5",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:4.1",
"sourceId": "cl:12",
"destinationId": "cl:4",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:47.1",
"sourceId": "cl:12",
"destinationId": "cl:47",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:6.1",
"sourceId": "cl:12",
"destinationId": "cl:6",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:74.0",
"sourceId": "cl:50",
"destinationId": "cl:74",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:70.0",
"sourceId": "cl:50",
"destinationId": "cl:70",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:75.0",
"sourceId": "cl:50",
"destinationId": "cl:75",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:72.0",
"sourceId": "cl:50",
"destinationId": "cl:72",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:73.0",
"sourceId": "cl:50",
"destinationId": "cl:73",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:37.3",
"sourceId": "cl:9",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:19.1",
"sourceId": "cl:50",
"destinationId": "cl:76",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:38.4",
"sourceId": "cl:9",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:56.1",
"sourceId": "cl:9",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:51.14",
"sourceId": "cl:50",
"destinationId": "cl:51",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:8.5",
"sourceId": "cl:59",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:41.2",
"sourceId": "cl:77",
"destinationId": "cl:41",
"job": "S_"
},
{
"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:57",
"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:57.7",
"sourceId": "cl:8",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:51.7",
"sourceId": "cl:8",
"destinationId": "cl:51",
"job": "Sa"
}
]

180
CL_set/primary_aliases.json
View File

@@ -1,44 +1,14 @@
[
{
"from": "0c311975-3cbb-4607-a571-33d6bcd0ce5a",
"to": "cl:42.1",
"comment": ""
},
{
"from": "3b4f5567-daf1-4dcc-86d8-72f1b5349291",
"to": "cl:42.1",
"comment": ""
},
{
"from": "540599fd-4d33-43b9-b625-01ceaf63e2f1",
"to": "cl:42.1",
"comment": ""
},
{
"from": "9a1a9f9a-3f4f-4133-b522-464a81e19bf0",
"to": "cl:14.1",
"comment": ""
},
{
"from": "aa33652d-6051-4dda-a74a-81f18b57c8f1",
"to": "cl:14.1",
"comment": ""
},
{
"from": "adf29388-3a8b-4d1e-b36a-7c16a3bf57db",
"to": "cl:14.1",
"comment": ""
},
{
"from": "7ba26301-d4fa-4329-b921-80b612651c3f",
"to": "cl:42.2",
"comment": ""
},
{
"from": "8b1d25ac-7d83-4250-9ead-43766796edac",
"to": "cl:42.2",
"comment": ""
},
{
"from": "45110d91-b0cd-4864-a5d8-98c926dab44f",
"to": "cl:8.2",
@@ -99,11 +69,6 @@
"to": "cl:60",
"comment": ""
},
{
"from": "be2f8504-5786-46f4-b19b-d7df0bd4edf4",
"to": "cl:55.6",
"comment": ""
},
{
"from": "fde5a1a6-4e5e-45de-9101-b6f3cf492f55",
"to": "cl:59.1",
@@ -584,11 +549,6 @@
"to": "cl:1.3",
"comment": ""
},
{
"from": "7cb5a784-9099-4225-9c95-17fbc14ffc45",
"to": "cl:57.8",
"comment": ""
},
{
"from": "b2e47dbb-0e36-424d-8772-aa7ea330c8de",
"to": "cl:38.1",
@@ -924,16 +884,6 @@
"to": "cl:34.2",
"comment": ""
},
{
"from": "1876a4d8-052e-4877-adef-475946a48877",
"to": "cl:15.2",
"comment": ""
},
{
"from": "5c7cc59a-8611-4512-bff5-42a492d7b4fa",
"to": "cl:15.2",
"comment": ""
},
{
"from": "9ff12d46-56e3-4215-bbda-c75328c1f418",
"to": "cl:28",
@@ -1199,36 +1149,6 @@
"to": "cl:12.1",
"comment": ""
},
{
"from": "224767e2-4707-4322-94f7-14cb230e853c",
"to": "cl:41.2",
"comment": ""
},
{
"from": "43070e18-f585-4136-8cd3-1acd90997005",
"to": "cl:41.2",
"comment": ""
},
{
"from": "8f635b29-5731-494f-8b9c-8a818ef2d808",
"to": "cl:41.2",
"comment": ""
},
{
"from": "cc7de5a2-6370-4451-a765-ccccc858500a",
"to": "cl:41.2",
"comment": ""
},
{
"from": "cda5e1e7-8449-4f80-a759-5c9196720203",
"to": "cl:41.2",
"comment": ""
},
{
"from": "f7d88100-5b2a-4cc7-9c74-34190e67f722",
"to": "cl:41.2",
"comment": ""
},
{
"from": "",
"to": "cl:51.8",
@@ -1434,11 +1354,6 @@
"to": "cl:8.2",
"comment": ""
},
{
"from": "0a26aa09-6113-4334-8543-9a66b1c3afa3",
"to": "cl:42.2",
"comment": ""
},
{
"from": "0922e2b7-3e79-4519-a026-018c1fa908d7",
"to": "cl:78",
@@ -1504,31 +1419,11 @@
"to": "cl:5.15",
"comment": ""
},
{
"from": "2d5f0da9-34e7-428e-9dbb-2982b38e9ecd",
"to": "cl:34.1",
"comment": ""
},
{
"from": "3059d349-f742-411f-a41f-66ed0475ac12",
"to": "cl:34.1",
"comment": ""
},
{
"from": "14b9832c-c579-45e4-875c-3c6254df9481",
"to": "cl:34.1",
"comment": ""
},
{
"from": "20743d31-e179-4021-96fb-2058af663d13",
"to": "cl:34.1",
"comment": ""
},
{
"from": "f0ef7567-5323-4861-9f6e-14f60918be11",
"to": "cl:34.1",
"comment": ""
},
{
"from": "183457d1-35e2-4a64-a64b-d2422a7688fd",
"to": "cl:50.4",
@@ -1538,5 +1433,80 @@
"from": "65df181e-5e95-4a0a-b281-9820bf4a50c0",
"to": "cl:50.4",
"comment": ""
},
{
"from": "6785f861-a831-4dc3-9fb8-3e3e17a44b8c",
"to": "cl:34.3",
"comment": ""
},
{
"from": "c01d8479-975c-46e9-9333-7c0f1f852156",
"to": "cl:34.4",
"comment": ""
},
{
"from": "68c3c19f-88d2-4f14-8081-7f17941d8d40",
"to": "cl:34.5",
"comment": ""
},
{
"from": "bcd8da28-cf70-47ae-9caf-360e5c51d23e",
"to": "cl:34.1",
"comment": ""
},
{
"from": "1876a4d8-052e-4877-adef-475946a48877",
"to": "cl:74.0",
"comment": ""
},
{
"from": "aa33652d-6051-4dda-a74a-81f18b57c8f1",
"to": "cl:70.0",
"comment": ""
},
{
"from": "9a1a9f9a-3f4f-4133-b522-464a81e19bf0",
"to": "cl:75.0",
"comment": ""
},
{
"from": "adf29388-3a8b-4d1e-b36a-7c16a3bf57db",
"to": "cl:72.0",
"comment": ""
},
{
"from": "5c7cc59a-8611-4512-bff5-42a492d7b4fa",
"to": "cl:73.0",
"comment": ""
},
{
"from": "cda5e1e7-8449-4f80-a759-5c9196720203",
"to": "cl:41.2",
"comment": ""
},
{
"from": "f7d88100-5b2a-4cc7-9c74-34190e67f722",
"to": "cl:41.2",
"comment": ""
},
{
"from": "cc7de5a2-6370-4451-a765-ccccc858500a",
"to": "cl:41.2",
"comment": ""
},
{
"from": "8f635b29-5731-494f-8b9c-8a818ef2d808",
"to": "cl:41.2",
"comment": ""
},
{
"from": "224767e2-4707-4322-94f7-14cb230e853c",
"to": "cl:41.2",
"comment": ""
},
{
"from": "43070e18-f585-4136-8cd3-1acd90997005",
"to": "cl:41.2",
"comment": ""
}
]

1044
CL_set/secondary_aliases.json
View File

File diff suppressed because it is too large Load Diff

2
model/.project
View File

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

18415
model/AIDASystem_SimfiaNeoModel.simfia
View File

File diff suppressed because it is too large Load Diff

152872
model/AIDASystem_SimfiaNeoModel_443_Safety1.simfia Normal file
View File

File diff suppressed because it is too large Load Diff

18860
model/representations.aird
View File

File diff suppressed because it is too large Load Diff

2
readme.txt
View File

@@ -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.1
Corresponding SE version (see AIDA Architecture repository): V4.4.3
************************************************************************
* 2. Motivation and intended use