Commit 6bad5163 authored by Johannes Eder's avatar Johannes Eder
Browse files

Applied 2.17 migrations to examples

Issue-Ref: 4079
Issue-Url: https://af3-developer.fortiss.org/issues/4079

Signed-off-by: Johannes Eder's avatarJohannes Eder <eder@fortiss.org>
parent 792b9fb2
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
<?xml version="1.0" encoding="UTF-8"?>
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-mira-glossary="http://www.fortiss.org/af3/mira/glossary" xmlns:org-fortiss-af3-mira-relations="http://www.fortiss.org/af3/mira/relations" xmlns:org-fortiss-af3-mira-requirementSource="http://www.fortiss.org/af3/mira/requirementSource" xmlns:org-fortiss-af3-mira-verification="http://www.fortiss.org/af3/mira/verification" xmlns:org-fortiss-af3-operatorpanel="http://www.fortiss.org/af3/operatorpanel" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-development="http://www.fortiss.org/af3/project/development" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="456" id="456" name="SimpleTrafficLightsExample">
<org-fortiss-af3-project:FileProject xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:org-fortiss-af3-component="http://www.fortiss.org/af3/component" xmlns:org-fortiss-af3-expression="http://www.fortiss.org/af3/expression" xmlns:org-fortiss-af3-expression-definitions="http://www.fortiss.org/af3/expression/definitions" xmlns:org-fortiss-af3-expression-terms="http://www.fortiss.org/af3/expression/terms" xmlns:org-fortiss-af3-expression-terms-imperative="http://www.fortiss.org/af3/expression/terms/imperative" xmlns:org-fortiss-af3-expression-types="http://www.fortiss.org/af3/expression/types" xmlns:org-fortiss-af3-mira="http://www.fortiss.org/af3/mira" xmlns:org-fortiss-af3-mira-glossary="http://www.fortiss.org/af3/mira/glossary" xmlns:org-fortiss-af3-operatorpanel="http://www.fortiss.org/af3/operatorpanel" xmlns:org-fortiss-af3-project="http://www.fortiss.org/af3/project" xmlns:org-fortiss-af3-project-configuration="http://www.fortiss.org/af3/project/configuration" xmlns:org-fortiss-af3-project-execution="http://www.fortiss.org/af3/project/execution" xmlns:org-fortiss-af3-safety-annotation="http://www.fortiss.org/af3/safety/annotation" xmlns:org-fortiss-af3-state="http://www.fortiss.org/af3/state" xmlns:org-fortiss-tooling-base-model-layout="http://www.fortiss.org/tooling/base/model/layout" xmi:id="456" id="456" name="SimpleTrafficLightsExample">
<rootElements xsi:type="org-fortiss-af3-project:ProjectConfiguration" xmi:id="1" id="1">
<configurationElements xsi:type="org-fortiss-af3-project-configuration:TypeSystemConfiguration" xmi:id="2" id="2">
<typesystem xsi:type="org-fortiss-af3-expression:MicroTypeSystem"/>
</configurationElements>
<configurationElements xsi:type="org-fortiss-af3-project-configuration:DevelopmentProcessConfiguration" xmi:id="3" id="3">
<development xsi:type="org-fortiss-af3-project-development:DummyDevelopmentProcess"/>
</configurationElements>
</rootElements>
<rootElements xsi:type="org-fortiss-af3-expression:DataDictionary" xmi:id="4" id="4" name="Data Dictionary">
<typeDefinitions xsi:type="org-fortiss-af3-expression-definitions:Enumeration" xmi:id="5" id="5" name="TrafficColor">
......@@ -143,6 +140,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="160" y="260"/>
<points x="160" y="260"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="47" id="47" name="forwardB" comment="" source="36" target="37">
......@@ -175,6 +173,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="160" y="70"/>
<points x="160" y="70"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="52" id="52" name="forwardBoth" comment="" source="38" target="39">
......@@ -207,6 +206,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="300" y="165"/>
<points x="300" y="165"/>
</layoutData>
</connections>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
......@@ -488,7 +488,10 @@
<value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="-1"/>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="294" y="117"/>
<points x="294" y="117"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="115" id="115" name="initializeWithPresent" comment="" source="73" target="79">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="116" id="116">
......@@ -534,7 +537,10 @@
</value>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="288" y="139"/>
<points x="288" y="139"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="122" id="122" name="greenToYellow" comment="" source="80" target="104">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="123" id="123">
......@@ -570,7 +576,10 @@
</value>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="307" y="237"/>
<points x="307" y="237"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="128" id="128" name="yellowToRed" comment="" source="105" target="97">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="129" id="129">
......@@ -606,7 +615,10 @@
</value>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="289" y="432"/>
<points x="289" y="432"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="134" id="134" name="redToRedyellow" comment="" source="98" target="89">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="135" id="135">
......@@ -642,7 +654,10 @@
</value>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="516" y="430"/>
<points x="516" y="430"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="140" id="140" name="redyellowToGreen" comment="" source="90" target="81">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="141" id="141">
......@@ -676,7 +691,10 @@
<value xsi:type="org-fortiss-af3-expression-terms:IntConst" value="-1"/>
</actions>
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points"/>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="541" y="237"/>
<points x="541" y="237"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="145" id="145" name="receive" comment="" source="82" target="83">
<specifications xsi:type="org-fortiss-af3-state:TransitionSegmentSpecification" xmi:id="146" id="146">
......@@ -724,6 +742,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="456" y="216"/>
<points x="456" y="216"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="152" id="152" name="countdown" comment="" source="84" target="85">
......@@ -746,6 +765,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="456" y="72"/>
<points x="456" y="72"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="154" id="154" name="countdown" comment="" source="106" target="107">
......@@ -768,6 +788,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="276" y="348"/>
<points x="276" y="348"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="156" id="156" name="countdown" comment="" source="99" target="100">
......@@ -790,6 +811,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="420" y="420"/>
<points x="420" y="420"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="158" id="158" name="countdown" comment="" source="91" target="92">
......@@ -812,6 +834,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="696" y="348"/>
<points x="696" y="348"/>
</layoutData>
</connections>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
......@@ -1379,6 +1402,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="160" y="260"/>
<points x="160" y="260"/>
</layoutData>
</connections>
<connections xsi:type="org-fortiss-af3-state:TransitionSegment" xmi:id="403" id="403" name="outputVariables" comment="" source="397" target="398">
......@@ -1433,6 +1457,7 @@
</specifications>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Points" key="points">
<points x="160" y="70"/>
<points x="160" y="70"/>
</layoutData>
</connections>
<layoutData xsi:type="org-fortiss-tooling-base-model-layout:Point" key="pos"/>
......@@ -1765,55 +1790,17 @@
<containedElements xsi:type="org-fortiss-af3-mira-glossary:GlossaryEntry" xmi:id="217" id="217" name="Traffic" comment="" definition="All vehicles and persons moving on or next to the street."/>
<containedElements xsi:type="org-fortiss-af3-mira-glossary:GlossaryEntry" xmi:id="218" id="218" name="Controller" comment="" definition="The Traffic Light Controller controls a traffic light system, which consists of a Pedestrian Light for the pedestrians and a traffic light for the motor vehicle."/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:RequirementSource" xmi:id="219" id="219" name="Requirement Sources" comment="">
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:RequirementDocument" xmi:id="220" id="220" name="ISO 26262 standard" comment="First 3 parts of ISO 26262 added, more parts exist." definition="ISO 26262 Road vehicles - Functional safety, 2011.">
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:FileItem" xmi:id="221" id="221" name="http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=43464" uri="http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=43464" version="2011" description="ISO 26262-1:2011: Part 1: Vocabulary"/>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:FileItem" xmi:id="222" id="222" name="http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=51356" uri="http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=51356" version="2011" description="ISO 26262-2:2011: Part 2: Management of functional safety"/>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:FileItem" xmi:id="223" id="223" name="http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=51358" uri="http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=51358" version="2011" description="ISO 26262-3:2011: Part 3: Concept phase"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:Stakeholder" xmi:id="224" id="224" name="System architect" comment="" definition="System architect of the traffic light controller.">
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:Person" xmi:id="225" id="225" name="Christopher Pike" eMailAddress="Pike@uss.org" telephoneNr="+123456789"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:Stakeholder" xmi:id="226" id="226" name="Pedestrian" comment="" definition="A pedestrian is a person traveling on foot, whether walking or running. In some communities, those traveling using tiny wheels such as roller skates, skateboards, and scooters, as well as wheelchair users are also included as pedestrians. In modern times, the term mostly refers to someone walking on a road or sidewalk, but this was not the case historically (http://en.wikipedia.org/wiki/Pedestrian, last accessed: 05/29/2013).">
<synonyms text="Walker"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:ExternalSystem" xmi:id="227" id="227" name="Traffic light" comment="" definition="Traffic lights are signalling devices positioned at or near road intersections, pedestrian crossings and other locations to control competing flows of traffic."/>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:ExternalSystem" xmi:id="228" id="228" name="Pedestrian light" comment="" definition="The pedestrian light indicates whether pedestrians are allowed to cross the street."/>
<containedElements xsi:type="org-fortiss-af3-mira-requirementSource:ExternalSystem" xmi:id="229" id="229" name="Indicator" comment="" definition="An actuation indicator is a light, a tone, a voice message, or a combination of audible and visual indicators that informs pedestrians that the button has been pressed and that their desire to cross has been communicated to the controller."/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-mira:RequirementsContainer" xmi:id="230" id="230" name="Requirements" comment="">
<containedElements xsi:type="org-fortiss-af3-mira:RequirementsPackage" xmi:id="231" id="231" name="Requirements Package" comment="">
<containedElements xsi:type="org-fortiss-af3-mira:Requirement" xmi:id="232" id="232" name="Traffic light timing constraint" description="The traffic light should always be at least two minutes green before switching to red again." rationale="Traffic has to move on." author="Sabine" sources="System architect Christopher Pike" status="Analyzed" priority="Normal - Satisfier" reqId="2" incomingRequirementRelation="335">
<specifications xsi:type="org-fortiss-af3-mira-verification:CheckList" xmi:id="233" id="233" name="Discovery Phase" comment="Check list for discovery Phase">
<items xmi:id="234" id="234" name="Requirement is relevant" comment="TODO" category="E3.1"/>
<items xmi:id="235" id="235" name="Requirement description is correct" comment="TODO" category="E4.1"/>
<items xmi:id="236" id="236" name="Consistent wording -- check with glossary" comment="TODO" category="E6.1"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-mira-verification:CheckList" xmi:id="237" id="237" name="Detailed Modeling Phase" comment="Check list for conceptual modeling phase">
<items xmi:id="238" id="238" name="Consistent wording -- check with glossary" comment="TODO" category="E6.1"/>
</specifications>
<containedElements xsi:type="org-fortiss-af3-mira:Requirement" xmi:id="232" id="232" name="Traffic light timing constraint" description="The traffic light should always be at least two minutes green before switching to red again." rationale="Traffic has to move on." author="Sabine" sources="System architect Christopher Pike" status="Analyzed" priority="Normal - Satisfier" reqId="2">
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="454" id="454"/>
<connectors xsi:type="org-fortiss-af3-mira:RequirementConnector"/>
</containedElements>
<containedElements xsi:type="org-fortiss-af3-mira:Requirement" xmi:id="239" id="239" name="Pedestrian light timing constraint" description="The pedestrian should wait no more than two minutes before pedestrian light switching to 'go'." rationale="Traffic has to move." author="Sabine" sources="System architect Christopher Pike" status="In Analysis" priority="Normal - Satisfier" todo="Two minutes limit is not yet confirmed due to an conflict." reqId="3" incomingRequirementRelation="335">
<specifications xsi:type="org-fortiss-af3-mira-verification:CheckList" xmi:id="240" id="240" name="Discovery Phase" comment="Check list for discovery Phase">
<items xmi:id="241" id="241" name="Requirement is relevant" comment="TODO" category="E3.1"/>
<items xmi:id="242" id="242" name="Requirement description is correct" comment="TODO" category="E4.1"/>
<items xmi:id="243" id="243" name="Consistent wording -- check with glossary" comment="TODO" category="E6.1"/>
</specifications>
<specifications xsi:type="org-fortiss-af3-mira-verification:CheckList" xmi:id="244" id="244" name="Detailed Modeling Phase" comment="Check list for conceptual modeling phase">
<items xmi:id="245" id="245" name="Consistent wording -- check with glossary" comment="TODO" category="E6.1"/>
</specifications>
<containedElements xsi:type="org-fortiss-af3-mira:Requirement" xmi:id="239" id="239" name="Pedestrian light timing constraint" description="The pedestrian should wait no more than two minutes before pedestrian light switching to 'go'." rationale="Traffic has to move." author="Sabine" sources="System architect Christopher Pike" status="In Analysis" priority="Normal - Satisfier" todo="Two minutes limit is not yet confirmed due to an conflict." reqId="3">
<specifications xsi:type="org-fortiss-af3-safety-annotation:SafetyIntegrityLevel" xmi:id="455" id="455"/>
<connectors xsi:type="org-fortiss-af3-mira:RequirementConnector"/>
</containedElements>
</containedElements>
</containedElements>
<requirementRelation xmi:id="335" id="335" targetRequirement="232 239" requirementRelationStatus="337">
<requirementRelationType xsi:type="org-fortiss-af3-mira-relations:ConflictedRequirementRelationType"/>
</requirementRelation>
<requirementRelationStatus xmi:id="337" id="337" name="New" comment=""/>
<requirementRelationStatus xmi:id="338" id="338" name="In Analysis" comment=""/>
<requirementRelationStatus xmi:id="339" id="339" name="Analyzed" comment=""/>
</rootElements>
</org-fortiss-af3-project:FileProject>
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment