Skip to content

Commit

Permalink
safety.tutorial: converted all models to file-per-root format to refl…
Browse files Browse the repository at this point in the history 
…ect the default settings of the FASTEN RCP
  • Loading branch information
@danielratiu
danielratiu committed Jan 3, 2024
1 parent 8d2fbfc commit ec71c9d
Show file tree
Hide file tree
Showing 313 changed files with 196,482 additions and 183,921 deletions.
1,605 changes: 0 additions & 1,605 deletions ...ty/solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements.mps
View file

This file was deleted.

11 changes: 11 additions & 0 deletions ...solutions/com.mbeddr.formal.safety.tutorial/models/_010_features._010_requirements/.model
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:03da4936-751b-48d2-80dc-ab1f2a2cdd5b(_010_features._010_requirements)" content="header">
<persistence version="9" />
<languages>
<devkit ref="edb51d2d-64eb-404a-818e-c1cabf1d58d5(fasten.nusmv)" />
<devkit ref="b0ef168f-6f92-4bd0-82f3-cf0521463683(fasten.requirements)" />
<devkit ref="34367ce7-2993-4c7e-896e-c299a2abf50d(fasten.requirements.formal)" />
</languages>
<imports />
</model>

89 changes: 89 additions & 0 deletions ...ty.tutorial/models/_010_features._010_requirements/_000_car_safety_features_ontology.mpsr
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,89 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:03da4936-751b-48d2-80dc-ab1f2a2cdd5b(_010_features._010_requirements)" content="root">
<persistence version="9" />
<imports />
<registry>
<language id="92d2ea16-5a42-4fdf-a676-c7604efe3504" name="de.slisson.mps.richtext">
<concept id="2557074442922380897" name="de.slisson.mps.richtext.structure.Text" flags="ng" index="19SGf9">
<child id="2557074442922392302" name="words" index="19SJt6" />
</concept>
<concept id="2557074442922438156" name="de.slisson.mps.richtext.structure.Word" flags="ng" index="19SUe$">
<property id="2557074442922438158" name="escapedValue" index="19SUeA" />
</concept>
</language>
<language id="65ed2ac6-4499-4751-951e-3819684a4b8d" name="com.fasten.req.ontology">
<concept id="4312077340877652056" name="com.fasten.req.ontology.structure.OntologyConcept" flags="ng" index="3SOpcA">
<reference id="4312077340877652059" name="superConcept" index="3SOpc_" />
</concept>
<concept id="4312077340877652053" name="com.fasten.req.ontology.structure.Ontology" flags="ng" index="3SOpcF">
<child id="5803911524651728223" name="description" index="2I8HYo" />
<child id="4312077340877652119" name="concepts" index="3SOpfD" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="3SOpcF" id="7Jm8RM1yomw">
<property role="TrG5h" value="_000_car_safety_features_ontology" />
<node concept="19SGf9" id="7Jm8RM1yvWz" role="2I8HYo">
<node concept="19SUe$" id="7Jm8RM1yvW$" role="19SJt6">
<property role="19SUeA" value="passive safety ontology" />
</node>
</node>
<node concept="3SOpcA" id="7Jm8RM1yvWB" role="3SOpfD">
<property role="TrG5h" value="car safety feature" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvWT" role="3SOpfD">
<property role="TrG5h" value="passive safety" />
<ref role="3SOpc_" node="7Jm8RM1yvWB" resolve="car safety feature" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvX5" role="3SOpfD">
<property role="TrG5h" value="airbag system" />
<ref role="3SOpc_" node="7Jm8RM1yvWT" resolve="passive safety" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvZv" role="3SOpfD">
<property role="TrG5h" value="rear passenger airbag" />
<ref role="3SOpc_" node="7Jm8RM1yvX5" resolve="airbag system" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvZh" role="3SOpfD">
<property role="TrG5h" value="front passenger airbag" />
<ref role="3SOpc_" node="7Jm8RM1yvX5" resolve="airbag system" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvZ4" role="3SOpfD">
<property role="TrG5h" value="front driver airbag" />
<ref role="3SOpc_" node="7Jm8RM1yvX5" resolve="airbag system" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvXj" role="3SOpfD">
<property role="TrG5h" value="anti lock brakes" />
<ref role="3SOpc_" node="7Jm8RM1yvWT" resolve="passive safety" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvXz" role="3SOpfD">
<property role="TrG5h" value="electronic stability control" />
<ref role="3SOpc_" node="7Jm8RM1yvWT" resolve="passive safety" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvXP" role="3SOpfD">
<property role="TrG5h" value="adaptive headlights" />
<ref role="3SOpc_" node="7Jm8RM1yvWT" resolve="passive safety" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvY9" role="3SOpfD">
<property role="TrG5h" value="traction control" />
<ref role="3SOpc_" node="7Jm8RM1yvWT" resolve="passive safety" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvWG" role="3SOpfD">
<property role="TrG5h" value="active safety" />
<ref role="3SOpc_" node="7Jm8RM1yvWB" resolve="car safety feature" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvYv" role="3SOpfD">
<property role="TrG5h" value="emergency braking" />
<ref role="3SOpc_" node="7Jm8RM1yvWG" resolve="active safety" />
</node>
<node concept="3SOpcA" id="7Jm8RM1yvYR" role="3SOpfD">
<property role="TrG5h" value="collision avoidance maneuver" />
<ref role="3SOpc_" node="7Jm8RM1yvWG" resolve="active safety" />
</node>
</node>
</model>

137 changes: 137 additions & 0 deletions ...rmal.safety.tutorial/models/_010_features._010_requirements/_010_airbag_architecture.mpsr
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,137 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:03da4936-751b-48d2-80dc-ab1f2a2cdd5b(_010_features._010_requirements)" content="root">
<persistence version="9" />
<imports />
<registry>
<language id="58bd9c99-ba42-4205-b3c9-ce445fd870e6" name="com.mbeddr.formal.nusmv.cbd">
<concept id="4183024216371329180" name="com.mbeddr.formal.nusmv.cbd.structure.ComponentAssemblySMV" flags="ng" index="2dDAV0" />
<concept id="4183024216371329174" name="com.mbeddr.formal.nusmv.cbd.structure.ComponentInterfaceSMV" flags="ng" index="2dDAVa" />
</language>
<language id="001b2375-3bd5-4d5e-9958-6b3f62dc8548" name="com.mbeddr.formal.nusmv">
<concept id="7842584090743387413" name="com.mbeddr.formal.nusmv.structure.BooleanType" flags="ng" index="2Hds6S" />
<concept id="7842584090743385045" name="com.mbeddr.formal.nusmv.structure.System" flags="ng" index="2HdtXS">
<child id="7842584090743643493" name="content" index="2HcuB8" />
</concept>
<concept id="6447909589225766051" name="com.mbeddr.formal.nusmv.structure.EmptySystemContent" flags="ng" index="2SQmWS" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<property id="1193676396447" name="virtualPackage" index="3GE5qa" />
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
</concept>
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
<language id="8ca79d43-eb45-4791-bdd4-0d6130ff895b" name="de.itemis.mps.editor.diagram.layout">
<concept id="6720495385597071406" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Box" flags="ng" index="gqqVs">
<property id="6720495385597071504" name="bounds_height" index="gqqTy" />
<property id="6720495385597071502" name="bounds_y" index="gqqTW" />
<property id="6720495385597071503" name="bounds_width" index="gqqTX" />
<property id="6720495385597071501" name="bounds_x" index="gqqTZ" />
<property id="4583510071007917016" name="transform" index="TgtnS" />
<child id="738815095926774816" name="portLayouts" index="1pap1a" />
</concept>
<concept id="8963411245960991886" name="de.itemis.mps.editor.diagram.layout.structure.LayoutMap" flags="ng" index="37mRI7">
<child id="8963411245960991904" name="entries" index="37mRID" />
</concept>
<concept id="8963411245960991903" name="de.itemis.mps.editor.diagram.layout.structure.LayoutMapEntry" flags="ng" index="37mRIm">
<property id="8963411245960998400" name="key" index="37mO49" />
<child id="8963411245960998404" name="value" index="37mO4d" />
</concept>
<concept id="738815095926749345" name="de.itemis.mps.editor.diagram.layout.structure.Layout_Port" flags="ng" index="1pa3jb">
<property id="7964702570467115501" name="ordinal" index="2gRgW$" />
<property id="738815095926749379" name="portName" index="1pa3iD" />
</concept>
</language>
<language id="71797868-de95-425c-8470-36aa52c8ebc4" name="com.mbeddr.formal.base.arch">
<concept id="9066112305507423290" name="com.mbeddr.formal.base.arch.structure.ComponentAssembly" flags="ng" index="3Ug1$x">
<child id="5906421183240323769" name="interfaceRef" index="2p5x1W" />
</concept>
<concept id="9066112305507423396" name="com.mbeddr.formal.base.arch.structure.ComponentInterfaceRef" flags="ng" index="3Ug1AZ">
<reference id="9066112305507423397" name="interface" index="3Ug1AY" />
</concept>
<concept id="9066112305507315482" name="com.mbeddr.formal.base.arch.structure.InputPort" flags="ng" index="3UnI81" />
<concept id="9066112305507315474" name="com.mbeddr.formal.base.arch.structure.ComponentInterface" flags="ng" index="3UnI89">
<child id="9066112305507315547" name="outputs" index="3UnI90" />
<child id="9066112305507315533" name="inputs" index="3UnI9m" />
</concept>
<concept id="9066112305507315478" name="com.mbeddr.formal.base.arch.structure.Port" flags="ng" index="3UnI8d">
<child id="9066112305507315483" name="type" index="3UnI80" />
</concept>
<concept id="9066112305507315532" name="com.mbeddr.formal.base.arch.structure.OutputPort" flags="ng" index="3UnI9n" />
</language>
</registry>
<node concept="2HdtXS" id="5FhZjqTO18S">
<property role="TrG5h" value="_010_airbag_architecture" />
<property role="3GE5qa" value="system_def" />
<node concept="2SQmWS" id="4g_LT4l9Mzi" role="2HcuB8" />
<node concept="2dDAVa" id="4g_LT4l9MzZ" role="2HcuB8">
<property role="TrG5h" value="AirbagInterface" />
<node concept="3UnI9n" id="4g_LT4l9M_h" role="3UnI90">
<property role="TrG5h" value="explode_command" />
<node concept="2Hds6S" id="4g_LT4l9M_A" role="3UnI80" />
</node>
<node concept="3UnI81" id="4g_LT4l9M$p" role="3UnI9m">
<property role="TrG5h" value="collision_detected" />
<node concept="2Hds6S" id="4g_LT4l9M$O" role="3UnI80" />
</node>
<node concept="3UnI81" id="4g_LT4l9M$U" role="3UnI9m">
<property role="TrG5h" value="deactivate_airbag" />
<node concept="2Hds6S" id="4g_LT4l9M_b" role="3UnI80" />
</node>
</node>
<node concept="2SQmWS" id="4g_LT4l9M_G" role="2HcuB8" />
<node concept="2dDAV0" id="4g_LT4l9MA1" role="2HcuB8">
<property role="TrG5h" value="AirbagSystem" />
<node concept="3Ug1AZ" id="4g_LT4l9MAh" role="2p5x1W">
<ref role="3Ug1AY" node="4g_LT4l9MzZ" resolve="AirbagInterface" />
</node>
<node concept="37mRI7" id="4g_LT4l9MAl" role="lGtFl">
<node concept="37mRIm" id="4g_LT4l9MAm" role="37mRID">
<property role="37mO49" value="box_4910550394656467225" />
<node concept="gqqVs" id="4g_LT4l9MAk" role="37mO4d">
<property role="gqqTZ" value="12.0" />
<property role="gqqTW" value="115.8125" />
<property role="gqqTX" value="157.0" />
<property role="gqqTy" value="31.90625" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
<node concept="1pa3jb" id="4g_LT4l9MAn" role="1pap1a">
<property role="1pa3iD" value="" />
<property role="2gRgW$" value="2147483646" />
</node>
</node>
</node>
<node concept="37mRIm" id="4g_LT4l9MAp" role="37mRID">
<property role="37mO49" value="box_4910550394656467258" />
<node concept="gqqVs" id="4g_LT4l9MAo" role="37mO4d">
<property role="gqqTZ" value="12.0" />
<property role="gqqTW" value="63.90625" />
<property role="gqqTX" value="149.0" />
<property role="gqqTy" value="31.90625" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
<node concept="1pa3jb" id="4g_LT4l9MAq" role="1pap1a">
<property role="1pa3iD" value="" />
<property role="2gRgW$" value="2147483646" />
</node>
</node>
</node>
<node concept="37mRIm" id="4g_LT4l9MAs" role="37mRID">
<property role="37mO49" value="box_4910550394656467281" />
<node concept="gqqVs" id="4g_LT4l9MAr" role="37mO4d">
<property role="gqqTZ" value="24.0" />
<property role="gqqTW" value="12.0" />
<property role="gqqTX" value="69.0" />
<property role="gqqTy" value="31.90625" />
<property role="TgtnS" value="1.0;0.0;0.0;1.0;0.0;0.0" />
<node concept="1pa3jb" id="4g_LT4l9MAt" role="1pap1a">
<property role="1pa3iD" value="" />
<property role="2gRgW$" value="1073741823" />
</node>
</node>
</node>
</node>
</node>
</node>
</model>

113 changes: 113 additions & 0 deletions ...safety.tutorial/models/_010_features._010_requirements/_010_simple_text_requirements.mpsr
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,113 @@
<?xml version="1.0" encoding="UTF-8"?>
<model ref="r:03da4936-751b-48d2-80dc-ab1f2a2cdd5b(_010_features._010_requirements)" content="root">
<persistence version="9" />
<imports />
<registry>
<language id="92d2ea16-5a42-4fdf-a676-c7604efe3504" name="de.slisson.mps.richtext">
<concept id="2557074442922380897" name="de.slisson.mps.richtext.structure.Text" flags="ng" index="19SGf9">
<child id="2557074442922392302" name="words" index="19SJt6" />
</concept>
<concept id="2557074442922438156" name="de.slisson.mps.richtext.structure.Word" flags="ng" index="19SUe$">
<property id="2557074442922438158" name="escapedValue" index="19SUeA" />
</concept>
</language>
<language id="0deccdfd-196b-4d8c-895e-0d6cb8014dfd" name="com.mbeddr.formal.req.base">
<concept id="3226630706269671901" name="com.mbeddr.formal.req.base.structure.Requirement" flags="ng" index="0lhDl" />
<concept id="3226630706270140298" name="com.mbeddr.formal.req.base.structure.TextParagraph" flags="ng" index="0nzK2">
<child id="3226630706270140651" name="text" index="0nzdz" />
</concept>
<concept id="7094415537350220692" name="com.mbeddr.formal.req.base.structure.ReqRefWord" flags="ng" index="2aGvr3">
<reference id="7094415537350220726" name="req" index="2aGvrx" />
</concept>
<concept id="6544290145033221524" name="com.mbeddr.formal.req.base.structure.Interface" flags="ng" index="3z6Cyy" />
<concept id="815900398743272760" name="com.mbeddr.formal.req.base.structure.Image" flags="ng" index="3OoTgI">
<property id="815900398743502458" name="scale" index="3OpxtG" />
<child id="815900398743284144" name="imageFile" index="3OoW2A" />
</concept>
<concept id="4908298719893728784" name="com.mbeddr.formal.req.base.structure.TextualReqSpec" flags="ng" index="1QQeAY">
<child id="4908298719893728789" name="spec" index="1QQeAV" />
</concept>
<concept id="4908298719893728634" name="com.mbeddr.formal.req.base.structure.Functional" flags="ng" index="1QQeFk" />
<concept id="4908298719893728422" name="com.mbeddr.formal.req.base.structure.AbstractRequirement" flags="ng" index="1QQeG8">
<property id="3226630706270020326" name="createdBy" index="0ke_I" />
<property id="3226630706269685486" name="id" index="0lsPA" />
<child id="3226630706270047943" name="kind" index="0nOlf" />
<child id="4908298719893728774" name="specs" index="1QQeAC" />
<child id="4908298719893728423" name="title" index="1QQeG9" />
</concept>
<concept id="4908298719893728417" name="com.mbeddr.formal.req.base.structure.RequirementDocument" flags="ng" index="1QQeGf">
<child id="4908298719893728837" name="requirements" index="1QQeBF" />
</concept>
</language>
<language id="d3a0fd26-445a-466c-900e-10444ddfed52" name="com.mbeddr.mpsutil.filepicker">
<concept id="6156524541422549000" name="com.mbeddr.mpsutil.filepicker.structure.AbstractPicker" flags="ng" index="3N1QpV">
<property id="6156524541422553710" name="path" index="3N1Lgt" />
</concept>
<concept id="6156524541423588207" name="com.mbeddr.mpsutil.filepicker.structure.SolutionRelativeFilePicker" flags="ng" index="3NXOOs" />
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
</language>
</registry>
<node concept="1QQeGf" id="5FhZjqTMMrD">
<property role="TrG5h" value="_010_simple_text_requirements" />
<node concept="0lhDl" id="5FhZjqTMMrE" role="1QQeBF">
<property role="0lsPA" value="010.01" />
<property role="0ke_I" value="john" />
<node concept="1QQeFk" id="5FhZjqTMQMN" role="0nOlf" />
<node concept="19SGf9" id="5FhZjqTMMrG" role="1QQeG9">
<node concept="19SUe$" id="5FhZjqTMMrH" role="19SJt6">
<property role="19SUeA" value="Airbag functionality overview (Textual Specification)" />
</node>
</node>
<node concept="1QQeAY" id="5FhZjqTMRVs" role="1QQeAC">
<node concept="0nzK2" id="5FhZjqTMRVt" role="1QQeAV">
<node concept="19SGf9" id="5FhZjqTMRVu" role="0nzdz">
<node concept="19SUe$" id="5FhZjqTMRVv" role="19SJt6">
<property role="19SUeA" value="An airbag shall protect the passengers of a car in case of impact.&#10;The figure below illustrates intuitively the deployment of airbags.&#10;Requirement " />
</node>
<node concept="2aGvr3" id="5UKHWoLYYL5" role="19SJt6">
<ref role="2aGvrx" node="5FhZjqTMRVO" />
</node>
<node concept="19SUe$" id="5UKHWoLYYL6" role="19SJt6">
<property role="19SUeA" value=" contains the specification of the interface&#10;between the car sensors and the airbag system.&#10;&#10;" />
</node>
<node concept="3OoTgI" id="5UKHWoLYYLa" role="19SJt6">
<property role="3OpxtG" value="60" />
<node concept="3NXOOs" id="5UKHWoLYYLh" role="3OoW2A">
<property role="3N1Lgt" value="images/airbag_sketch.png" />
</node>
</node>
<node concept="19SUe$" id="5UKHWoLYYLb" role="19SJt6" />
</node>
</node>
</node>
</node>
<node concept="0lhDl" id="5FhZjqTMRVO" role="1QQeBF">
<property role="0lsPA" value="010.02" />
<property role="0ke_I" value="john" />
<node concept="3z6Cyy" id="5FhZjqTMRWc" role="0nOlf" />
<node concept="19SGf9" id="5FhZjqTMRVQ" role="1QQeG9">
<node concept="19SUe$" id="5FhZjqTMRVR" role="19SJt6">
<property role="19SUeA" value="Sensor specification " />
</node>
</node>
<node concept="1QQeAY" id="5FhZjqTMRVS" role="1QQeAC">
<node concept="0nzK2" id="5FhZjqTMRVT" role="1QQeAV">
<node concept="19SGf9" id="5FhZjqTMRVU" role="0nzdz">
<node concept="19SUe$" id="5FhZjqTMRVV" role="19SJt6">
<property role="19SUeA" value="Textual specification for the sensing modules.&#10;Other requirements can be referenced in text - see " />
</node>
<node concept="2aGvr3" id="VJbr0XaaIj" role="19SJt6">
<ref role="2aGvrx" node="5FhZjqTMMrE" />
</node>
<node concept="19SUe$" id="VJbr0XaaIk" role="19SJt6" />
</node>
</node>
</node>
</node>
</node>
</model>

Loading

0 comments on commit ec71c9d

Please sign in to comment.