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

1 Commits

Author SHA1 Message Date
romaric.demachy
3434bddca2 V4.3_Safety5
Safety model (functional) and CLs associated to System version V4.3
2022-10-17 17:12:16 +02:00
10 changed files with 31625 additions and 16677 deletions

View File

@@ -3059,42 +3059,6 @@
"name": "cltyp", "name": "cltyp",
"value": "flow" "value": "flow"
}, },
{
"type": "CValue",
"id": "cl:44.2",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.2",
"name": "label",
"value": "SeFlow=[SF7.4.4] Compare drone motor rate.Motor 1 rate measuredSaFlow=SF744_MonitorMotorRate.MotorRatesMeasured_MotorRate1"
},
{
"type": "CValue",
"id": "cl:44.2",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.2",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.2",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:44.2",
"name": "cltyp",
"value": "flow"
},
{ {
"type": "CValue", "type": "CValue",
"id": "cl:44.7", "id": "cl:44.7",
@@ -4103,42 +4067,6 @@
"name": "cltyp", "name": "cltyp",
"value": "flow" "value": "flow"
}, },
{
"type": "CValue",
"id": "cl:51.5",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.5",
"name": "label",
"value": "SeFlow=SaFlow=EXT_PilotDetection.inputPosition"
},
{
"type": "CValue",
"id": "cl:51.5",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.5",
"name": "ratio",
"value": "Safety modeling artefact to model visual detection"
},
{
"type": "CValue",
"id": "cl:51.5",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.5",
"name": "cltyp",
"value": "flow"
},
{ {
"type": "CValue", "type": "CValue",
"id": "cl:51.6", "id": "cl:51.6",
@@ -4211,42 +4139,6 @@
"name": "cltyp", "name": "cltyp",
"value": "flow" "value": "flow"
}, },
{
"type": "CValue",
"id": "cl:51.8",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.8",
"name": "label",
"value": "SeFlow=SaFlow=EXT_PilotDetection.inputLostHelixesControl"
},
{
"type": "CValue",
"id": "cl:51.8",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.8",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.8",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.8",
"name": "cltyp",
"value": "flow"
},
{ {
"type": "CValue", "type": "CValue",
"id": "cl:52", "id": "cl:52",
@@ -6622,5 +6514,347 @@
"id": "cl:9.1", "id": "cl:9.1",
"name": "cltyp", "name": "cltyp",
"value": "flow" "value": "flow"
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:67",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "cltyp",
"value": "func"
},
{
"type": "CValue",
"id": "cl:67",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:67",
"name": "cltyp",
"value": "func"
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:67",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "ratio",
"value": "Same dysfunctional status as sources (measure position and compute rate) are modeled in the same CLfunction."
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:47.3",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:67.0",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:9.2",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "ratio",
"value": "Safety modeling artefact to model visual detection by the drone human pilot."
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "ratio",
"value": "Obsolete safety modeling artefact. To keep trace of the former condition to trigger manual mode (before modeled as a Dirac)"
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "ratio",
"value": "See modeling report, section \"3.3.3 Motor control loop\""
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:44.10",
"name": "state",
"value": "valid"
} }
] ]

View File

@@ -1,4 +1,5 @@
[{ [
{
"type": "ClFlow", "type": "ClFlow",
"id": "cl:1.1", "id": "cl:1.1",
"sourceId": "cl:49", "sourceId": "cl:49",
@@ -411,13 +412,6 @@
"destinationId": "cl:44", "destinationId": "cl:44",
"job": "S_" "job": "S_"
}, },
{
"type": "ClFlow",
"id": "cl:44.2",
"sourceId": "cl:47",
"destinationId": "cl:44",
"job": "S_"
},
{ {
"type": "ClFlow", "type": "ClFlow",
"id": "cl:44.7", "id": "cl:44.7",
@@ -558,13 +552,6 @@
"destinationId": "cl:51", "destinationId": "cl:51",
"job": "Se" "job": "Se"
}, },
{
"type": "ClFlow",
"id": "cl:51.5",
"sourceId": "cl:19",
"destinationId": "cl:51",
"job": "Sa"
},
{ {
"type": "ClFlow", "type": "ClFlow",
"id": "cl:51.6", "id": "cl:51.6",
@@ -572,13 +559,6 @@
"destinationId": "cl:51", "destinationId": "cl:51",
"job": "Sa" "job": "Sa"
}, },
{
"type": "ClFlow",
"id": "cl:51.7",
"sourceId": "cl:8",
"destinationId": "cl:51",
"job": "Sa"
},
{ {
"type": "ClFlow", "type": "ClFlow",
"id": "cl:51.8", "id": "cl:51.8",
@@ -928,4 +908,54 @@
"sourceId": "cl:51", "sourceId": "cl:51",
"destinationId": "cl:9", "destinationId": "cl:9",
"job": "S_" "job": "S_"
}] },
{
"type": "ClFlow",
"id": "cl:9.2",
"sourceId": "cl:51",
"destinationId": "cl:9",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:47.3",
"sourceId": "cl:67",
"destinationId": "cl:47",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:67.0",
"sourceId": "cl:47",
"destinationId": "cl:67",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:1.8",
"sourceId": "cl:51",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:51.13",
"sourceId": "cl:1",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:44.10",
"sourceId": "cl:67",
"destinationId": "cl:44",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:44.10",
"sourceId": "cl:67",
"destinationId": "cl:44",
"job": "Se"
}
]

Binary file not shown.

File diff suppressed because it is too large Load Diff

View File

@@ -1,4 +1,5 @@
[{ [
{
"from": "_hW0UczlAEeq8Xq-hO6uuAA", "from": "_hW0UczlAEeq8Xq-hO6uuAA",
"to": "cl:1", "to": "cl:1",
"comment": "" "comment": ""
@@ -63,26 +64,6 @@
"to": "cl:1.4", "to": "cl:1.4",
"comment": "" "comment": ""
}, },
{
"from": "_qVMj-MsoEeqbKtp36eBGrQ__hZiRTTlAEeq8Xq-hO6uuAA__tifmYMsoEeqbKtp36eBGrQ--_hZBT6TlAEeq8Xq-hO6uuAA",
"to": "cl:1.5",
"comment": ""
},
{
"from": "_qVMj-MsoEeqbKtp36eBGrQ__hZiRTTlAEeq8Xq-hO6uuAA__tifmYMsoEeqbKtp36eBGrQ--_hZBT7DlAEeq8Xq-hO6uuAA",
"to": "cl:1.5",
"comment": ""
},
{
"from": "_qVMj-MsoEeqbKtp36eBGrQ__hZiRTTlAEeq8Xq-hO6uuAA__tifmYMsoEeqbKtp36eBGrQ--_hZBT7zlAEeq8Xq-hO6uuAA",
"to": "cl:1.5",
"comment": ""
},
{
"from": "_qVMj-MsoEeqbKtp36eBGrQ__hZiRTTlAEeq8Xq-hO6uuAA__tifmYMsoEeqbKtp36eBGrQ--_hZBT8jlAEeq8Xq-hO6uuAA",
"to": "cl:1.5",
"comment": ""
},
{ {
"from": "_qVMj9ssoEeqbKtp36eBGrQ__hZiRVTlAEeq8Xq-hO6uuAA__tifmYcsoEeqbKtp36eBGrQ--_b2-xdMspEeqbKtp36eBGrQ", "from": "_qVMj9ssoEeqbKtp36eBGrQ__hZiRVTlAEeq8Xq-hO6uuAA__tifmYcsoEeqbKtp36eBGrQ--_b2-xdMspEeqbKtp36eBGrQ",
"to": "cl:1.5", "to": "cl:1.5",
@@ -98,11 +79,6 @@
"to": "cl:1.6", "to": "cl:1.6",
"comment": "" "comment": ""
}, },
{
"from": "_rL3GNcsoEeqbKtp36eBGrQ__hZiRUTlAEeq8Xq-hO6uuAA__tie_VMsoEeqbKtp36eBGrQ--_a4cso8spEeqbKtp36eBGrQ",
"to": "cl:1.7",
"comment": ""
},
{ {
"from": "_rL3GNcsoEeqbKtp36eBGrQ__hZiRUTlAEeq8Xq-hO6uuAA__tie_VMsoEeqbKtp36eBGrQ--_b2-xdcspEeqbKtp36eBGrQ", "from": "_rL3GNcsoEeqbKtp36eBGrQ__hZiRUTlAEeq8Xq-hO6uuAA__tie_VMsoEeqbKtp36eBGrQ--_b2-xdcspEeqbKtp36eBGrQ",
"to": "cl:1.7", "to": "cl:1.7",
@@ -223,11 +199,6 @@
"to": "cl:24.2", "to": "cl:24.2",
"comment": "" "comment": ""
}, },
{
"from": "_sWWja8soEeqbKtp36eBGrQ__hZi4XzlAEeq8Xq-hO6uuAA__rL3tQ8soEeqbKtp36eBGrQ--_hYPQ0zlAEeq8Xq-hO6uuAA",
"to": "cl:24.4",
"comment": ""
},
{ {
"from": "_hYPQ4DlAEeq8Xq-hO6uuAA", "from": "_hYPQ4DlAEeq8Xq-hO6uuAA",
"to": "cl:25", "to": "cl:25",
@@ -258,26 +229,11 @@
"to": "cl:28", "to": "cl:28",
"comment": "" "comment": ""
}, },
{
"from": "_rL3tQssoEeqbKtp36eBGrQ__hZhDITlAEeq8Xq-hO6uuAA__rlsigcsoEeqbKtp36eBGrQ--_hY1GoTlAEeq8Xq-hO6uuAA",
"to": "cl:28.4",
"comment": ""
},
{
"from": "_hY1GpjlAEeq8Xq-hO6uuAA__rkIcScsoEeqbKtp36eBGrQ__hY1GozlAEeq8Xq-hO6uuAA",
"to": "cl:28.5",
"comment": ""
},
{ {
"from": "_hY1GqTlAEeq8Xq-hO6uuAA", "from": "_hY1GqTlAEeq8Xq-hO6uuAA",
"to": "cl:29", "to": "cl:29",
"comment": "" "comment": ""
}, },
{
"from": "_hY1GojlAEeq8Xq-hO6uuAA__rkIcRcsoEeqbKtp36eBGrQ__hY1GqjlAEeq8Xq-hO6uuAA",
"to": "cl:29.1",
"comment": ""
},
{ {
"from": "", "from": "",
"to": "cl:29.4", "to": "cl:29.4",
@@ -448,11 +404,6 @@
"to": "cl:4", "to": "cl:4",
"comment": "" "comment": ""
}, },
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_hYzRcTlAEeq8Xq-hO6uuAA",
"to": "cl:4.1",
"comment": ""
},
{ {
"from": "_r-DYI8soEeqbKtp36eBGrQ__hZhqMzlAEeq8Xq-hO6uuAA__tHXwoMsoEeqbKtp36eBGrQ--_hZAFyjlAEeq8Xq-hO6uuAA", "from": "_r-DYI8soEeqbKtp36eBGrQ__hZhqMzlAEeq8Xq-hO6uuAA__tHXwoMsoEeqbKtp36eBGrQ--_hZAFyjlAEeq8Xq-hO6uuAA",
"to": "cl:4.2", "to": "cl:4.2",
@@ -508,46 +459,6 @@
"to": "cl:44", "to": "cl:44",
"comment": "" "comment": ""
}, },
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_hYhkqzlAEeq8Xq-hO6uuAA",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_hYhkrzlAEeq8Xq-hO6uuAA",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_hYhkszlAEeq8Xq-hO6uuAA",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_hYhktzlAEeq8Xq-hO6uuAA",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_tHXJkMsoEeqbKtp36eBGrQ__hZhqOTlAEeq8Xq-hO6uuAA__r-CxFMsoEeqbKtp36eBGrQ--_hYhktjlAEeq8Xq-hO6uuAA",
"to": "cl:44.2",
"comment": ""
},
{
"from": "_tHXJkcsoEeqbKtp36eBGrQ__hZhqOzlAEeq8Xq-hO6uuAA__r-CxFcsoEeqbKtp36eBGrQ--_hYhksjlAEeq8Xq-hO6uuAA",
"to": "cl:44.7",
"comment": ""
},
{
"from": "_tHXJkssoEeqbKtp36eBGrQ__hZhqPTlAEeq8Xq-hO6uuAA__r-DYIMsoEeqbKtp36eBGrQ--_hYhkrjlAEeq8Xq-hO6uuAA",
"to": "cl:44.8",
"comment": ""
},
{
"from": "_tHXJk8soEeqbKtp36eBGrQ__hZhqPzlAEeq8Xq-hO6uuAA__r-DYIcsoEeqbKtp36eBGrQ--_hYhkqjlAEeq8Xq-hO6uuAA",
"to": "cl:44.9",
"comment": ""
},
{ {
"from": "_hYPQyDlAEeq8Xq-hO6uuAA", "from": "_hYPQyDlAEeq8Xq-hO6uuAA",
"to": "cl:45", "to": "cl:45",
@@ -573,31 +484,6 @@
"to": "cl:46", "to": "cl:46",
"comment": "" "comment": ""
}, },
{
"from": "_qVMj98soEeqbKtp36eBGrQ__hZiRTzlAEeq8Xq-hO6uuAA__rlsigMsoEeqbKtp36eBGrQ--_hY1GpTlAEeq8Xq-hO6uuAA",
"to": "cl:46.1",
"comment": ""
},
{
"from": "_hYz4gDlAEeq8Xq-hO6uuAA",
"to": "cl:47",
"comment": ""
},
{
"from": "_hYz4hDlAEeq8Xq-hO6uuAA",
"to": "cl:47",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_hYz4hTlAEeq8Xq-hO6uuAA",
"to": "cl:47.1",
"comment": ""
},
{
"from": "_hZAF0DlAEeq8Xq-hO6uuAA__hZcxuTlAEeq8Xq-hO6uuAA__hYz4gzlAEeq8Xq-hO6uuAA",
"to": "cl:47.2",
"comment": ""
},
{ {
"from": "_hYz4ijlAEeq8Xq-hO6uuAA", "from": "_hYz4ijlAEeq8Xq-hO6uuAA",
"to": "cl:48", "to": "cl:48",
@@ -613,21 +499,11 @@
"to": "cl:49", "to": "cl:49",
"comment": "" "comment": ""
}, },
{
"from": "_hYz4gjlAEeq8Xq-hO6uuAA__hZcxtzlAEeq8Xq-hO6uuAA__hYz4jDlAEeq8Xq-hO6uuAA",
"to": "cl:49.1",
"comment": ""
},
{ {
"from": "_hYuY8TlAEeq8Xq-hO6uuAA", "from": "_hYuY8TlAEeq8Xq-hO6uuAA",
"to": "cl:5", "to": "cl:5",
"comment": "" "comment": ""
}, },
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_hYyqZTlAEeq8Xq-hO6uuAA",
"to": "cl:5.1",
"comment": ""
},
{ {
"from": "_r-DYJMsoEeqbKtp36eBGrQ__hZhqNTlAEeq8Xq-hO6uuAA__tHXwocsoEeqbKtp36eBGrQ--_hZAFxTlAEeq8Xq-hO6uuAA", "from": "_r-DYJMsoEeqbKtp36eBGrQ__hZhqNTlAEeq8Xq-hO6uuAA__tHXwocsoEeqbKtp36eBGrQ--_hZAFxTlAEeq8Xq-hO6uuAA",
"to": "cl:5.2", "to": "cl:5.2",
@@ -678,26 +554,11 @@
"to": "cl:51.12", "to": "cl:51.12",
"comment": "" "comment": ""
}, },
{
"from": "_ssSXIssoEeqbKtp36eBGrQ__hZgcHzlAEeq8Xq-hO6uuAA__qVMj8csoEeqbKtp36eBGrQ--_qVMj8csoEeqbKtp36eBGrQ",
"to": "cl:51.5",
"comment": ""
},
{
"from": "_ssSXI8soEeqbKtp36eBGrQ__hZgcITlAEeq8Xq-hO6uuAA__qVMj8ssoEeqbKtp36eBGrQ--_qVMj8ssoEeqbKtp36eBGrQ",
"to": "cl:51.6",
"comment": ""
},
{ {
"from": "_sWWjZcsoEeqbKtp36eBGrQ__hZgcIzlAEeq8Xq-hO6uuAA__qVMj88soEeqbKtp36eBGrQ--_qVMj88soEeqbKtp36eBGrQ", "from": "_sWWjZcsoEeqbKtp36eBGrQ__hZgcIzlAEeq8Xq-hO6uuAA__qVMj88soEeqbKtp36eBGrQ--_qVMj88soEeqbKtp36eBGrQ",
"to": "cl:51.7", "to": "cl:51.7",
"comment": "" "comment": ""
}, },
{
"from": "_tifmYssoEeqbKtp36eBGrQ__hZgcJTlAEeq8Xq-hO6uuAA__qVMj9MsoEeqbKtp36eBGrQ--_qVMj9MsoEeqbKtp36eBGrQ",
"to": "cl:51.8",
"comment": ""
},
{ {
"from": "", "from": "",
"to": "cl:52", "to": "cl:52",
@@ -713,11 +574,6 @@
"to": "cl:54", "to": "cl:54",
"comment": "" "comment": ""
}, },
{
"from": "_hYnEPTlAEeq8Xq-hO6uuAA__sS8qRcsoEeqbKtp36eBGrQ__hYnESDlAEeq8Xq-hO6uuAA",
"to": "cl:54.1",
"comment": ""
},
{ {
"from": "_hYoSWzlAEeq8Xq-hO6uuAA", "from": "_hYoSWzlAEeq8Xq-hO6uuAA",
"to": "cl:55", "to": "cl:55",
@@ -753,11 +609,6 @@
"to": "cl:56", "to": "cl:56",
"comment": "" "comment": ""
}, },
{
"from": "_hYnEPTlAEeq8Xq-hO6uuAA__sS8qScsoEeqbKtp36eBGrQ__hYnEQjlAEeq8Xq-hO6uuAA",
"to": "cl:56.1",
"comment": ""
},
{ {
"from": "_hYnrWzlAEeq8Xq-hO6uuAA", "from": "_hYnrWzlAEeq8Xq-hO6uuAA",
"to": "cl:57", "to": "cl:57",
@@ -773,11 +624,6 @@
"to": "cl:57.1", "to": "cl:57.1",
"comment": "" "comment": ""
}, },
{
"from": "_hYnEPTlAEeq8Xq-hO6uuAA__sS8qS8soEeqbKtp36eBGrQ__hYnrXjlAEeq8Xq-hO6uuAA--_hYnrZDlAEeq8Xq-hO6uuAA",
"to": "cl:57.2",
"comment": ""
},
{ {
"from": "_5lbz1csoEeqbKtp36eBGrQ__sS8qOcsoEeqbKtp36eBGrQ__hYnrXTlAEeq8Xq-hO6uuAA--_hYoSVTlAEeq8Xq-hO6uuAA", "from": "_5lbz1csoEeqbKtp36eBGrQ__sS8qOcsoEeqbKtp36eBGrQ__hYnrXTlAEeq8Xq-hO6uuAA--_hYoSVTlAEeq8Xq-hO6uuAA",
"to": "cl:57.3", "to": "cl:57.3",
@@ -843,11 +689,6 @@
"to": "cl:6", "to": "cl:6",
"comment": "" "comment": ""
}, },
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZf1AzlAEeq8Xq-hO6uuAA__tHXJlMsoEeqbKtp36eBGrQ--_hYyDWTlAEeq8Xq-hO6uuAA",
"to": "cl:6.1",
"comment": ""
},
{ {
"from": "_r-DYJcsoEeqbKtp36eBGrQ__hZhqNzlAEeq8Xq-hO6uuAA__tHXwossoEeqbKtp36eBGrQ--_hZAFwDlAEeq8Xq-hO6uuAA", "from": "_r-DYJcsoEeqbKtp36eBGrQ__hZhqNzlAEeq8Xq-hO6uuAA__tHXwossoEeqbKtp36eBGrQ--_hZAFwDlAEeq8Xq-hO6uuAA",
"to": "cl:6.2", "to": "cl:6.2",
@@ -1069,12 +910,183 @@
"comment": "" "comment": ""
}, },
{ {
"from": "_hYnEOzlAEeq8Xq-hO6uuAA", "from": "_G0JAENAnEeqJ0NX9SyQs9Q",
"to": "cl:9", "to": "cl:9",
"comment": "" "comment": ""
}, },
{ {
"from": "_qVMj-csoEeqbKtp36eBGrQ__hZi4XTlAEeq8Xq-hO6uuAA__sWWjassoEeqbKtp36eBGrQ--_hYnEPDlAEeq8Xq-hO6uuAA", "from": "_qVMj-csoEeqbKtp36eBGrQ__hZi4XTlAEeq8Xq-hO6uuAA__sWWjassoEeqbKtp36eBGrQ--_P1I0kdApEeqJ0NX9SyQs9Q",
"to": "cl:9.1", "to": "cl:9.1",
"comment": "" "comment": ""
}] },
{
"from": "_yhSoYNAaEeqXj4jaoMW4-A__8X4TAtAaEeqXj4jaoMW4-A__8YPfYNAaEeqXj4jaoMW4-A--_Y3IHl9ArEeqJ0NX9SyQs9Q",
"to": "cl:9.2",
"comment": ""
},
{
"from": "_G0JAEtAnEeqJ0NX9SyQs9Q__sS8qRcsoEeqbKtp36eBGrQ__hYnESDlAEeq8Xq-hO6uuAA--_hYnESDlAEeq8Xq-hO6uuAA",
"to": "cl:54.1",
"comment": ""
},
{
"from": "_G0JAEtAnEeqJ0NX9SyQs9Q__sS8qS8soEeqbKtp36eBGrQ__hYnrXjlAEeq8Xq-hO6uuAA--_hYnrZDlAEeq8Xq-hO6uuAA",
"to": "cl:57.2",
"comment": ""
},
{
"from": "_G0JAEtAnEeqJ0NX9SyQs9Q__sS8qScsoEeqbKtp36eBGrQ__hYnEQjlAEeq8Xq-hO6uuAA--_hYnEQjlAEeq8Xq-hO6uuAA",
"to": "cl:56.1",
"comment": ""
},
{
"from": "_pyLlYNApEeqJ0NX9SyQs9Q__b6YLQdAtEeqJ0NX9SyQs9Q__rL3tQ8soEeqbKtp36eBGrQ--_hYPQ0zlAEeq8Xq-hO6uuAA",
"to": "cl:24.4",
"comment": ""
},
{
"from": "_cLMiYPwHEeqwT97Ts8gyVw",
"to": "cl:47",
"comment": ""
},
{
"from": "_CbQAIPwMEeqwT97Ts8gyVw",
"to": "cl:67",
"comment": ""
},
{
"from": "_3HsmQPwhEeq6W8VyiW743Q",
"to": "cl:47",
"comment": ""
},
{
"from": "_CbQAIvwMEeqwT97Ts8gyVw__7acN0fwhEeq6W8VyiW743Q__3HsmQfwhEeq6W8VyiW743Q",
"to": "cl:47.3",
"comment": ""
},
{
"from": "_jEYnwfwHEeqwT97Ts8gyVw__JCzi8fwMEeqwT97Ts8gyVw__CbQAIfwMEeqwT97Ts8gyVw--_CbQAIfwMEeqwT97Ts8gyVw",
"to": "cl:67.0",
"comment": ""
},
{
"from": "_hZAF0DlAEeq8Xq-hO6uuAA__fZzhgfwJEeqwT97Ts8gyVw__iqW-MfwHEeqwT97Ts8gyVw--_GAV-5_wJEeqwT97Ts8gyVw",
"to": "cl:47.2",
"comment": ""
},
{
"from": "_j2BgFfwHEeqwT97Ts8gyVw__ghXmgfwJEeqwT97Ts8gyVw__hYz4jDlAEeq8Xq-hO6uuAA--_hYz4jDlAEeq8Xq-hO6uuAA",
"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",
"comment": ""
},
{
"from": "_dfug0PwREeqwT97Ts8gyVw__DxeVwfwYEeq6W8VyiW743Q__7l004PwVEeqwT97Ts8gyVw--_qgKJ5PwUEeqwT97Ts8gyVw",
"to": "cl:44.8",
"comment": ""
},
{
"from": "_dr-NEPwREeqwT97Ts8gyVw__BqHAofwYEeq6W8VyiW743Q__7kibcPwVEeqwT97Ts8gyVw--_kKdzJPwUEeqwT97Ts8gyVw",
"to": "cl:44.7",
"comment": ""
},
{
"from": "_tHXJkcsoEeqbKtp36eBGrQ__hZhqOzlAEeq8Xq-hO6uuAA__r-CxFcsoEeqbKtp36eBGrQ--_kKdzIfwUEeqwT97Ts8gyVw",
"to": "cl:44.7",
"comment": ""
},
{
"from": "_YohhUPwREeqwT97Ts8gyVw__EiIWofwYEeq6W8VyiW743Q__7-UNYPwVEeqwT97Ts8gyVw--_skDURPwUEeqwT97Ts8gyVw",
"to": "cl:44.9",
"comment": ""
},
{
"from": "_tHXJk8soEeqbKtp36eBGrQ__hZhqPzlAEeq8Xq-hO6uuAA__r-DYIcsoEeqbKtp36eBGrQ--_skDUQfwUEeqwT97Ts8gyVw",
"to": "cl:44.9",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_ccokwvwUEeqwT97Ts8gyVw",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_qgKJ4vwUEeqwT97Ts8gyVw",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_kKdzIvwUEeqwT97Ts8gyVw",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_sWWjZMsoEeqbKtp36eBGrQ__hZhqQTlAEeq8Xq-hO6uuAA__r-CxE8soEeqbKtp36eBGrQ--_skDUQvwUEeqwT97Ts8gyVw",
"to": "cl:44.1",
"comment": ""
},
{
"from": "_hY1GpjlAEeq8Xq-hO6uuAA__Gmc5hPwFEeqwT97Ts8gyVw__hY1GozlAEeq8Xq-hO6uuAA",
"to": "cl:28.5",
"comment": ""
},
{
"from": "_rL3tQssoEeqbKtp36eBGrQ__hZhDITlAEeq8Xq-hO6uuAA__GpEIkfwFEeqwT97Ts8gyVw--_hY1GoTlAEeq8Xq-hO6uuAA",
"to": "cl:28.4",
"comment": ""
},
{
"from": "_hY1GojlAEeq8Xq-hO6uuAA__Gmc5gPwFEeqwT97Ts8gyVw__hY1GqjlAEeq8Xq-hO6uuAA",
"to": "cl:29.1",
"comment": ""
},
{
"from": "_qVMj98soEeqbKtp36eBGrQ__hZiRTzlAEeq8Xq-hO6uuAA__GpEIkPwFEeqwT97Ts8gyVw--_hY1GpTlAEeq8Xq-hO6uuAA",
"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": "_qVMj-MsoEeqbKtp36eBGrQ__hZiRTTlAEeq8Xq-hO6uuAA__tifmYMsoEeqbKtp36eBGrQ--_GqLCcAoUEeuoBOUqeTFhOQ",
"to": "cl:1.8",
"comment": ""
},
{
"from": "_fAoZABKxEeu-VuG_Q3rRBA__pDu1ohKxEeu-VuG_Q3rRBA__pEHQIBKxEeu-VuG_Q3rRBA--_pEHQIBKxEeu-VuG_Q3rRBA",
"to": "cl:51.13",
"comment": ""
},
{
"from": "_d3NzwPwREeqwT97Ts8gyVw__Ah5bYfwYEeq6W8VyiW743Q__6t2rEPwVEeqwT97Ts8gyVw--_ccokxPwUEeqwT97Ts8gyVw",
"to": "cl:44.10",
"comment": ""
},
{
"from": "_tHXJkMsoEeqbKtp36eBGrQ__hZhqOTlAEeq8Xq-hO6uuAA__r-CxFMsoEeqbKtp36eBGrQ--_ccokwfwUEeqwT97Ts8gyVw",
"to": "cl:44.10",
"comment": ""
}
]

View File

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

File diff suppressed because it is too large Load Diff

File diff suppressed because it is too large Load Diff

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. 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. 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 Corresponding SE version (see AIDA Architecture repository): V4.3
************************************************************************ ************************************************************************
* 2. Motivation and intended use * 2. Motivation and intended use
@@ -55,9 +55,7 @@ https://doi.org/10.1007/978-3-319-64119-5_2
- CL_set : contains the description of the Consistency Links (CL) set - 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 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). (see deliverable LIV-S085L02-023 / ISX-S2C-DOC-436 from S2C project).
Two versions of the CL set are available here : The CL set is defined in the following files :
- 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 - 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 - 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_model : relation links between the CLs_function and the CLs_flows