AIDA
/
AIDASafety
mirror of http://172.16.200.102/AIDA/AIDASafety.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
AIDA is a study case for model based system engineering, made by MOISE project. This project contains the safety models and analyses of AIDA
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
7 Commits
1 Branch
10 Tags
14 MiB
Tree: 70cfe84f99
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '70cfe84f99'
${ noResults }
AIDASafety/CL_set/CL_model.json

1031 lines
16 KiB
Raw Blame History

[
{
"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",
"sourceId": "cl:25",
"destinationId": "cl:1",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:12.1",
"sourceId": "cl:57",
"destinationId": "cl:12",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:12.2",
"sourceId": "cl:55",
"destinationId": "cl:12",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:17.2",
"sourceId": "cl:50",
"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",
"sourceId": "cl:31",
"destinationId": "cl:21",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:24.1",
"sourceId": "cl:58",
"destinationId": "cl:24",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:24.2",
"sourceId": "cl:45",
"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",
"sourceId": "cl:24",
"destinationId": "cl:25",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:26.1",
"sourceId": "cl:24",
"destinationId": "cl:26",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:26.2",
"sourceId": "cl:25",
"destinationId": "cl:26",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:28.4",
"sourceId": "cl:60",
"destinationId": "cl:28",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:28.5",
"sourceId": "cl:46",
"destinationId": "cl:28",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:29.1",
"sourceId": "cl:28",
"destinationId": "cl:29",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:29.4",
"sourceId": "cl:50",
"destinationId": "cl:29",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:31.1",
"sourceId": "cl:51",
"destinationId": "cl:31",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:31.2",
"sourceId": "cl:62",
"destinationId": "cl:31",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:31.6",
"sourceId": "cl:65",
"destinationId": "cl:31",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:32.0",
"sourceId": "cl:65",
"destinationId": "cl:32",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:32.1",
"sourceId": "cl:52",
"destinationId": "cl:32",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:32.2",
"sourceId": "cl:65",
"destinationId": "cl:32",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:34.2",
"sourceId": "cl:38",
"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",
"sourceId": "cl:25",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.9",
"sourceId": "cl:8",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.1",
"sourceId": "cl:25",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.3",
"sourceId": "cl:8",
"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",
"sourceId": "cl:38",
"destinationId": "cl:39",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:39.3",
"sourceId": "cl:37",
"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",
"sourceId": "cl:66",
"destinationId": "cl:4",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:43.2",
"sourceId": "cl:12",
"destinationId": "cl:43",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:43.3",
"sourceId": "cl:39",
"destinationId": "cl:43",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.1",
"sourceId": "cl:12",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.7",
"sourceId": "cl:4",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.8",
"sourceId": "cl:5",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:44.9",
"sourceId": "cl:6",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:45.3",
"sourceId": "cl:51",
"destinationId": "cl:45",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:45.4",
"sourceId": "cl:51",
"destinationId": "cl:45",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:45.5",
"sourceId": "cl:51",
"destinationId": "cl:45",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:46.1",
"sourceId": "cl:51",
"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",
"sourceId": "cl:66",
"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",
"sourceId": "cl:66",
"destinationId": "cl:5",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:51.10",
"sourceId": "cl:64",
"destinationId": "cl:51",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:51.11",
"sourceId": "cl:64",
"destinationId": "cl:51",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:51.12",
"sourceId": "cl:31",
"destinationId": "cl:51",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:51.8",
"sourceId": "cl:1",
"destinationId": "cl:51",
"job": "Sa"
},
{
"type": "ClFlow",
"id": "cl:52.0",
"sourceId": "cl:32",
"destinationId": "cl:52",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:55.2",
"sourceId": "cl:25",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.4",
"sourceId": "cl:8",
"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",
"sourceId": "cl:8",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.4",
"sourceId": "cl:25",
"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",
"sourceId": "cl:21",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.4",
"sourceId": "cl:45",
"destinationId": "cl:58",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:58.5",
"sourceId": "cl:25",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:59.1",
"sourceId": "cl:45",
"destinationId": "cl:59",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:59.2",
"sourceId": "cl:45",
"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",
"sourceId": "cl:66",
"destinationId": "cl:6",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:60.1",
"sourceId": "cl:24",
"destinationId": "cl:60",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:60.2",
"sourceId": "cl:58",
"destinationId": "cl:60",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:60.3",
"sourceId": "cl:59",
"destinationId": "cl:60",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:61.0",
"sourceId": "cl:65",
"destinationId": "cl:61",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:64.1",
"sourceId": "cl:26",
"destinationId": "cl:64",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:64.2",
"sourceId": "cl:58",
"destinationId": "cl:64",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:65.0",
"sourceId": "cl:31",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.1",
"sourceId": "cl:32",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.4",
"sourceId": "cl:64",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.5",
"sourceId": "cl:29",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.6",
"sourceId": "cl:63",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:66.1",
"sourceId": "cl:41",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.2",
"sourceId": "cl:42",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.3",
"sourceId": "cl:43",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.4",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.5",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.6",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:66.7",
"sourceId": "cl:44",
"destinationId": "cl:66",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.4",
"sourceId": "cl:58",
"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",
"sourceId": "cl:24",
"destinationId": "cl:8",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:9.1",
"sourceId": "cl:51",
"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",
"sourceId": "cl:48",
"destinationId": "cl:69",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:49.1",
"sourceId": "cl:69",
"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",
"sourceId": "cl:57",
"destinationId": "cl:77",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:65.3",
"sourceId": "cl:77",
"destinationId": "cl:65",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:41.2",
"sourceId": "cl:77",
"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",
"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:69.0",
"sourceId": "cl:47",
"destinationId": "cl:69",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:54.1",
"sourceId": "cl:9",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:67.0",
"sourceId": "cl:69",
"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",
"sourceId": "cl:77",
"destinationId": "cl:78",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.1",
"sourceId": "cl:4",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.0",
"sourceId": "cl:49",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.3",
"sourceId": "cl:6",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.2",
"sourceId": "cl:5",
"destinationId": "cl:79",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:51.14",
"sourceId": "",
"destinationId": "cl:51",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:44.10",
"sourceId": "cl:68",
"destinationId": "cl:44",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:4.11",
"sourceId": "cl:50",
"destinationId": "cl:4",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:6.8",
"sourceId": "cl:50",
"destinationId": "cl:6",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:49.2",
"sourceId": "cl:50",
"destinationId": "cl:49",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:5.15",
"sourceId": "cl:50",
"destinationId": "cl:5",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:50.4",
"sourceId": "cl:79",
"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",
"sourceId": "cl:76",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.3",
"sourceId": "cl:76",
"destinationId": "cl:34",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:71.0",
"sourceId": "cl:17",
"destinationId": "cl:71",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.4",
"sourceId": "cl:17",
"destinationId": "cl:34",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.3",
"sourceId": "cl:73",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.5",
"sourceId": "cl:73",
"destinationId": "cl:34",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:34.1",
"sourceId": "cl:50",
"destinationId": "cl:34",
"job": "Se"
},
{
"type": "ClFlow",
"id": "cl:77.5",
"sourceId": "cl:75",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.2",
"sourceId": "cl:72",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.0",
"sourceId": "cl:70",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:38.6",
"sourceId": "cl:77",
"destinationId": "cl:38",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:57.1",
"sourceId": "cl:77",
"destinationId": "cl:57",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.2",
"sourceId": "cl:77",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.1",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.3",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:8.2",
"sourceId": "cl:77",
"destinationId": "cl:8",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.3",
"sourceId": "cl:77",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:55.1",
"sourceId": "cl:77",
"destinationId": "cl:55",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.2",
"sourceId": "cl:77",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:37.1",
"sourceId": "cl:77",
"destinationId": "cl:37",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.2",
"sourceId": "cl:77",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:58.1",
"sourceId": "cl:77",
"destinationId": "cl:58",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.4",
"sourceId": "cl:74",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:77.1",
"sourceId": "cl:71",
"destinationId": "cl:77",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:42.1",
"sourceId": "cl:34",
"destinationId": "cl:42",
"job": "S_"
},
{
"type": "ClFlow",
"id": "cl:41.1",
"sourceId": "cl:34",
"destinationId": "cl:41",
"job": "S_"
}
]