AIDA
/
AIDASafety
mirror of http://172.16.200.102/AIDA/AIDASafety.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
Browse Source

V4.4.3_Safety1 

First version of Safety model (functional) and CLs associated to System
version V4.4.3
merge-requests/1/head V4.4.3_Safety1
romaric.demachy 2 years ago
parent
e2c440040c
commit
cfe73a8504
6 changed files with 1524 additions and 1484 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 484
      CL_set/CL_metadata.json
  2. 245
      CL_set/CL_model.json
  3. 120
      CL_set/primary_aliases.json
  4. 885
      CL_set/secondary_aliases.json
  5. 0
      model/AIDASystem_SimfiaNeoModel_443_Safety1.simfia
  6. 2
      readme.txt

484
CL_set/CL_metadata.json
Unescape View File

@ -359,42 +359,6 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -2301,7 +2229,7 @@
"type": "CValue",
"id": "cl:4.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -2325,19 +2253,19 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -3201,7 +3093,7 @@
"type": "CValue",
"id": "cl:47.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -3237,7 +3129,7 @@ @@ -3237,7 +3129,7 @@
"type": "CValue",
"id": "cl:47.2",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -3273,7 +3165,7 @@ @@ -3273,7 +3165,7 @@
"type": "CValue",
"id": "cl:47.3",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -3417,7 +3309,7 @@ @@ -3417,7 +3309,7 @@
"type": "CValue",
"id": "cl:49.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -3447,7 +3339,7 @@ @@ -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 @@ @@ -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 @@ @@ -3525,7 +3417,7 @@
"type": "CValue",
"id": "cl:5.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -3549,19 +3441,19 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -5037,7 +4857,7 @@
"type": "CValue",
"id": "cl:6.1",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -5097,19 +4917,19 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -6069,7 +5889,7 @@
"type": "CValue",
"id": "cl:67",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
@ -6081,7 +5901,7 @@ @@ -6081,7 +5901,7 @@
"type": "CValue",
"id": "cl:67",
"name": "state",
"value": "suspect"
"value": "in revision"
},
{
"type": "CValue",
@ -6141,7 +5961,7 @@ @@ -6141,7 +5961,7 @@
"type": "CValue",
"id": "cl:68",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
@ -6153,7 +5973,7 @@ @@ -6153,7 +5973,7 @@
"type": "CValue",
"id": "cl:68",
"name": "state",
"value": "valid"
"value": "in revision"
},
{
"type": "CValue",
@ -6177,7 +5997,7 @@ @@ -6177,7 +5997,7 @@
"type": "CValue",
"id": "cl:68.0",
"name": "notes",
"value": ""
"value": "T104"
},
{
"type": "CValue",
@ -6189,7 +6009,7 @@ @@ -6189,7 +6009,7 @@
"type": "CValue",
"id": "cl:68.0",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -6219,13 +6039,13 @@ @@ -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 @@ @@ -6261,7 +6081,7 @@
"type": "CValue",
"id": "cl:69.0",
"name": "state",
"value": "suspect"
"value": "valid"
},
{
"type": "CValue",
@ -7306,5 +7126,221 @@ @@ -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
Unescape View File

@ -1,32 +1,4 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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
Unescape View File

@ -4,21 +4,6 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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 @@ @@ -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": ""
}
]

885
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
Unescape View File

2
readme.txt
Unescape View File

@ -29,7 +29,7 @@ The quadcopter drone can be piloted in automated or manual mode. In manual mode, @@ -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

Write Preview
Loading…
Cancel
Save