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

Compare commits

base: AIDA:V4.4.2_Safety2
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

1 Commits
V4.4.2_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
6 changed files with 1524 additions and 1484 deletions
Expand all files Collapse all files

484
CL_set/CL_metadata.json
View File

@@ -359,42 +359,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:14.1",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:14.1",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:14.1",
"name": "label",
"value": "SeFlow=[SF3.1] Compute drone attitude.Acceleration\\\\u0003[SF3.1] Compute drone attitude.North direction\\\\u0003[SF3.1] Compute drone attitude.RateSaFlow="
},
{
"type": "CValue",
"id": "cl:14.1",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:14.1",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:14.1",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:14.2",
@@ -431,42 +395,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:15.2",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:15.2",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:15.2",
"name": "label",
"value": "SeFlow=[SF3.2] Compute drone altitude.Ground distance\\\\u0003[SF3.2] Compute drone altitude.PressureSaFlow="
},
{
"type": "CValue",
"id": "cl:15.2",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:15.2",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:15.2",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:17",
@@ -1503,7 +1431,7 @@
"type": "CValue",
"id": "cl:34",
"name": "ratio",
"value": "Partial duplication of SF3. For sake of simplicity, consistency is considered at SF71 level only."
"value": "Partial duplication of SF3. For sake of simplicity"
},
{
"type": "CValue",
@@ -1539,7 +1467,7 @@
"type": "CValue",
"id": "cl:34.1",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
"value": "Physical stimuli"
},
{
"type": "CValue",
@@ -1575,7 +1503,7 @@
"type": "CValue",
"id": "cl:34.2",
"name": "ratio",
"value": "By similarity with SF3, these infos have no additional safety impact. A failure mode propagated in SF715 will in the end trigger a motor shutdown. A propagation though SF717 has the same consequence."
"value": "By similarity with SF3"
},
{
"type": "CValue",
@@ -2253,19 +2181,19 @@
"type": "CValue",
"id": "cl:4",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
"id": "cl:4",
"name": "ratio",
"value": "Duplication of SF1.1 both in SE (REC/RPL) and SA (instance of the same classe). For sake of simplicity, consistency is considered at class level here."
"value": "Duplication of SF1.1 both in SE (REC/RPL) and SA (instance of the same classe). For sake of simplicity"
},
{
"type": "CValue",
"id": "cl:4",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -2301,7 +2229,7 @@
"type": "CValue",
"id": "cl:4.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -2325,19 +2253,19 @@
"type": "CValue",
"id": "cl:4.11",
"name": "notes",
"value": ""
"value": "T107"
},
{
"type": "CValue",
"id": "cl:4.11",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
"value": "Physical stimuli"
},
{
"type": "CValue",
"id": "cl:4.11",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -2447,42 +2375,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "label",
"value": "SeFlow=[SF7.4.1] Compare drone attitude.Drone pitch\\\\u0003[SF7.4.1] Compare drone attitude.Drone roll\\\\u0003[SF7.4.1] Compare drone attitude.Drone yaw\\\\u0003[SF7.4.1] Compare drone attitude.Drone pitch rate\\\\u0003[SF7.4.1] Compare drone attitude.Drone roll rate\\\\u0003[SF7.4.1] Compare drone attitude.Drone yaw rateSaFlow=SF741_MonitorAttitude.input1"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "notes",
"value": "T106"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "ratio",
"value": "Same dysfunctional status. Gather attitute and attitude rate"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:42",
@@ -3159,13 +3051,13 @@
"type": "CValue",
"id": "cl:47",
"name": "ratio",
"value": "Gathering of 4 subfunctions because 1) they do not have safety impact in isolation, 2) they constitute a loop that is undesirable in safety modeling. Choice of 2 safety bricks because there is one dysfunctional behavior (first brick) and the reconfiguration behavior of shutting down (not dependent from the dysfunctional behavior)"
"value": "Gathering of 4 subfunctions because 1) they do not have safety impact in isolation"
},
{
"type": "CValue",
"id": "cl:47",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3201,7 +3093,7 @@
"type": "CValue",
"id": "cl:47.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3237,7 +3129,7 @@
"type": "CValue",
"id": "cl:47.2",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3273,7 +3165,7 @@
"type": "CValue",
"id": "cl:47.3",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3417,7 +3309,7 @@
"type": "CValue",
"id": "cl:49.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3447,7 +3339,7 @@
"type": "CValue",
"id": "cl:49.2",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
"value": "Physical stimuli"
},
{
"type": "CValue",
@@ -3477,19 +3369,19 @@
"type": "CValue",
"id": "cl:5",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
"id": "cl:5",
"name": "ratio",
"value": "Duplication of SF1.1 both in SE (REC/RPL) and SA (instance of the same classe). For sake of simplicity, consistency is considered at class level here."
"value": "Duplication of SF1.1 both in SE (REC/RPL) and SA (instance of the same classe). For sake of simplicity"
},
{
"type": "CValue",
"id": "cl:5",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3525,7 +3417,7 @@
"type": "CValue",
"id": "cl:5.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -3549,19 +3441,19 @@
"type": "CValue",
"id": "cl:5.15",
"name": "notes",
"value": ""
"value": "T107"
},
{
"type": "CValue",
"id": "cl:5.15",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
"value": "Physical stimuli"
},
{
"type": "CValue",
"id": "cl:5.15",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -4355,42 +4247,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:55.6",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:55.6",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:55.6",
"name": "label",
"value": "SeFlow=[SF2.4.2] Compute total thrust.Altitude consignSaFlow=SF242_3_ControlAltitude.AltitudeConsign"
},
{
"type": "CValue",
"id": "cl:55.6",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:55.6",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:55.6",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:56.1",
@@ -4455,7 +4311,7 @@
"type": "CValue",
"id": "cl:57",
"name": "ratio",
"value": "In Safety model, we gather selection of attitude consign and control of attitude. As selection is not done based on dysfunctional status, this difference is only a modeling sugar and has no behaviour impact "
"value": "In Safety model"
},
{
"type": "CValue",
@@ -4607,42 +4463,6 @@
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:57.8",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:57.8",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:57.8",
"name": "label",
"value": "SeFlow=[SF2.3.2] Select attitude consign.Yaw consignSaFlow=SF232_5_ControlAttitude.YawConsign"
},
{
"type": "CValue",
"id": "cl:57.8",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:57.8",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:57.8",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:58",
@@ -4989,19 +4809,19 @@
"type": "CValue",
"id": "cl:6",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
"id": "cl:6",
"name": "ratio",
"value": "Duplication of SF1.1 both in SE (REC/RPL) and SA (instance of the same classe). For sake of simplicity, consistency is considered at class level here."
"value": "Duplication of SF1.1 both in SE (REC/RPL) and SA (instance of the same classe). For sake of simplicity"
},
{
"type": "CValue",
"id": "cl:6",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -5037,7 +4857,7 @@
"type": "CValue",
"id": "cl:6.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -5097,19 +4917,19 @@
"type": "CValue",
"id": "cl:6.8",
"name": "notes",
"value": ""
"value": "T107"
},
{
"type": "CValue",
"id": "cl:6.8",
"name": "ratio",
"value": "Physical stimuli, cannot have dysfunctional status"
"value": "Physical stimuli"
},
{
"type": "CValue",
"id": "cl:6.8",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -5823,7 +5643,7 @@
"type": "CValue",
"id": "cl:66.1",
"name": "ratio",
"value": "Justified name difference. In system, failure means detected failure mode, in safety a failure is an event and can exist in model whereas it is not detected by system. 1-m because splitting of the SE destination in SA subbricks."
"value": "Justified name difference. In system"
},
{
"type": "CValue",
@@ -5859,7 +5679,7 @@
"type": "CValue",
"id": "cl:66.2",
"name": "ratio",
"value": "Justified name difference. In system, failure means detected failure mode, in safety a failure is an event and can exist in model whereas it is not detected by system. 1-m because splitting of the SE destination in SA subbricks."
"value": "Justified name difference. In system"
},
{
"type": "CValue",
@@ -5895,7 +5715,7 @@
"type": "CValue",
"id": "cl:66.3",
"name": "ratio",
"value": "Justified name difference. In system, failure means detected failure mode, in safety a failure is an event and can exist in model whereas it is not detected by system. 1-m because splitting of the SE destination in SA subbricks."
"value": "Justified name difference. In system"
},
{
"type": "CValue",
@@ -6069,7 +5889,7 @@
"type": "CValue",
"id": "cl:67",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
@@ -6081,7 +5901,7 @@
"type": "CValue",
"id": "cl:67",
"name": "state",
"value": "suspect"
"value": "in revision"
},
{
"type": "CValue",
@@ -6141,7 +5961,7 @@
"type": "CValue",
"id": "cl:68",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
@@ -6153,7 +5973,7 @@
"type": "CValue",
"id": "cl:68",
"name": "state",
"value": "valid"
"value": "in revision"
},
{
"type": "CValue",
@@ -6177,7 +5997,7 @@
"type": "CValue",
"id": "cl:68.0",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
@@ -6189,7 +6009,7 @@
"type": "CValue",
"id": "cl:68.0",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -6219,13 +6039,13 @@
"type": "CValue",
"id": "cl:69",
"name": "ratio",
"value": "SF112 is modeled by two blocks. The first one manage the control motor loop (cf section 333 of the modeling report), the second models the impact of shut down consign."
"value": "SF112 is modeled by two blocks. The first one manage the control motor loop (cf section 333 of the modeling report)"
},
{
"type": "CValue",
"id": "cl:69",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -6261,7 +6081,7 @@
"type": "CValue",
"id": "cl:69.0",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@@ -7306,5 +7126,221 @@
"id": "cl:9.2",
"name": "state",
"value": "valid"
},
{
"type": "CValue",
"id": "cl:74.0",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:74.0",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:74.0",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:74.0",
"name": "ratio",
"value": "Physical stimuli cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:74.0",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:74.0",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:70.0",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:70.0",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:70.0",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:70.0",
"name": "ratio",
"value": "Physical stimuli cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:70.0",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:70.0",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:75.0",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:75.0",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:75.0",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:75.0",
"name": "ratio",
"value": "Physical stimuli cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:75.0",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:75.0",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:72.0",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:72.0",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:72.0",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:72.0",
"name": "ratio",
"value": "Physical stimuli cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:72.0",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:72.0",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:73.0",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:73.0",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:73.0",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:73.0",
"name": "ratio",
"value": "Physical stimuli cannot have dysfunctional status"
},
{
"type": "CValue",
"id": "cl:73.0",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:73.0",
"name": "cltyp",
"value": "flow"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "chgrq",
"value": ""
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "label",
"value": ""
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "notes",
"value": ""
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "ratio",
"value": ""
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "state",
"value": "suspect"
},
{
"type": "CValue",
"id": "cl:41.2",
"name": "cltyp",
"value": "flow"
}
]

245
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",
@@ -384,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",
@@ -412,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",
@@ -594,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",
@@ -643,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",
@@ -671,13 +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:38.5",
@@ -741,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",
@@ -790,13 +685,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 +915,138 @@
"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: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"
}
]

120
CL_set/primary_aliases.json
View File

@@ -4,21 +4,6 @@
"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",
@@ -84,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",
@@ -569,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",
@@ -909,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",
@@ -1184,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",
@@ -1518,5 +1453,60 @@
"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": ""
}
]

2157
CL_set/secondary_aliases.json
View File

File diff suppressed because it is too large Load Diff

0
model/AIDASystem_SimfiaNeoModel_442_Safety2.simfia → model/AIDASystem_SimfiaNeoModel_443_Safety1.simfia
View File

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