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

Compare commits

base: AIDA:V4.3_Safety5
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

4 Commits
V4.3_Safet ... 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
romaric.demachy
e2c440040c V4.4.2_Safety2 
Second version of Safety model (functional) and CLs associated to System
version V4.4.2
 2022-10-17 17:12:18 +02:00
romaric.demachy
70cfe84f99 V4.4.2_Safety1 
First version of Safety model (functional) and CLs associated to System
version V4.4.2
 2022-10-17 17:12:17 +02:00
romaric.demachy
32bf766743 V4.4.1_Safety1 
First version of Safety model (functional) and CLs associated to System
version V4.4.1
 2022-10-17 17:12:17 +02:00
9 changed files with 168686 additions and 29989 deletions
Expand all files Collapse all files

4918
CL_set/CL_metadata.json
View File

File diff suppressed because it is too large Load Diff

885
CL_set/CL_model.json
View File

File diff suppressed because it is too large Load Diff

512
CL_set/primary_aliases.json
View File

@@ -1,49 +1,14 @@
[
{
"from": "0c311975-3cbb-4607-a571-33d6bcd0ce5a",
"to": "cl:42.1",
"comment": ""
},
{
"from": "3b4f5567-daf1-4dcc-86d8-72f1b5349291",
"to": "cl:42.1",
"comment": ""
},
{
"from": "540599fd-4d33-43b9-b625-01ceaf63e2f1",
"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",
"comment": ""
},
{
"from": "8b1d25ac-7d83-4250-9ead-43766796edac",
"to": "cl:42.2",
"comment": ""
},
{
"from": "9d51df80-6a0a-4fbd-badf-cd4ad7898d34",
"to": "cl:42.2",
"comment": ""
},
{
"from": "45110d91-b0cd-4864-a5d8-98c926dab44f",
"to": "cl:8.2",
@@ -104,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",
@@ -219,11 +179,6 @@
"to": "cl:50",
"comment": ""
},
{
"from": "8c3ac23c-7afa-479f-ae98-48c62f65a1d8",
"to": "cl:50",
"comment": ""
},
{
"from": "b3c7b879-89a6-42ef-a9e1-76aa5d46ae51",
"to": "cl:50",
@@ -274,21 +229,6 @@
"to": "cl:29",
"comment": ""
},
{
"from": "8725d4c0-1668-4781-8be5-fe2b849be181",
"to": "cl:35.1",
"comment": ""
},
{
"from": "b976b97c-6d2b-45e9-b44f-bb919ee098e7",
"to": "cl:35.1",
"comment": ""
},
{
"from": "c1d71c06-2fb5-49da-9180-d9b647828c82",
"to": "cl:35.1",
"comment": ""
},
{
"from": "2a9c4524-b769-4d67-8f14-8d7fb4478237",
"to": "cl:64",
@@ -339,16 +279,6 @@
"to": "cl:65.1",
"comment": ""
},
{
"from": "3a2f7b89-a884-4a86-85e1-97d0c9c02078",
"to": "cl:55",
"comment": ""
},
{
"from": "3b2e3a74-6e95-47ac-b8f0-0438e561da86",
"to": "cl:55",
"comment": ""
},
{
"from": "52c682d5-a257-4c33-998e-d40f9b697bdc",
"to": "cl:59",
@@ -364,11 +294,6 @@
"to": "cl:56.1",
"comment": ""
},
{
"from": "5e797bb9-32b5-44a6-9556-06fc843c9756",
"to": "cl:14",
"comment": ""
},
{
"from": "2e21c537-9563-413a-998c-7aeb6c9d6fc8",
"to": "cl:37.2",
@@ -434,16 +359,6 @@
"to": "cl:65",
"comment": ""
},
{
"from": "",
"to": "cl:51.6",
"comment": ""
},
{
"from": "20743d31-e179-4021-96fb-2058af663d13",
"to": "cl:34.1",
"comment": ""
},
{
"from": "7f94c7a5-25db-4cce-8104-f11b18eb68e4",
"to": "cl:34.1",
@@ -469,11 +384,6 @@
"to": "cl:55.2",
"comment": ""
},
{
"from": "",
"to": "cl:1.6",
"comment": ""
},
{
"from": "a99351ae-d454-4594-9ada-9d6a8b1808d7",
"to": "cl:12",
@@ -484,26 +394,6 @@
"to": "cl:59.2",
"comment": ""
},
{
"from": "6113c2ec-ef15-4b9a-8daa-9ef5b8594e1b",
"to": "cl:15.1",
"comment": ""
},
{
"from": "6abf4c9f-95a5-417d-961c-e3997fb62907",
"to": "cl:15.1",
"comment": ""
},
{
"from": "db5a886a-46d7-498a-971e-e576fc58e745",
"to": "cl:15.1",
"comment": ""
},
{
"from": "2d5f0da9-34e7-428e-9dbb-2982b38e9ecd",
"to": "cl:35.2",
"comment": ""
},
{
"from": "01a9dac3-19c5-426d-bc3a-bdada9777d84",
"to": "cl:55.3",
@@ -574,11 +464,6 @@
"to": "cl:51.12",
"comment": ""
},
{
"from": "cd92c2d9-3b41-4b1c-88d2-6c501be16a50",
"to": "cl:56",
"comment": ""
},
{
"from": "4c96dc35-1509-4fd8-a09f-a97c8e2d045d",
"to": "cl:44.1",
@@ -659,26 +544,11 @@
"to": "cl:26.2",
"comment": ""
},
{
"from": "bc371a92-5e2d-4713-af5f-ec847acef9e0",
"to": "cl:8.8",
"comment": ""
},
{
"from": "",
"to": "cl:1.3",
"comment": ""
},
{
"from": "7cb5a784-9099-4225-9c95-17fbc14ffc45",
"to": "cl:57.8",
"comment": ""
},
{
"from": "f99a8fdd-d519-49db-9a5f-0a1832c4d099",
"to": "cl:18",
"comment": ""
},
{
"from": "b2e47dbb-0e36-424d-8772-aa7ea330c8de",
"to": "cl:38.1",
@@ -734,11 +604,6 @@
"to": "cl:17",
"comment": ""
},
{
"from": "a3a07119-2350-44ed-af82-e40a76b04088",
"to": "cl:19",
"comment": ""
},
{
"from": "db797d2e-fa6e-4144-ad85-96fd6eea876f",
"to": "cl:39",
@@ -754,26 +619,6 @@
"to": "cl:26.1",
"comment": ""
},
{
"from": "2a86f5c7-9823-4931-a0b1-35c58c62a1b2",
"to": "cl:57",
"comment": ""
},
{
"from": "668b4793-4673-4115-b1ca-d302cd3e313c",
"to": "cl:57",
"comment": ""
},
{
"from": "af9dcf0b-124f-4a67-9457-44147c69f468",
"to": "cl:57",
"comment": ""
},
{
"from": "dc634c14-17ef-40d8-b040-de2dfe9fce10",
"to": "cl:57",
"comment": ""
},
{
"from": "6d57d1e1-1ddf-4daa-aaa4-cc19c8b4ae82",
"to": "cl:55.4",
@@ -929,11 +774,6 @@
"to": "cl:66.2",
"comment": ""
},
{
"from": "077a79fe-dddd-41f4-9daa-4550dea6085e",
"to": "cl:35",
"comment": ""
},
{
"from": "7d93b1a9-344d-4a59-ba76-3d93c3bd7b1f",
"to": "cl:38.4",
@@ -984,16 +824,6 @@
"to": "cl:65.4",
"comment": ""
},
{
"from": "c7f8767e-d8c3-49e8-b34d-1dd2257a8c71",
"to": "cl:15",
"comment": ""
},
{
"from": "20d72c81-f1e1-482b-8465-4b2aa67f42f3",
"to": "cl:47",
"comment": ""
},
{
"from": "3ae73397-7ab1-46e6-88de-bd3aeb9515b3",
"to": "cl:47",
@@ -1034,11 +864,6 @@
"to": "cl:37.1",
"comment": ""
},
{
"from": "ed4400de-1c8a-4321-bc08-fef1668e7cf4",
"to": "cl:18.1",
"comment": ""
},
{
"from": "5b091c4d-c9e3-4782-99e7-9b7be40eeaa2",
"to": "cl:49.1",
@@ -1059,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",
@@ -1264,11 +1079,6 @@
"to": "cl:38",
"comment": ""
},
{
"from": "f0ef7567-5323-4861-9f6e-14f60918be11",
"to": "cl:35.3",
"comment": ""
},
{
"from": "27de6a59-2a9c-407a-879d-3b219ebe6769",
"to": "cl:32.1",
@@ -1339,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",
@@ -1399,16 +1179,6 @@
"to": "cl:5",
"comment": ""
},
{
"from": "a455ce49-0054-4bbf-ac80-f3f759444ed2",
"to": "cl:54",
"comment": ""
},
{
"from": "3a6b4964-cfcc-441e-ab5e-5faea6cd4b0e",
"to": "cl:18.2",
"comment": ""
},
{
"from": "",
"to": "cl:1.7",
@@ -1455,8 +1225,288 @@
"comment": ""
},
{
"from": "fd052976-ce9d-45c1-8d75-e325ece87a44",
"from": "20d72c81-f1e1-482b-8465-4b2aa67f42f3",
"to": "cl:69",
"comment": ""
},
{
"from": "071b7ec6-2f4d-4cc1-b569-5f10dbd3f5a8",
"to": "cl:68",
"comment": ""
},
{
"from": "e265685a-2d05-4fba-a4aa-184ea41e826b",
"to": "cl:68",
"comment": ""
},
{
"from": "98ee031c-b4e2-422e-9140-d6a7b6143e43",
"to": "cl:70",
"comment": ""
},
{
"from": "402b4a11-9dca-42e4-982b-5aeb45ca4575",
"to": "cl:71",
"comment": ""
},
{
"from": "894f9589-3baa-46b1-bd22-ea4c2c7e6667",
"to": "cl:72",
"comment": ""
},
{
"from": "c7359aa4-0ebd-4437-b6c2-3beb7715a5ca",
"to": "cl:73",
"comment": ""
},
{
"from": "eed3185b-07d6-4f81-b2a5-f8a18b760c26",
"to": "cl:74",
"comment": ""
},
{
"from": "202656ee-7a9c-4aef-976c-2cbc756b8698",
"to": "cl:75",
"comment": ""
},
{
"from": "3f40e955-f447-4ae7-8a87-a5eefb4cf7a6",
"to": "cl:76",
"comment": ""
},
{
"from": "884101ae-5c1b-423f-8eac-1e275c6354b2",
"to": "cl:77",
"comment": ""
},
{
"from": "acc48bff-f9ee-43e2-b372-48420703243c",
"to": "cl:77.0",
"comment": ""
},
{
"from": "20ea9c43-e477-43f0-b841-1ea4554bf608",
"to": "cl:71.0",
"comment": ""
},
{
"from": "ed4400de-1c8a-4321-bc08-fef1668e7cf4",
"to": "cl:77.1",
"comment": ""
},
{
"from": "0f6f032e-aaed-4842-82ad-baed3a0e5c9f",
"to": "cl:77.2",
"comment": ""
},
{
"from": "3fa873bd-f67b-47af-9547-a0526695f103",
"to": "cl:77.3",
"comment": ""
},
{
"from": "535d5e80-1fc1-4821-b1fd-3afafb2c3e70",
"to": "cl:77.4",
"comment": ""
},
{
"from": "7c8d865c-3a46-4697-92f9-5b9595e91917",
"to": "cl:77.5",
"comment": ""
},
{
"from": "4aa42c54-d2b2-414e-9269-d4ea526d067e",
"to": "cl:77.6",
"comment": ""
},
{
"from": "8cd288d7-0959-403e-bc65-7cce3ce5d964",
"to": "cl:68.0",
"comment": ""
},
{
"from": "79fd1a18-e41e-4fa5-9d45-cff4b6bfe612",
"to": "cl:57",
"comment": ""
},
{
"from": "b7e0ca10-5698-4cf6-a0cf-94994d78cc82",
"to": "cl:55",
"comment": ""
},
{
"from": "008a508e-4f7c-4fca-9ecc-dbf0dc369bc7",
"to": "cl:38",
"comment": ""
},
{
"from": "f6bd05b9-3937-43fb-a906-e84fe4bcff34",
"to": "cl:37",
"comment": ""
},
{
"from": "806d3fa0-3456-4857-a7fa-65c244e45cf8",
"to": "cl:69.0",
"comment": ""
},
{
"from": "bc371a92-5e2d-4713-af5f-ec847acef9e0",
"to": "cl:8.2",
"comment": ""
},
{
"from": "0922e2b7-3e79-4519-a026-018c1fa908d7",
"to": "cl:78",
"comment": ""
},
{
"from": "03adbd2d-d659-4ffe-b746-226cf2ffeb7e",
"to": "cl:78",
"comment": ""
},
{
"from": "1d3e677e-7065-46a3-b437-4f0465ed9917",
"to": "cl:78.0",
"comment": ""
},
{
"from": "e7616bb0-700e-4fe3-bbfe-cd0c35ecb86f",
"to": "cl:78.0",
"comment": ""
},
{
"from": "9bee2a5b-01b4-490c-98a9-f558766483ae",
"to": "cl:51",
"comment": ""
},
{
"from": "8c3ac23c-7afa-479f-ae98-48c62f65a1d8",
"to": "cl:79",
"comment": ""
},
{
"from": "c04f84ff-a4cb-4ddd-af74-0bcdedc9ea4c",
"to": "cl:51.14",
"comment": ""
},
{
"from": "57b89050-1532-4aae-8d44-78af8cdcd136",
"to": "cl:50",
"comment": ""
},
{
"from": "5ca6fe5d-a1bc-44d2-a296-34bf90a955a4",
"to": "cl:44.10",
"comment": ""
},
{
"from": "119cae33-6dac-4960-bc50-938191a77b87",
"to": "cl:4.11",
"comment": ""
},
{
"from": "a756c542-71cc-49b8-9b6e-c3d858cc3d8f",
"to": "cl:6.8",
"comment": ""
},
{
"from": "bdf1f0d4-6687-4a0b-b502-27678e4ee55e",
"to": "cl:49.2",
"comment": ""
},
{
"from": "1fbd988d-a9d3-4454-bf98-e0b3df50505b",
"to": "cl:5.15",
"comment": ""
},
{
"from": "20743d31-e179-4021-96fb-2058af663d13",
"to": "cl:34.1",
"comment": ""
},
{
"from": "183457d1-35e2-4a64-a64b-d2422a7688fd",
"to": "cl:50.4",
"comment": ""
},
{
"from": "65df181e-5e95-4a0a-b281-9820bf4a50c0",
"to": "cl:50.4",
"comment": ""
},
{
"from": "6785f861-a831-4dc3-9fb8-3e3e17a44b8c",
"to": "cl:34.3",
"comment": ""
},
{
"from": "c01d8479-975c-46e9-9333-7c0f1f852156",
"to": "cl:34.4",
"comment": ""
},
{
"from": "68c3c19f-88d2-4f14-8081-7f17941d8d40",
"to": "cl:34.5",
"comment": ""
},
{
"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": ""
}
]

2167
CL_set/secondary_aliases.json
View File

File diff suppressed because it is too large Load Diff

2
model/.project
View File

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

18415
model/AIDASystem_SimfiaNeoModel.simfia
View File

File diff suppressed because it is too large Load Diff

152872
model/AIDASystem_SimfiaNeoModel_443_Safety1.simfia Normal file
View File

File diff suppressed because it is too large Load Diff

18902
model/representations.aird
View File

File diff suppressed because it is too large Load Diff

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