From 81c561299cfd72df71d5facb8415db7852081362 Mon Sep 17 00:00:00 2001 From: danielratiu Date: Fri, 26 Jul 2024 07:34:53 +0200 Subject: [PATCH] safety: mini cleanup --- ...r.formal.safety.argument.visualisation.mpl | 43 ----------------- ...lisation.generator.templates@generator.mps | 24 ---------- .../com.mbeddr.formal.safety.tutorial.msd | 4 -- .../_010_airbag_architecture.mpsr | 2 +- .../_040_airbag_module_sm_implementation.mpsr | 2 +- ...ntroller_functional_control_structure.mpsr | 2 +- .../_010_architecture.mpsr | 2 +- .../_100_fault_tree.mpsr | 2 +- .../_200_arch.mpsr | 2 +- .../_220_IFMEAs.mpsr | 2 +- .../generated normalized FT for 'System'.mpsr | 2 +- .../_000_confidence_for_ACP_01.mpsr | 2 +- .../_010_plain_text_gsn.mpsr | 2 +- .../_011_plain_text_cae.mpsr | 2 +- ...20_patterns_instantiated_from_library.mpsr | 2 +- ...er_evidence_annotated_with_confidence.mpsr | 2 +- ...r_schafer_confidence_as_specification.mpsr | 2 +- ...040_confidence_assurance_claim_points.mpsr | 2 +- ...nking_solutions_to_external_documents.mpsr | 2 +- ...nking_evidence_to_external_ressources.mpsr | 2 +- ...0_linking_solutions_to_external_tools.mpsr | 2 +- .../_100_compliance_argument_to_iso26262.mpsr | 2 +- ..._015_cross_referencing_goal_structure.mpsr | 2 +- .../HARA Reusable Entities.mpsr | 2 +- .../Safety Requirements Are Well Defined.mpsr | 2 +- .../_010_pattern_instantiation.mpsr | 2 +- .../Component Is Correctly Implemented.mpsr | 2 +- .../Process Level Reusable Entities.mpsr | 2 +- .../_010_pattern_instantiation.mpsr | 2 +- .../_020_library_entities_reuse.mpsr | 2 +- .../_100_top_level.mpsr | 2 +- .../.model | 13 +++++ .../_010_legs_without_evidence.mpsr | 37 ++++++++++++++ .../_100_Known_Issues.mpsr} | 48 ++++--------------- .../access_config.mpsr | 22 +++++++++ .../_040_airbag_cbd.mpsr | 2 +- .../_100_toplevel_safety_arg_pattern.mpsr | 2 +- ...110_contract_based_design_arg_pattern.mpsr | 2 +- .../_002_state_model.mpsr | 2 +- ..._025_charging_cable_control_structure.mpsr | 2 +- .../_050_system_arch.mpsr | 2 +- .../_100_top_level_safety_argumentation.mpsr | 2 +- ...urance_lane_keeping_control_structure.mpsr | 2 +- .../_205_LKA_functional_architecture.mpsr | 2 +- ...ety_goals_camera_and_image_processing.mpsr | 2 +- .../_402_safety_goals_LKA_controller.mpsr | 2 +- .../_lane_keeping_L05_control_structure.mpsr | 2 +- .../_103_acc_stpa_control_structure.mpsr | 2 +- .../_201_acc_functional_architecture.mpsr | 2 +- .../_400_acc_safety_case.mpsr | 2 +- .../_410_acc_redundancy_argumentation.mpsr | 2 +- .../_103_eb_control_structure.mpsr | 2 +- .../_205_eb_functional_architecture.mpsr | 2 +- .../_402_eb_safety_case.mpsr | 2 +- .../_022_ihs_system_architecture.mpsr | 2 +- .../_023_ihs_sensors.mpsr | 2 +- .../_024_ihs_mission_channel.mpsr | 2 +- .../_025_ihs_component.mpsr | 2 +- ...0_ihs_high_level_safety_argumentation.mpsr | 2 +- .../_671_ihs_risk_based_argumentation.mpsr | 2 +- .../_100_control_structure.mpsr | 2 +- .../_010_cem_activator.mpsr | 2 +- .../_020_cem_planner.mpsr | 2 +- .../_020_cem_trajectory_computer.mpsr | 2 +- .../_030_ads_planing.mpsr | 2 +- .../_100_misison_channel.mpsr | 2 +- .../_200_ads_top_level.mpsr | 2 +- .../_010_CEM_TOP.mpsr | 2 +- .../_020_CEM_LEVEL3_01_TOP.mpsr | 2 +- .../_020_CEM_LEVEL3_02_COLLISION.mpsr | 2 +- ...20_CEM_LEVEL3_03_COLLISION_NEIGH_LANE.mpsr | 2 +- .../_010_uber_atg_safety_case_original.mpsr | 2 +- .../_010_uber_atg_safety_case_top.mpsr | 2 +- .../extract_from_G1.1.1.1.mpsr | 2 +- .../extract_from_G1.1.1.2.mpsr | 2 +- .../extract_from_G1.1.1.3.mpsr | 2 +- .../extract_from_G1.1.mpsr | 2 +- .../extract_from_G1.2.1.1.mpsr | 2 +- .../extract_from_G1.2.mpsr | 2 +- .../extract_from_G1.3.1.1.mpsr | 2 +- .../extract_from_G1.3.1.2.mpsr | 2 +- .../extract_from_G1.3.1.3.mpsr | 2 +- .../extract_from_G1.3.1.4.1.1.mpsr | 2 +- .../extract_from_G1.3.1.4.1.2.mpsr | 2 +- .../extract_from_G1.3.1.4.1.3.mpsr | 2 +- .../extract_from_G1.3.1.4.1.4.mpsr | 2 +- .../extract_from_G1.3.1.4.1.5.mpsr | 2 +- .../extract_from_G1.3.1.4.1.6.mpsr | 2 +- .../extract_from_G1.3.1.4.1.7.mpsr | 2 +- .../extract_from_G1.3.1.4.1.8.mpsr | 2 +- .../extract_from_G1.3.1.4.1.9.mpsr | 2 +- .../extract_from_G1.3.1.5.mpsr | 2 +- .../extract_from_G1.3.1.6.mpsr | 2 +- .../extract_from_G1.3.mpsr | 2 +- .../extract_from_G1.4.1.1.mpsr | 2 +- .../extract_from_G1.4.1.mpsr | 2 +- .../extract_from_G1.4.2.mpsr | 2 +- .../extract_from_G1.4.3.mpsr | 2 +- .../extract_from_G1.4.mpsr | 2 +- .../extract_from_G1.5.mpsr | 2 +- .../extract_from_G2.1.1.mpsr | 2 +- .../extract_from_G3.3.2.mpsr | 2 +- 102 files changed, 175 insertions(+), 206 deletions(-) delete mode 100644 code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/generator/templates/com.mbeddr.formal.safety.argument.visualisation.generator.templates@generator.mps create mode 100644 code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/.model create mode 100644 code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_010_legs_without_evidence.mpsr rename code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/{_010_features._080_assurance_cases_linked_to_jira.mps => _010_features._080_assurance_cases_linked_to_jira/_100_Known_Issues.mpsr} (88%) create mode 100644 code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/access_config.mpsr diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl index 0d9d48e2..085d5f21 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/com.mbeddr.formal.safety.argument.visualisation.mpl @@ -11,49 +11,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - e8a04d94-4307-4f88-95a2-25f7c4f39437(com.mbeddr.formal.safety.gsn) diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/generator/templates/com.mbeddr.formal.safety.argument.visualisation.generator.templates@generator.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/generator/templates/com.mbeddr.formal.safety.argument.visualisation.generator.templates@generator.mps deleted file mode 100644 index f641b8f2..00000000 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.argument.visualisation/generator/templates/com.mbeddr.formal.safety.argument.visualisation.generator.templates@generator.mps +++ /dev/null @@ -1,24 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd index 887a87cb..a20d45a0 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/com.mbeddr.formal.safety.tutorial.msd @@ -21,7 +21,6 @@ 56f134c7-a829-428d-9119-715369c69768(org.mpsqa.treemap.lib) fde86f49-830f-414f-9c22-2a9e300eaba6(com.mpsbasics.jira) ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core) - e6e482a5-282a-4c6d-862a-311affd0586b(com.mbeddr.formal.safety.argument.jira_integration) @@ -104,7 +103,6 @@ - @@ -121,8 +119,6 @@ - - diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_010_airbag_architecture.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_010_airbag_architecture.mpsr index 6bb1070d..225eaceb 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_010_airbag_architecture.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_010_airbag_architecture.mpsr @@ -29,7 +29,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_040_airbag_module_sm_implementation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_040_airbag_module_sm_implementation.mpsr index 8e3b2e48..7a5d41e9 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_040_airbag_module_sm_implementation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/_040_airbag_module_sm_implementation.mpsr @@ -153,7 +153,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis/_010_airbag_controller_functional_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis/_010_airbag_controller_functional_control_structure.mpsr index ba9022c2..0126ce48 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis/_010_airbag_controller_functional_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._020_hazards_and_risk_analysis/_010_airbag_controller_functional_control_structure.mpsr @@ -44,7 +44,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_010_architecture.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_010_architecture.mpsr index 14372adc..ccffcf9b 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_010_architecture.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_010_architecture.mpsr @@ -45,7 +45,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_100_fault_tree.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_100_fault_tree.mpsr index b8e62e11..e34f4086 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_100_fault_tree.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_100_fault_tree.mpsr @@ -43,7 +43,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_200_arch.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_200_arch.mpsr index 80d6e4f0..5dc40079 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_200_arch.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_200_arch.mpsr @@ -37,7 +37,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr index 22d343ad..238a87bf 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/_220_IFMEAs.mpsr @@ -72,7 +72,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/generated normalized FT for 'System'.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/generated normalized FT for 'System'.mpsr index b32ab3c3..ea6e0adc 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/generated normalized FT for 'System'.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._040_safety_models/generated normalized FT for 'System'.mpsr @@ -31,7 +31,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_000_confidence_for_ACP_01.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_000_confidence_for_ACP_01.mpsr index b4619c17..5e088178 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_000_confidence_for_ACP_01.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_000_confidence_for_ACP_01.mpsr @@ -34,7 +34,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr index 494a670a..fd7eb505 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_010_plain_text_gsn.mpsr @@ -25,7 +25,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr index f86fd560..a26b4e3b 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_011_plain_text_cae.mpsr @@ -34,7 +34,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr index b1f8824f..8e69e60b 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_020_patterns_instantiated_from_library.mpsr @@ -40,7 +40,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr index e7bd8e86..d21f0e8a 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_030_confidence_dempster_schafer_evidence_annotated_with_confidence.mpsr @@ -34,7 +34,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_031_confidence_dempster_schafer_confidence_as_specification.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_031_confidence_dempster_schafer_confidence_as_specification.mpsr index c1bc1400..f63e8b51 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_031_confidence_dempster_schafer_confidence_as_specification.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_031_confidence_dempster_schafer_confidence_as_specification.mpsr @@ -31,7 +31,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_040_confidence_assurance_claim_points.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_040_confidence_assurance_claim_points.mpsr index 21470cfe..04ee68ad 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_040_confidence_assurance_claim_points.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_040_confidence_assurance_claim_points.mpsr @@ -30,7 +30,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr index a6b87174..257cff8b 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_050_linking_solutions_to_external_documents.mpsr @@ -41,7 +41,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_051_cae_linking_evidence_to_external_ressources.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_051_cae_linking_evidence_to_external_ressources.mpsr index 17bab7bf..b574c0ca 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_051_cae_linking_evidence_to_external_ressources.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_051_cae_linking_evidence_to_external_ressources.mpsr @@ -54,7 +54,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr index 2b77e467..09418ab6 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_060_linking_solutions_to_external_tools.mpsr @@ -38,7 +38,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_100_compliance_argument_to_iso26262.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_100_compliance_argument_to_iso26262.mpsr index 940d8549..94d971f3 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_100_compliance_argument_to_iso26262.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases/_100_compliance_argument_to_iso26262.mpsr @@ -36,7 +36,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr index 4ac363cb..fcb53df3 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._051_structured_assurance_cases_doc/_015_cross_referencing_goal_structure.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/HARA Reusable Entities.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/HARA Reusable Entities.mpsr index 8b0be3f1..d7e52b39 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/HARA Reusable Entities.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/HARA Reusable Entities.mpsr @@ -36,7 +36,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/Safety Requirements Are Well Defined.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/Safety Requirements Are Well Defined.mpsr index a1266468..31d17fa1 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/Safety Requirements Are Well Defined.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/Safety Requirements Are Well Defined.mpsr @@ -38,7 +38,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/_010_pattern_instantiation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/_010_pattern_instantiation.mpsr index 1e4f1a42..1d4cbc68 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/_010_pattern_instantiation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_cae/_010_pattern_instantiation.mpsr @@ -47,7 +47,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Component Is Correctly Implemented.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Component Is Correctly Implemented.mpsr index e944e7df..740881ba 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Component Is Correctly Implemented.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Component Is Correctly Implemented.mpsr @@ -32,7 +32,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr index 8078410b..ba736037 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/Process Level Reusable Entities.mpsr @@ -35,7 +35,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr index ee5fb751..dd321284 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_010_pattern_instantiation.mpsr @@ -31,7 +31,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_020_library_entities_reuse.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_020_library_entities_reuse.mpsr index 1b91bbf6..7d00f34c 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_020_library_entities_reuse.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._060_assurance_case_fragments_reuse_gsn/_020_library_entities_reuse.mpsr @@ -31,7 +31,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models/_100_top_level.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models/_100_top_level.mpsr index 5218d513..32369644 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models/_100_top_level.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._070_assurance_cases_linked_to_artifacts_models/_100_top_level.mpsr @@ -35,7 +35,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/.model b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/.model new file mode 100644 index 00000000..957346c7 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/.model @@ -0,0 +1,13 @@ + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_010_legs_without_evidence.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_010_legs_without_evidence.mpsr new file mode 100644 index 00000000..5dc341be --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_010_legs_without_evidence.mpsr @@ -0,0 +1,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_100_Known_Issues.mpsr similarity index 88% rename from code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira.mps rename to code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_100_Known_Issues.mpsr index 75e8e1e3..1c484b10 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/_100_Known_Issues.mpsr @@ -1,28 +1,8 @@ - + - - - - - - - - + - - - - - - - - - - - - - @@ -37,9 +17,6 @@ - - - @@ -58,7 +35,7 @@ - + @@ -359,6 +336,10 @@ + + + + @@ -378,20 +359,7 @@ - - - - - - - - - - - - - - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/access_config.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/access_config.mpsr new file mode 100644 index 00000000..28946422 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._080_assurance_cases_linked_to_jira/access_config.mpsr @@ -0,0 +1,22 @@ + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_040_airbag_cbd.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_040_airbag_cbd.mpsr index 48faf44c..f668972d 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_040_airbag_cbd.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_040_airbag_cbd.mpsr @@ -87,7 +87,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr index c1ec3a38..77b321a5 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_100_toplevel_safety_arg_pattern.mpsr @@ -48,7 +48,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_110_contract_based_design_arg_pattern.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_110_contract_based_design_arg_pattern.mpsr index 7c21d932..f3b55dd4 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_110_contract_based_design_arg_pattern.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._100_checkable_assurance_demo/_110_contract_based_design_arg_pattern.mpsr @@ -43,7 +43,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_002_state_model.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_002_state_model.mpsr index 3af967f8..768b84ba 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_002_state_model.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_002_state_model.mpsr @@ -135,7 +135,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_025_charging_cable_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_025_charging_cable_control_structure.mpsr index d1151dbe..28511dd1 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_025_charging_cable_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_025_charging_cable_control_structure.mpsr @@ -42,7 +42,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_050_system_arch.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_050_system_arch.mpsr index 046fb992..5f8775d9 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_050_system_arch.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_050_system_arch.mpsr @@ -80,7 +80,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_100_top_level_safety_argumentation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_100_top_level_safety_argumentation.mpsr index 86891408..8d8c9546 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_100_top_level_safety_argumentation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._010_charging_cable._010_safe_charging_cable/_100_top_level_safety_argumentation.mpsr @@ -58,7 +58,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_103_safety_assurance_lane_keeping_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_103_safety_assurance_lane_keeping_control_structure.mpsr index a9e77fe4..4f2ce4ff 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_103_safety_assurance_lane_keeping_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_103_safety_assurance_lane_keeping_control_structure.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_205_LKA_functional_architecture.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_205_LKA_functional_architecture.mpsr index faefe5c3..bbbb73c2 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_205_LKA_functional_architecture.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_205_LKA_functional_architecture.mpsr @@ -97,7 +97,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_401_safety_goals_camera_and_image_processing.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_401_safety_goals_camera_and_image_processing.mpsr index 8a0996e6..67f6e410 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_401_safety_goals_camera_and_image_processing.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_401_safety_goals_camera_and_image_processing.mpsr @@ -30,7 +30,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_402_safety_goals_LKA_controller.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_402_safety_goals_LKA_controller.mpsr index 349874d9..6f4c3d8b 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_402_safety_goals_LKA_controller.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_402_safety_goals_LKA_controller.mpsr @@ -30,7 +30,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_lane_keeping_L05_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_lane_keeping_L05_control_structure.mpsr index 313d2101..803f46d9 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_lane_keeping_L05_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._010_safe_lane_keeping/_lane_keeping_L05_control_structure.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_103_acc_stpa_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_103_acc_stpa_control_structure.mpsr index d2ca7a42..9dc35b12 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_103_acc_stpa_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_103_acc_stpa_control_structure.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_201_acc_functional_architecture.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_201_acc_functional_architecture.mpsr index 95dd7412..fb82ea55 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_201_acc_functional_architecture.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_201_acc_functional_architecture.mpsr @@ -101,7 +101,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_400_acc_safety_case.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_400_acc_safety_case.mpsr index 4bf98631..5c388f5a 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_400_acc_safety_case.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_400_acc_safety_case.mpsr @@ -38,7 +38,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_410_acc_redundancy_argumentation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_410_acc_redundancy_argumentation.mpsr index b133160b..8307f086 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_410_acc_redundancy_argumentation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._020_safe_acc/_410_acc_redundancy_argumentation.mpsr @@ -30,7 +30,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_103_eb_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_103_eb_control_structure.mpsr index cbf83144..8aa421e6 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_103_eb_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_103_eb_control_structure.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_205_eb_functional_architecture.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_205_eb_functional_architecture.mpsr index d5650d34..7317e8bb 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_205_eb_functional_architecture.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_205_eb_functional_architecture.mpsr @@ -96,7 +96,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_402_eb_safety_case.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_402_eb_safety_case.mpsr index 3943ed89..254a78eb 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_402_eb_safety_case.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._020_adas_students_lab._030_safe_emergency_break/_402_eb_safety_case.mpsr @@ -44,7 +44,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_022_ihs_system_architecture.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_022_ihs_system_architecture.mpsr index 7152eed5..e2a47d85 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_022_ihs_system_architecture.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_022_ihs_system_architecture.mpsr @@ -60,7 +60,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_023_ihs_sensors.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_023_ihs_sensors.mpsr index 29b61cfd..39235c05 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_023_ihs_sensors.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_023_ihs_sensors.mpsr @@ -51,7 +51,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_024_ihs_mission_channel.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_024_ihs_mission_channel.mpsr index 203d73c3..671967d6 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_024_ihs_mission_channel.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_024_ihs_mission_channel.mpsr @@ -67,7 +67,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_025_ihs_component.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_025_ihs_component.mpsr index 179db214..123f6441 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_025_ihs_component.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_025_ihs_component.mpsr @@ -54,7 +54,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_670_ihs_high_level_safety_argumentation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_670_ihs_high_level_safety_argumentation.mpsr index 7ca6b128..387a0d7c 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_670_ihs_high_level_safety_argumentation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_670_ihs_high_level_safety_argumentation.mpsr @@ -38,7 +38,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_671_ihs_risk_based_argumentation.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_671_ihs_risk_based_argumentation.mpsr index ef778e20..363f80b1 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_671_ihs_risk_based_argumentation.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._010_intersection_handling.ihs/_671_ihs_risk_based_argumentation.mpsr @@ -52,7 +52,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._000_hara/_100_control_structure.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._000_hara/_100_control_structure.mpsr index 6eaaee33..95b49cbe 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._000_hara/_100_control_structure.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._000_hara/_100_control_structure.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_010_cem_activator.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_010_cem_activator.mpsr index 0e3bfdf4..3339f465 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_010_cem_activator.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_010_cem_activator.mpsr @@ -130,7 +130,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_planner.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_planner.mpsr index 1a92cbc8..e23202c1 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_planner.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_planner.mpsr @@ -95,7 +95,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_trajectory_computer.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_trajectory_computer.mpsr index 8a3a99be..b44af6cf 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_trajectory_computer.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_020_cem_trajectory_computer.mpsr @@ -47,7 +47,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_030_ads_planing.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_030_ads_planing.mpsr index 48c63453..e9a8e1d9 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_030_ads_planing.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_030_ads_planing.mpsr @@ -55,7 +55,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_100_misison_channel.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_100_misison_channel.mpsr index d59c4064..4e9a153a 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_100_misison_channel.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_100_misison_channel.mpsr @@ -33,7 +33,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_200_ads_top_level.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_200_ads_top_level.mpsr index 64d964a7..5b8c51ba 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_200_ads_top_level.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._050_architecture/_200_ads_top_level.mpsr @@ -68,7 +68,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_010_CEM_TOP.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_010_CEM_TOP.mpsr index 051832bf..74999e30 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_010_CEM_TOP.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_010_CEM_TOP.mpsr @@ -25,7 +25,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_01_TOP.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_01_TOP.mpsr index 339a632d..08778461 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_01_TOP.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_01_TOP.mpsr @@ -41,7 +41,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_02_COLLISION.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_02_COLLISION.mpsr index 90063cd5..1f05acf0 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_02_COLLISION.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_02_COLLISION.mpsr @@ -38,7 +38,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_03_COLLISION_NEIGH_LANE.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_03_COLLISION_NEIGH_LANE.mpsr index 70c3d879..76a73808 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_03_COLLISION_NEIGH_LANE.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_100_examples._030_adas._020_automated_evasion_maneuver._100_safety_case/_020_CEM_LEVEL3_03_COLLISION_NEIGH_LANE.mpsr @@ -35,7 +35,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case/_010_uber_atg_safety_case_original.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case/_010_uber_atg_safety_case_original.mpsr index 229788bd..1f9e27eb 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case/_010_uber_atg_safety_case_original.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case/_010_uber_atg_safety_case_original.mpsr @@ -25,7 +25,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/_010_uber_atg_safety_case_top.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/_010_uber_atg_safety_case_top.mpsr index 668034d1..a620015e 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/_010_uber_atg_safety_case_top.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/_010_uber_atg_safety_case_top.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.1.mpsr index 33ab9ebd..5176cd87 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.2.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.2.mpsr index fad1345e..6f43c28a 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.2.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.2.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.3.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.3.mpsr index 4ea2eb29..767abbfa 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.3.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.1.3.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.mpsr index e85649bf..b04ab25d 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.1.1.mpsr index c486d02e..9dc005cf 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.mpsr index 20efe8d0..c1e7fe59 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.2.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.1.mpsr index cf5ada7d..dbf85a37 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.2.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.2.mpsr index 635ab782..e2cc9a97 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.2.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.2.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.3.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.3.mpsr index 3200b883..a3a7c571 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.3.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.3.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.1.mpsr index 12fca1e7..e0634b09 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.2.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.2.mpsr index 49434311..1026d96f 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.2.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.2.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.3.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.3.mpsr index beb5eb3f..151eed99 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.3.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.3.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.4.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.4.mpsr index 8919001b..b3ff3190 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.4.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.4.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.5.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.5.mpsr index 266b76cc..5a14aa53 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.5.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.5.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.6.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.6.mpsr index 2296afe5..77133570 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.6.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.6.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.7.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.7.mpsr index 9bd99ff6..7341b1f5 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.7.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.7.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.8.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.8.mpsr index e2076ca9..ff6055c4 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.8.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.8.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.9.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.9.mpsr index 0610fa5f..7fb9ab63 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.9.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.4.1.9.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.5.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.5.mpsr index 03cde7f8..60c1d27c 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.5.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.5.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.6.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.6.mpsr index ff9f9df6..64cdfaa0 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.6.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.1.6.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.mpsr index 28bdc04e..64301ab7 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.3.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.1.mpsr index 489d106e..e9327e18 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.mpsr index 7c136f00..6300de15 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.2.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.2.mpsr index d0c89430..6e5b9660 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.2.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.2.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.3.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.3.mpsr index 93001ecb..89f6db18 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.3.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.3.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.mpsr index f9c19280..bbe676b8 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.4.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.5.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.5.mpsr index de210969..c51f2889 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.5.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G1.5.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G2.1.1.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G2.1.1.mpsr index 4643229f..945c2eac 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G2.1.1.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G2.1.1.mpsr @@ -26,7 +26,7 @@ - + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G3.3.2.mpsr b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G3.3.2.mpsr index fe0b2522..e8992d70 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G3.3.2.mpsr +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_500_real_world_examples._010_uber_atg_safety_case_modularized/extract_from_G3.3.2.mpsr @@ -26,7 +26,7 @@ - +