V4.4.3_Safety1

First version of Safety model (functional) and CLs associated to System
version V4.4.3

CL_set/CL_model.json

@@ -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",
@@ -244,13 +195,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 +272,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 +279,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",
@@ -405,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",
@@ -433,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",
@@ -475,13 +384,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",
@@ -622,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",
@@ -671,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",
@@ -699,20 +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:68.0",
-		"sourceId": "cl:69",
-		"destinationId": "cl:68",
-		"job": "S_"
-	},
 	{
 		"type": "ClFlow",
 		"id": "cl:38.5",
@@ -727,13 +594,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 +608,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",
@@ -790,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",
@@ -839,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 +866,187 @@
 		"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_"
+	},
+	{
+		"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"
 	}
 ]

CL_set/primary_aliases.json

@@ -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": ""
 	}
 ]

model/.project

@@ -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>

readme.txt

@@ -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