1
0
mirror of http://172.16.200.102/AIDA/AIDASafety.git synced 2025-12-10 09:27:58 +01:00

3 Commits

Author SHA1 Message Date
romaric.demachy
9a2316a0b4 V4.4.3_Safety2
Second version of Safety model (functional) and CLs associated to System
version V4.4.3
2022-10-17 17:12:19 +02:00
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
8 changed files with 11450 additions and 13651 deletions

File diff suppressed because it is too large Load Diff

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,20 +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:68.0",
"sourceId": "cl:69",
"destinationId": "cl:68",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.5",
@@ -727,13 +594,6 @@
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:69.0",
"sourceId": "cl:47",
"destinationId": "cl:69",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:54.1",
@@ -748,13 +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:78.0",
@@ -762,41 +615,6 @@
"destinationId": "cl:78",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.1",
"sourceId": "cl:4",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.0",
"sourceId": "cl:49",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.3",
"sourceId": "cl:6",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.2",
"sourceId": "cl:5",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:51.14",
"sourceId": "",
"destinationId": "cl:51",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:44.10",
@@ -839,13 +657,6 @@
"destinationId": "cl:50",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:1.2",
"sourceId": "cl:4",
"destinationId": "cl:57",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:77.6",
@@ -1027,5 +838,215 @@
"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.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"
},
{
"type": "ClFlow",
"id": "cl:50.3",
"sourceId": "cl:6",
"destinationId": "cl:79",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:50.0",
"sourceId": "cl:49",
"destinationId": "cl:79",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:50.1",
"sourceId": "cl:4",
"destinationId": "cl:79",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:50.2",
"sourceId": "cl:5",
"destinationId": "cl:79",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:1.1",
"sourceId": "cl:79",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.2",
"sourceId": "cl:79",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.3",
"sourceId": "cl:79",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.4",
"sourceId": "cl:79",
"destinationId": "cl:1",
"job": "Sa"
}
]

File diff suppressed because it is too large Load Diff

View File

@@ -99,21 +99,11 @@
"to": "cl:12.2",
"comment": ""
},
{
"from": "",
"to": "cl:14.1",
"comment": ""
},
{
"from": "",
"to": "cl:14.2",
"comment": ""
},
{
"from": "",
"to": "cl:15.2",
"comment": ""
},
{
"from": "",
"to": "cl:17.2",
@@ -734,11 +724,6 @@
"to": "cl:24.4",
"comment": ""
},
{
"from": "_3HsmQPwhEeq6W8VyiW743Q",
"to": "cl:47",
"comment": ""
},
{
"from": "_hZAF0DlAEeq8Xq-hO6uuAA__fZzhgfwJEeqwT97Ts8gyVw__iqW-MfwHEeqwT97Ts8gyVw--_GAV-5_wJEeqwT97Ts8gyVw",
"to": "cl:47.2",
@@ -749,11 +734,6 @@
"to": "cl:49.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_3HsmRPwhEeq6W8VyiW743Q",
"to": "cl:47.1",
"comment": ""
},
{
"from": "_tHXJkssoEeqbKtp36eBGrQ__hZhqPTlAEeq8Xq-hO6uuAA__r-DYIMsoEeqbKtp36eBGrQ--_qgKJ4fwUEeqwT97Ts8gyVw",
"to": "cl:44.8",
@@ -809,21 +789,6 @@
"to": "cl:46.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_3HrYJPwhEeq6W8VyiW743Q",
"to": "cl:4.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_3Hpi9PwhEeq6W8VyiW743Q",
"to": "cl:5.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_3Hntw_whEeq6W8VyiW743Q",
"to": "cl:6.1",
"comment": ""
},
{
"from": "_fAoZABKxEeu-VuG_Q3rRBA__pDu1ohKxEeu-VuG_Q3rRBA__pEHQIBKxEeu-VuG_Q3rRBA--_pEHQIBKxEeu-VuG_Q3rRBA",
"to": "cl:51.13",
@@ -889,11 +854,6 @@
"to": "cl:77",
"comment": ""
},
{
"from": "_jEYnwfwHEeqwT97Ts8gyVw__LUutITokEeu4RKvzCLByOA__Hpl4ITokEeu4RKvzCLByOA--_Hpl4ITokEeu4RKvzCLByOA",
"to": "cl:68.0",
"comment": ""
},
{
"from": "_sWWjaMsoEeqbKtp36eBGrQ__hZiRSTlAEeq8Xq-hO6uuAA__r-DYKMsoEeqbKtp36eBGrQ--_hYsjzzlAEeq8Xq-hO6uuAA",
"to": "cl:38.5",
@@ -909,36 +869,11 @@
"to": "cl:34",
"comment": ""
},
{
"from": "_3HsmQvwhEeq6W8VyiW743Q__6wQBUfwhEeq6W8VyiW743Q__iWzJBvwHEeqwT97Ts8gyVw--_5iv29PwiEeq6W8VyiW743Q",
"to": "cl:69.0",
"comment": ""
},
{
"from": "_3HsmQ_whEeq6W8VyiW743Q__6NYk0fwhEeq6W8VyiW743Q__h8LChvwHEeqwT97Ts8gyVw--_5iv28fwiEeq6W8VyiW743Q",
"to": "cl:69.0",
"comment": ""
},
{
"from": "_G0JAEtAnEeqJ0NX9SyQs9Q__VkOkATpFEeu4RKvzCLByOA__hYoSXjlAEeq8Xq-hO6uuAA--_hYoSbzlAEeq8Xq-hO6uuAA",
"to": "cl:54.1",
"comment": ""
},
{
"from": "_oiOBkDpREeu4RKvzCLByOA",
"to": "cl:67",
"comment": ""
},
{
"from": "_jEYnwfwHEeqwT97Ts8gyVw__qxriwTpREeu4RKvzCLByOA__oiOBkTpREeu4RKvzCLByOA--_oiOBkTpREeu4RKvzCLByOA",
"to": "cl:67.0",
"comment": ""
},
{
"from": "_oiOBkjpREeu4RKvzCLByOA__sBqj8TpREeu4RKvzCLByOA__3HsmQfwhEeq6W8VyiW743Q",
"to": "cl:47.3",
"comment": ""
},
{
"from": "_klplgTopEeu4RKvzCLByOA__oEQQm1PqEeuHPd-_wxF3ug__NI5xxzoqEeu4RKvzCLByOA--_cXmUFTorEeu4RKvzCLByOA",
"to": "cl:77.6",
@@ -1004,11 +939,6 @@
"to": "cl:57.1",
"comment": ""
},
{
"from": "_oGSQ0FPqEeuHPd-_wxF3ug__CO8tMTpMEeu4RKvzCLByOA__sWV8UssoEeqbKtp36eBGrQ--_hYnrTTlAEeq8Xq-hO6uuAA",
"to": "cl:41.2",
"comment": ""
},
{
"from": "_oGSQ0FPqEeuHPd-_wxF3ug__CO8tMTpMEeu4RKvzCLByOA__sWV8UssoEeqbKtp36eBGrQ--_hYnrTTlAEeq8Xq-hO6uuAA",
"to": "cl:8.1",
@@ -1024,11 +954,6 @@
"to": "cl:8.2",
"comment": ""
},
{
"from": "_oGSQ0FPqEeuHPd-_wxF3ug__FTQLsTpMEeu4RKvzCLByOA__r-CxEcsoEeqbKtp36eBGrQ--_hYfIZTlAEeq8Xq-hO6uuAA",
"to": "cl:41.2",
"comment": ""
},
{
"from": "_oGSQ0FPqEeuHPd-_wxF3ug___pz28TpLEeu4RKvzCLByOA__sWV8UcsoEeqbKtp36eBGrQ--_hYoSdDlAEeq8Xq-hO6uuAA",
"to": "cl:55.3",
@@ -1083,5 +1008,95 @@
"from": "_9m8gcFPrEeuHPd-_wxF3ug__N_IQUTpEEeu4RKvzCLByOA__RIwUMsspEeqbKtp36eBGrQ--_hYfIZjlAEeq8Xq-hO6uuAA",
"to": "cl:41.1",
"comment": ""
},
{
"from": "_mGaHQFT8Eeu9tc4yNKl-3w",
"to": "cl:67",
"comment": ""
},
{
"from": "_uBThQFT8Eeu9tc4yNKl-3w",
"to": "cl:47",
"comment": ""
},
{
"from": "_wXTIQFT8Eeu9tc4yNKl-3w",
"to": "cl:47",
"comment": ""
},
{
"from": "_r5aUwFUJEeu9tc4yNKl-3w__2hFeEVUJEeu9tc4yNKl-3w__Hpl4ITokEeu4RKvzCLByOA--_Hpl4ITokEeu4RKvzCLByOA",
"to": "cl:68.0",
"comment": ""
},
{
"from": "_wXTIQlT8Eeu9tc4yNKl-3w__zLKWAVUHEeu9tc4yNKl-3w__h8LChvwHEeqwT97Ts8gyVw--_s64DsVUHEeu9tc4yNKl-3w",
"to": "cl:69.0",
"comment": ""
},
{
"from": "_mGaHQVT8Eeu9tc4yNKl-3w__Q4ORQVUHEeu9tc4yNKl-3w__uBThQ1T8Eeu9tc4yNKl-3w",
"to": "cl:47.3",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_uBMMglT8Eeu9tc4yNKl-3w",
"to": "cl:5.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_uBP24lT8Eeu9tc4yNKl-3w",
"to": "cl:4.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_uBThQlT8Eeu9tc4yNKl-3w",
"to": "cl:47.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_uBHUAlT8Eeu9tc4yNKl-3w",
"to": "cl:6.1",
"comment": ""
},
{
"from": "_oGSQ0FPqEeuHPd-_wxF3ug__FTQLsTpMEeu4RKvzCLByOA__r-CxEcsoEeqbKtp36eBGrQ--_hYfIZTlAEeq8Xq-hO6uuAA",
"to": "cl:41.2",
"comment": ""
},
{
"from": "",
"to": "cl:78",
"comment": ""
},
{
"from": "",
"to": "cl:79",
"comment": ""
},
{
"from": "_SHeVcFmjEeurWekIB82ALg",
"to": "cl:79",
"comment": ""
},
{
"from": "_hYyDUjlAEeq8Xq-hO6uuAA__JBDjg1mjEeurWekIB82ALg__SHeVdFmjEeurWekIB82ALg--_FfP-wVmlEeurWekIB82ALg",
"to": "cl:50.3",
"comment": ""
},
{
"from": "_hYzRfzlAEeq8Xq-hO6uuAA__HlmSIlmjEeurWekIB82ALg__SHeVcVmjEeurWekIB82ALg--_M46JYlmkEeurWekIB82ALg",
"to": "cl:50.0",
"comment": ""
},
{
"from": "_hYyqczlAEeq8Xq-hO6uuAA__IDRFkVmjEeurWekIB82ALg__SHeVclmjEeurWekIB82ALg--_B0dIAVmlEeurWekIB82ALg",
"to": "cl:50.1",
"comment": ""
},
{
"from": "_hYyDZzlAEeq8Xq-hO6uuAA__IcgsAlmjEeurWekIB82ALg__SHeVc1mjEeurWekIB82ALg--_Dt5V4VmlEeurWekIB82ALg",
"to": "cl:50.2",
"comment": ""
}
]

View File

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

File diff suppressed because it is too large Load Diff

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