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

V4.4.3_Safety3

Browse Source 
Third version of Safety model (functional) and CLs associated to System
version V4.4.3
This commit is contained in:
romaric.demachy
2022-10-17 17:10:21 +02:00
parent 9a2316a0b4
commit 9c049f557a
7 changed files with 6831 additions and 7448 deletions
Download Patch File Download Diff File Expand all files Collapse all files

388
CL_set/CL_metadata.json
View File

@@ -27,157 +27,13 @@
"type": "CValue",
"id": "cl:1",
"name": "ratio",
"value": "Safety modeling artefact. Must be reviewed by system designer"
"value": "Safety modeling artefact for FC observation (must be reviewed by system architect)"
},
{
"type": "CValue",
"id": "cl:1",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:1.1",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.1",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:1.1",
"name": "label",
"value": "SeFlow=SaFlow=FailureConditions.TotalLossOfHelixesControl.in1\\\\u0003FailureConditions.LossOfAtMost3HelixesControl.in1\\\\u0003FailureConditions.ErroneousControlOfOneHelix.in1"
},
{
"type": "CValue",
"id": "cl:1.1",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.1",
"name": "ratio",
"value": "SA modeling artefact to send thrust of motor i to \\\\failure conditions\\\\ brick"
},
{
"type": "CValue",
"id": "cl:1.1",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:1.2",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.2",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:1.2",
"name": "label",
"value": "SeFlow=SaFlow=FailureConditions.TotalLossOfHelixesControl.in2\\\\u0003FailureConditions.ErroneousControlOfOneHelix.in2\\\\u0003FailureConditions.LossOfAtMost3HelixesControl.in2"
},
{
"type": "CValue",
"id": "cl:1.2",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.2",
"name": "ratio",
"value": "SA modeling artefact to send thrust of motor i to \\\\failure conditions\\\\ brick"
},
{
"type": "CValue",
"id": "cl:1.2",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:1.3",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.3",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:1.3",
"name": "label",
"value": "SeFlow=SaFlow=FailureConditions.TotalLossOfHelixesControl.in4\\\\u0003FailureConditions.LossOfAtMost3HelixesControl.in4\\\\u0003FailureConditions.ErroneousControlOfOneHelix.in4"
},
{
"type": "CValue",
"id": "cl:1.3",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.3",
"name": "ratio",
"value": "SA modeling artefact to send thrust of motor i to \\\\failure conditions\\\\ brick"
},
{
"type": "CValue",
"id": "cl:1.3",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:1.4",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.4",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:1.4",
"name": "label",
"value": "SeFlow=SaFlow=FailureConditions.TotalLossOfHelixesControl.in3\\\\u0003FailureConditions.LossOfAtMost3HelixesControl.in3\\\\u0003FailureConditions.ErroneousControlOfOneHelix.in3"
},
{
"type": "CValue",
"id": "cl:1.4",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.4",
"name": "ratio",
"value": "SA modeling artefact to send thrust of motor i to \\\\failure conditions\\\\ brick"
},
{
"type": "CValue",
"id": "cl:1.4",
"name": "state",
"value": "in revision"
"value": "valid"
},
{
"type": "CValue",
@@ -251,6 +107,42 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "cltyp",
"value": "flow"
},
{
"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": "ratio",
"value": "Destination is not modeled in SA, as it is the FC observation"
},
{
"type": "CValue",
"id": "cl:1.8",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:12",
@@ -1857,7 +1749,7 @@
"type": "CValue",
"id": "cl:38",
"name": "notes",
"value": "T105 In rev rename"
"value": "T105"
},
{
"type": "CValue",
@@ -1869,7 +1761,7 @@
"type": "CValue",
"id": "cl:38",
"name": "state",
"value": "in revision"
"value": "valid"
},
{
"type": "CValue",
@@ -1943,42 +1835,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:38.4",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:38.4",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:38.4",
"name": "label",
"value": "SeFlow=[SF7.3.3] Select attitude consign MON.Yaw consignSaFlow=SF733_6_ControlAttitudeMON.Consigns_YawManualConsign"
},
{
"type": "CValue",
"id": "cl:38.4",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:38.4",
"name": "ratio",
"value": "in rev<65>: integrate cl in cl38.5"
},
{
"type": "CValue",
"id": "cl:38.4",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:38.5",
@@ -2013,7 +1869,7 @@
"type": "CValue",
"id": "cl:38.5",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -2079,13 +1935,13 @@
"type": "CValue",
"id": "cl:39",
"name": "ratio",
"value": "in rev<65>: rename SF72"
"value": ""
},
{
"type": "CValue",
"id": "cl:39",
"name": "state",
"value": "in revision"
"value": "valid"
},
{
"type": "CValue",
@@ -3663,13 +3519,13 @@
"type": "CValue",
"id": "cl:50.2",
"name": "ratio",
"value": "In<EFBFBD>: rename Gather thrust and torque as they have the same dysfunctional status"
"value": "Gather thrust and torque as they have the same dysfunctional status"
},
{
"type": "CValue",
"id": "cl:50.2",
"name": "state",
"value": "in revision"
"value": "valid"
},
{
"type": "CValue",
@@ -3887,42 +3743,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "cltyp",
"value": "flow"
},
{
"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": "ratio",
"value": "Safety modeling artefact to model visual detection by the drone human pilot."
},
{
"type": "CValue",
"id": "cl:51.13",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.14",
@@ -3959,6 +3779,42 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.15",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.15",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:51.15",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.15",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:51.15",
"name": "ratio",
"value": "SA modeling of pilot perception. See modeling report section 3.3.1 pilot loop"
},
{
"type": "CValue",
"id": "cl:51.15",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:51.7",
@@ -4283,42 +4139,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:56.1",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:56.1",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:56.1",
"name": "label",
"value": "SeFlow=[SF2.3.1] Compute yaw consign.Yaw rate consignSaFlow=SF231_ComputeYawConsign.input"
},
{
"type": "CValue",
"id": "cl:56.1",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:56.1",
"name": "ratio",
"value": "in rev<65>: integrate in 57.2"
},
{
"type": "CValue",
"id": "cl:56.1",
"name": "state",
"value": "in revision"
},
{
"type": "CValue",
"id": "cl:57",
@@ -4425,7 +4245,7 @@
"type": "CValue",
"id": "cl:57.2",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -6975,13 +6795,13 @@
"type": "CValue",
"id": "cl:79",
"name": "ratio",
"value": "Structure can fail erroneously. In rev<65>: mettre ensemble les 4 sorties et supprimer les portes dans FC"
"value": "Structure can fail erroneously"
},
{
"type": "CValue",
"id": "cl:79",
"name": "state",
"value": "in revision"
"value": "valid"
},
{
"type": "CValue",
@@ -7235,6 +7055,42 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:80",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:80",
"name": "cltyp",
"value": "func"
},
{
"type": "CValue",
"id": "cl:80",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:80",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:80",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:80",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:9",
@@ -7263,13 +7119,13 @@
"type": "CValue",
"id": "cl:9",
"name": "ratio",
"value": "in rev<65>: split cl into 2 clF"
"value": "Same dysfunctional status"
},
{
"type": "CValue",
"id": "cl:9",
"name": "state",
"value": "in revision"
"value": "valid"
},
{
"type": "CValue",

111
CL_set/CL_model.json
View File

@@ -48,13 +48,6 @@
"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",
@@ -538,20 +531,6 @@
"destinationId": "cl:9",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:9.2",
"sourceId": "cl:51",
"destinationId": "cl:9",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:51.13",
"sourceId": "cl:1",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:47.2",
@@ -580,20 +559,6 @@
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:38.5",
"sourceId": "cl:9",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.2",
"sourceId": "cl:9",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:54.1",
@@ -937,20 +902,6 @@
"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",
@@ -995,15 +946,15 @@
},
{
"type": "ClFlow",
"id": "cl:50.3",
"sourceId": "cl:6",
"destinationId": "cl:79",
"job": "S_"
"id": "cl:51.15",
"sourceId": "cl:79",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:50.0",
"sourceId": "cl:49",
"id": "cl:50.2",
"sourceId": "cl:5",
"destinationId": "cl:79",
"job": "S_"
},
@@ -1016,37 +967,51 @@
},
{
"type": "ClFlow",
"id": "cl:50.2",
"sourceId": "cl:5",
"id": "cl:50.0",
"sourceId": "cl:49",
"destinationId": "cl:79",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:1.1",
"id": "cl:50.3",
"sourceId": "cl:6",
"destinationId": "cl:79",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.5",
"sourceId": "cl:9",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.2",
"sourceId": "cl:9",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:1.8",
"sourceId": "cl:79",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:1.2",
"sourceId": "cl:79",
"destinationId": "cl:1",
"job": "Sa"
"id": "cl:9.2",
"sourceId": "cl:51",
"destinationId": "cl:80",
"job": "S_"
},
{
"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"
"id": "cl:24.4",
"sourceId": "cl:80",
"destinationId": "cl:24",
"job": "S_"
}
]

3022
CL_set/primary_aliases.json
View File

File diff suppressed because it is too large Load Diff

109
CL_set/secondary_aliases.json
View File

@@ -4,66 +4,6 @@
"to": "cl:1",
"comment": ""
},
{
"from": "_tHXJlcsoEeqbKtp36eBGrQ__hZgcFzlAEeq8Xq-hO6uuAA__tie_UMsoEeqbKtp36eBGrQ--_Zwdw5cspEeqbKtp36eBGrQ",
"to": "cl:1.1",
"comment": ""
},
{
"from": "_tHXJlcsoEeqbKtp36eBGrQ__hZgcFzlAEeq8Xq-hO6uuAA__tie_UMsoEeqbKtp36eBGrQ--_aFEu9MspEeqbKtp36eBGrQ",
"to": "cl:1.1",
"comment": ""
},
{
"from": "_tHXJlcsoEeqbKtp36eBGrQ__hZgcFzlAEeq8Xq-hO6uuAA__tie_UMsoEeqbKtp36eBGrQ--_aaIY9cspEeqbKtp36eBGrQ",
"to": "cl:1.1",
"comment": ""
},
{
"from": "_tHXJlssoEeqbKtp36eBGrQ__hZgcGTlAEeq8Xq-hO6uuAA__tie_UcsoEeqbKtp36eBGrQ--_Zwdw5sspEeqbKtp36eBGrQ",
"to": "cl:1.2",
"comment": ""
},
{
"from": "_tHXJlssoEeqbKtp36eBGrQ__hZgcGTlAEeq8Xq-hO6uuAA__tie_UcsoEeqbKtp36eBGrQ--_aFEu9cspEeqbKtp36eBGrQ",
"to": "cl:1.2",
"comment": ""
},
{
"from": "_tHXJlssoEeqbKtp36eBGrQ__hZgcGTlAEeq8Xq-hO6uuAA__tie_UcsoEeqbKtp36eBGrQ--_aaIY9sspEeqbKtp36eBGrQ",
"to": "cl:1.2",
"comment": ""
},
{
"from": "_tHXJl8soEeqbKtp36eBGrQ__hZgcGzlAEeq8Xq-hO6uuAA__tie_UssoEeqbKtp36eBGrQ--_Zwdw6MspEeqbKtp36eBGrQ",
"to": "cl:1.3",
"comment": ""
},
{
"from": "_tHXJl8soEeqbKtp36eBGrQ__hZgcGzlAEeq8Xq-hO6uuAA__tie_UssoEeqbKtp36eBGrQ--_aFEu98spEeqbKtp36eBGrQ",
"to": "cl:1.3",
"comment": ""
},
{
"from": "_tHXJl8soEeqbKtp36eBGrQ__hZgcGzlAEeq8Xq-hO6uuAA__tie_UssoEeqbKtp36eBGrQ--_aaIY-MspEeqbKtp36eBGrQ",
"to": "cl:1.3",
"comment": ""
},
{
"from": "_tHXJmMsoEeqbKtp36eBGrQ__hZgcHTlAEeq8Xq-hO6uuAA__tie_U8soEeqbKtp36eBGrQ--_Zwdw58spEeqbKtp36eBGrQ",
"to": "cl:1.4",
"comment": ""
},
{
"from": "_tHXJmMsoEeqbKtp36eBGrQ__hZgcHTlAEeq8Xq-hO6uuAA__tie_U8soEeqbKtp36eBGrQ--_aFEu9sspEeqbKtp36eBGrQ",
"to": "cl:1.4",
"comment": ""
},
{
"from": "_tHXJmMsoEeqbKtp36eBGrQ__hZgcHTlAEeq8Xq-hO6uuAA__tie_U8soEeqbKtp36eBGrQ--_aaIY98spEeqbKtp36eBGrQ",
"to": "cl:1.4",
"comment": ""
},
{
"from": "_qVMj9ssoEeqbKtp36eBGrQ__hZiRVTlAEeq8Xq-hO6uuAA__tifmYcsoEeqbKtp36eBGrQ--_b2-xdMspEeqbKtp36eBGrQ",
"to": "cl:1.5",
@@ -704,11 +644,6 @@
"to": "cl:8.6",
"comment": ""
},
{
"from": "_G0JAENAnEeqJ0NX9SyQs9Q",
"to": "cl:9",
"comment": ""
},
{
"from": "_qVMj-csoEeqbKtp36eBGrQ__hZi4XTlAEeq8Xq-hO6uuAA__sWWjassoEeqbKtp36eBGrQ--_P1I0kdApEeqJ0NX9SyQs9Q",
"to": "cl:9.1",
@@ -789,11 +724,6 @@
"to": "cl:46.1",
"comment": ""
},
{
"from": "_fAoZABKxEeu-VuG_Q3rRBA__pDu1ohKxEeu-VuG_Q3rRBA__pEHQIBKxEeu-VuG_Q3rRBA--_pEHQIBKxEeu-VuG_Q3rRBA",
"to": "cl:51.13",
"comment": ""
},
{
"from": "_tHXJkMsoEeqbKtp36eBGrQ__hZhqOTlAEeq8Xq-hO6uuAA__r-CxFMsoEeqbKtp36eBGrQ--_ccokwfwUEeqwT97Ts8gyVw",
"to": "cl:44.10",
@@ -1080,23 +1010,48 @@
"comment": ""
},
{
"from": "_hYyDUjlAEeq8Xq-hO6uuAA__JBDjg1mjEeurWekIB82ALg__SHeVdFmjEeurWekIB82ALg--_FfP-wVmlEeurWekIB82ALg",
"to": "cl:50.3",
"from": "_tHXJlcsoEeqbKtp36eBGrQ__hZgcFzlAEeq8Xq-hO6uuAA__tie_UMsoEeqbKtp36eBGrQ--_2Jg1gVpBEeu2pdtpu0eleA",
"to": "cl:1.8",
"comment": ""
},
{
"from": "_hYzRfzlAEeq8Xq-hO6uuAA__HlmSIlmjEeurWekIB82ALg__SHeVcVmjEeurWekIB82ALg--_M46JYlmkEeurWekIB82ALg",
"to": "cl:50.0",
"from": "_tHXJlcsoEeqbKtp36eBGrQ__FVIgkVpBEeu2pdtpu0eleA__pEHQIBKxEeu-VuG_Q3rRBA--_pEHQIBKxEeu-VuG_Q3rRBA",
"to": "cl:51.15",
"comment": ""
},
{
"from": "_hYyqczlAEeq8Xq-hO6uuAA__IDRFkVmjEeurWekIB82ALg__SHeVclmjEeurWekIB82ALg--_B0dIAVmlEeurWekIB82ALg",
"from": "_hYyDZzlAEeq8Xq-hO6uuAA__IcgsAlmjEeurWekIB82ALg__SHeVc1mjEeurWekIB82ALg--_iuR-IFo8EeuuOp-tZvLzTQ",
"to": "cl:50.2",
"comment": ""
},
{
"from": "_hYyqczlAEeq8Xq-hO6uuAA__IDRFkVmjEeurWekIB82ALg__SHeVclmjEeurWekIB82ALg--_iXIpcVo8EeuuOp-tZvLzTQ",
"to": "cl:50.1",
"comment": ""
},
{
"from": "_hYyDZzlAEeq8Xq-hO6uuAA__IcgsAlmjEeurWekIB82ALg__SHeVc1mjEeurWekIB82ALg--_Dt5V4VmlEeurWekIB82ALg",
"to": "cl:50.2",
"from": "_hYzRfzlAEeq8Xq-hO6uuAA__HlmSIlmjEeurWekIB82ALg__SHeVcVmjEeurWekIB82ALg--_iBqvwFo8EeuuOp-tZvLzTQ",
"to": "cl:50.0",
"comment": ""
},
{
"from": "_hYyDUjlAEeq8Xq-hO6uuAA__JBDjg1mjEeurWekIB82ALg__SHeVdFmjEeurWekIB82ALg--_ownUAFo8EeuuOp-tZvLzTQ",
"to": "cl:50.3",
"comment": ""
},
{
"from": "_P1I0kNApEeqJ0NX9SyQs9Q",
"to": "cl:9",
"comment": ""
},
{
"from": "_tHXJlcsoEeqbKtp36eBGrQ__hZgcFzlAEeq8Xq-hO6uuAA__tie_UMsoEeqbKtp36eBGrQ--_lfyDIVpBEeu2pdtpu0eleA",
"to": "cl:1.8",
"comment": ""
},
{
"from": "_YOGYsNArEeqJ0NX9SyQs9Q",
"to": "cl:80",
"comment": ""
}
]