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.2_Safety2 

Second version of Safety model (functional) and CLs associated to System
version V4.4.2
merge-requests/1/head V4.4.2_Safety2
romaric.demachy 3 years ago
parent
70cfe84f99
commit
e2c440040c
6 changed files with 7041 additions and 10717 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. 5138
      CL_set/CL_metadata.json
  2. 98
      CL_set/CL_model.json
  3. 105
      CL_set/secondary_aliases.json
  4. 2
      model/.project
  5. 4174
      model/AIDASystem_SimfiaNeoModel_442_Safety2.simfia
  6. 8241
      model/representations.aird

5138
CL_set/CL_metadata.json
View File

File diff suppressed because it is too large Load Diff

98
CL_set/CL_model.json
Unescape View File

@ -244,13 +244,6 @@ @@ -244,13 +244,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 +321,6 @@ @@ -328,13 +321,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 +328,6 @@ @@ -342,13 +328,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",
@ -475,13 +454,6 @@ @@ -475,13 +454,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",
@ -706,13 +678,6 @@ @@ -706,13 +678,6 @@
"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 +692,6 @@ @@ -727,13 +692,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 +706,6 @@ @@ -748,13 +706,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",
@ -1027,5 +978,54 @@ @@ -1027,5 +978,54 @@
"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_"
}
]

105
CL_set/secondary_aliases.json
Unescape View File

@ -734,11 +734,6 @@ @@ -734,11 +734,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 +744,6 @@ @@ -749,11 +744,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 +799,6 @@ @@ -809,21 +799,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 +864,6 @@ @@ -889,11 +864,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 +879,11 @@ @@ -909,36 +879,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",
@ -1083,5 +1028,55 @@ @@ -1083,5 +1028,55 @@
"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": ""
}
]

2
model/.project
Unescape View File

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

4174
model/AIDASystem_SimfiaNeoModel.simfia → model/AIDASystem_SimfiaNeoModel_442_Safety2.simfia
View File

File diff suppressed because it is too large Load Diff

8241
model/representations.aird
View File

File diff suppressed because it is too large Load Diff
Write Preview
Loading…
Cancel
Save