diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps index 6a4cbbfa6..80051fa3f 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.behavior.mps @@ -101,12 +101,16 @@ + + + + @@ -127,6 +131,7 @@ + @@ -196,6 +201,7 @@ + @@ -204,7 +210,57 @@ - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps index 57b6ca187..068af6a9f 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.editor.mps @@ -161,18 +161,23 @@ + + + + + @@ -370,5 +375,118 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps index ea4cf3ce4..fcb1a837c 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.structure.mps @@ -34,6 +34,9 @@ + + + @@ -59,6 +62,7 @@ + @@ -66,13 +70,21 @@ + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps index ed5325901..7756cc3c9 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.importer/models/com.mbeddr.formal.safety.gsn.importer.util.mps @@ -4,6 +4,7 @@ + @@ -15,11 +16,18 @@ + + + + + + + @@ -62,6 +70,10 @@ + + + + @@ -91,6 +103,7 @@ + @@ -126,6 +139,9 @@ + + + @@ -174,8 +190,12 @@ + + + + @@ -255,6 +275,14 @@ + + + + + + + + @@ -277,6 +305,18 @@ + + + + + + + + + + + + @@ -854,37 +894,15 @@ - - - - - - - - - - - - - - - - - - - - - - - + + + + + + - - - - - - - + + @@ -1098,9 +1116,1261 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1227,7 +2497,6 @@ - diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/generator/templates/com.mbeddr.formal.safety.gsn.xml_gen.generator.templates@generator.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/generator/templates/com.mbeddr.formal.safety.gsn.xml_gen.generator.templates@generator.mps index 26fd6ae0a..fadb0f1a8 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/generator/templates/com.mbeddr.formal.safety.gsn.xml_gen.generator.templates@generator.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn.xml_gen/generator/templates/com.mbeddr.formal.safety.gsn.xml_gen.generator.templates@generator.mps @@ -44,6 +44,9 @@ + + + @@ -58,6 +61,11 @@ + + + + + @@ -236,6 +244,12 @@ + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.behavior.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.behavior.mps index 52e32d88d..d9eac5523 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.behavior.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.behavior.mps @@ -1790,5 +1790,41 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps index a31921c85..77fdb5579 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.editor.mps @@ -11771,6 +11771,10 @@ + + + + @@ -12991,5 +12995,28 @@ + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.structure.mps b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.structure.mps index f0ea8f703..78e05f408 100644 --- a/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.structure.mps +++ b/code/languages/com.mbeddr.formal.safety/languages/com.mbeddr.formal.safety.gsn/models/com.mbeddr.formal.safety.gsn.structure.mps @@ -461,5 +461,21 @@ + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps index 2d897ac53..d2082df91 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/models/test.mbeddr.formal.gsn._110_gsn_import_tests@tests.mps @@ -11,6 +11,8 @@ + + @@ -21,6 +23,8 @@ + + @@ -35,6 +39,10 @@ + + + + @@ -45,12 +53,16 @@ + + + + @@ -69,9 +81,11 @@ + + @@ -81,6 +95,22 @@ + + + + + + + + + + + + + + + + @@ -88,14 +118,49 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -117,6 +182,7 @@ + @@ -226,11 +292,1058 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd index 6fd5e512e..7cc2f8778 100644 --- a/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd +++ b/code/languages/com.mbeddr.formal.safety/tests/test.mbeddr.formal.gsn/test.mbeddr.formal.gsn.msd @@ -77,6 +77,7 @@ + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/xml_format/_010_plain_text_gsn.xml b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/xml_format/_010_plain_text_gsn.xml new file mode 100644 index 000000000..43f97c789 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/xml_format/_010_plain_text_gsn.xml @@ -0,0 +1,112 @@ + + + G01 + 8954016816614991919 + The system is +sufficiently safe to operate + + + + S01 + 8954016816614991952 + Argument over hazards. + + + + G02 + 8954016816614992000 + Hazard H01 has +been mitigated + + true + + + G03 + 3804072175782963270 + Hazard H02 has +been mitigated + + + color + color ccccff (rgb) + + + + + C01 + 2623107343594064426 + Environment +description. + + + color + color ccffff (rgb) + + + + + J01 + 2623107343594065251 + Widely used top +level strategy + + + color + color ccffcc (rgb) + + + + + Sol01 + 2623107343594066031 + Testing results. + + + + AS01 + 2623107343594066592 + Operators have +adequate training. + + + color + color ccccff (rgb) + + + + + 8954016816614991919 + 8954016816614991952 + + + + 8954016816614991952 + 8954016816614992000 + + + + 8954016816614991952 + 3804072175782963270 + + + + 8954016816614991919 + 2623107343594064426 + + + + 8954016816614991952 + 2623107343594065251 + + + + 3804072175782963270 + 2623107343594066031 + + + + 8954016816614991919 + 2623107343594066592 + + + \ No newline at end of file diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/xml_format/_100_compliance_argument_to_iso26262.xml b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/xml_format/_100_compliance_argument_to_iso26262.xml new file mode 100644 index 000000000..6870c5e57 --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/external_documents/files_to_import/xml_format/_100_compliance_argument_to_iso26262.xml @@ -0,0 +1,151 @@ + + + + ISO26262_Compliance + 1639692281460263206 + Safety process complies +to ISO26262. + + + + Concept_Level_Compl + 1639692281460263273 + Development of { Product } +in concept phase complies +to ISO 26262. + + + standard ref + standard: ISO26262-3 + + + color + color ccccff (rgb) + + + + + System_Level_Compl + 1639692281460263410 + { Product } development at +system level complies to +ISO26262. + + + standard ref + standard: ISO26262-4 + + + color + color ccccff (rgb) + + + + + G_Software_Level + 1639692281460263601 + { Product } development at +software level complies to +ISO26262. + + + color + color ccccff (rgb) + + + + + G_Hardware_Level + 1639692281460263766 + { Product } development at +hardware level complies to +ISO26262. + + + color + color ccccff (rgb) + + + + + G_FSC + 1639692281460264369 + Functional safety concept is +performed according to +requirements of ISO26262. + + + + G_Item_Definition + 1639692281460264477 + Item definition is performed +according to requirements of +ISO26262. + + + standard ref + standard: ISO26262-3, clause: 5.4.1 + + + standard ref + standard: ISO26262-3, clause: 5.4.2 + + + + + G_HARA + 1639692281460264737 + Hazard and risk analysis is +performed according to +requirements of ISO26262. + + + standard ref + standard: ISO26262-3, clause: 6.4.1 + + + standard ref + standard: ISO26262-3, clause: 6.4.2 + + + standard ref + standard: ISO26262-3, clause: 6.4.3 + + + + + 1639692281460263206 + 1639692281460263273 + + + + 1639692281460263206 + 1639692281460263410 + + + + 1639692281460263206 + 1639692281460263766 + + + + 1639692281460263206 + 1639692281460263601 + + + + 1639692281460263273 + 1639692281460264477 + + + + 1639692281460263273 + 1639692281460264369 + + + + 1639692281460263273 + 1639692281460264737 + + + \ No newline at end of file diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps index dd18ce326..d1147f95a 100644 --- a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._050_structured_assurance_cases.mps @@ -55,6 +55,9 @@ + + + @@ -4053,5 +4056,6 @@ + diff --git a/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._052_structured_assurance_import_xml.mps b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._052_structured_assurance_import_xml.mps new file mode 100644 index 000000000..cffc173ff --- /dev/null +++ b/code/tutorial-safety/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._052_structured_assurance_import_xml.mps @@ -0,0 +1,39 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +