1 <?xml version="1.0" encoding="UTF-8"?>
2 <uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML" xmi:id="03f3d088-26ba-11e1-bb1e-001f160c9c28">
3 <packagedElement xmi:type="uml:State" xmi:id="03f3d088-26ba-11e1-bb1e-001f160c9c28_pe" name="openpts_fsm_model">
4 <region xmi:id="03f3d088-26ba-11e1-bb1e-001f160c9c28_region" name="firmware">
5 <subvertex xmi:type="uml:Pseudostate" xmi:id="Start" name="Start"/>
6 <subvertex xmi:type="uml:FinalState" xmi:id="Final"/>
7 <subvertex xmi:type="uml:State" xmi:id="FSM_START" name="FSM_START">
8 <doActivity xmi:type="uml:Activity" xmi:id="FSM_START_do" name="resetPCR(17)"/>
10 <subvertex xmi:type="uml:State" xmi:id="EV_TBOOT_SINIT_V6" name="EV_TBOOT_SINIT_V6">
11 <doActivity xmi:type="uml:Activity" xmi:id="EV_TBOOT_SINIT_V6_do" name="addIntelTxtTbootProperty()"/>
13 <subvertex xmi:type="uml:State" xmi:id="EV_TBOOT_SINIT_V7" name="EV_TBOOT_SINIT_V7">
14 <doActivity xmi:type="uml:Activity" xmi:id="EV_TBOOT_SINIT_V7_do" name="addIntelTxtTbootProperty()"/>
16 <subvertex xmi:type="uml:State" xmi:id="EV_TBOOT_STM" name="EV_TBOOT_STM">
17 <doActivity xmi:type="uml:Activity" xmi:id="EV_TBOOT_STM_do" name="addIntelTxtTbootProperty()"/>
19 <subvertex xmi:type="uml:State" xmi:id="EV_TBOOT_UNKNOWN" name="EV_TBOOT_UNKNOWN">
20 <doActivity xmi:type="uml:Activity" xmi:id="EV_TBOOT_UNKNOWN_do" name="addIntelTxtTbootProperty()"/>
22 <subvertex xmi:type="uml:State" xmi:id="FSM_VERIFIED" name="FSM_VERIFIED">
23 <doActivity xmi:type="uml:Activity" xmi:id="FSM_VERIFIED_do" name="setAssertion(intel.txt.tboot.pcr17.transition,valid)"/>
25 <transition xmi:id="Start_to_FSM_START" name="Start_to_FSM_START" source="Start" target="FSM_START"/>
26 <transition xmi:id="FSM_START_to_EV_TBOOT_SINIT_V6" name="FSM_START_to_EV_TBOOT_SINIT_V6" source="FSM_START" target="EV_TBOOT_SINIT_V6">
27 <ownedRule xmi:id="FSM_START_to_EV_TBOOT_SINIT_V6_guard">
28 <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_TBOOT_SINIT_V6_spec">
29 <body>eventtype==0x0x00000100</body>
33 <transition xmi:id="FSM_START_to_EV_TBOOT_SINIT_V7" name="FSM_START_to_EV_TBOOT_SINIT_V7" source="FSM_START" target="EV_TBOOT_SINIT_V7">
34 <ownedRule xmi:id="FSM_START_to_EV_TBOOT_SINIT_V7_guard">
35 <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_TBOOT_SINIT_V7_spec">
36 <body>eventtype==0x0x00000103</body>
40 <transition xmi:id="EV_TBOOT_SINIT_V6_to_EV_TBOOT_STM" name="EV_TBOOT_SINIT_V6_to_EV_TBOOT_STM" source="EV_TBOOT_SINIT_V6" target="EV_TBOOT_STM">
41 <ownedRule xmi:id="EV_TBOOT_SINIT_V6_to_EV_TBOOT_STM_guard">
42 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_TBOOT_SINIT_V6_to_EV_TBOOT_STM_spec">
43 <body>eventtype==0x0x00000101</body>
47 <transition xmi:id="EV_TBOOT_SINIT_V7_to_EV_TBOOT_STM" name="EV_TBOOT_SINIT_V7_to_EV_TBOOT_STM" source="EV_TBOOT_SINIT_V7" target="EV_TBOOT_STM">
48 <ownedRule xmi:id="EV_TBOOT_SINIT_V7_to_EV_TBOOT_STM_guard">
49 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_TBOOT_SINIT_V7_to_EV_TBOOT_STM_spec">
50 <body>eventtype==0x0x00000101</body>
54 <transition xmi:id="EV_TBOOT_STM_to_EV_TBOOT_UNKNOWN" name="EV_TBOOT_STM_to_EV_TBOOT_UNKNOWN" source="EV_TBOOT_STM" target="EV_TBOOT_UNKNOWN">
55 <ownedRule xmi:id="EV_TBOOT_STM_to_EV_TBOOT_UNKNOWN_guard">
56 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_TBOOT_STM_to_EV_TBOOT_UNKNOWN_spec">
57 <body>eventtype==0x0x00000102</body>
61 <transition xmi:id="EV_TBOOT_UNKNOWN_to_FSM_VERIFIED" name="EV_TBOOT_UNKNOWN_to_FSM_VERIFIED" source="EV_TBOOT_UNKNOWN" target="FSM_VERIFIED"/>
62 <transition xmi:id="FSM_VERIFIED_to_Final" name="FSM_VERIFIED_to_Final" source="FSM_VERIFIED" target="Final"/>