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="eb171d0c-22b5-11e1-96f6-001f160c9c28">
3 <packagedElement xmi:type="uml:State" xmi:id="eb171d0c-22b5-11e1-96f6-001f160c9c28_pe" name="openpts_fsm_model">
4 <region xmi:id="eb171d0c-22b5-11e1-96f6-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 <subvertex xmi:type="uml:State" xmi:id="EV_GRUB_STAGE1_5" name="EV_GRUB_STAGE1_5"/>
9 <subvertex xmi:type="uml:State" xmi:id="EV_GRUB_STAGE1_5FS" name="EV_GRUB_STAGE1_5FS"/>
10 <subvertex xmi:type="uml:State" xmi:id="EV_GRUB_STAGE2" name="EV_GRUB_STAGE2"/>
11 <subvertex xmi:type="uml:State" xmi:id="EV_GRUB_STAGE1" name="EV_GRUB_STAGE1">
12 <doActivity xmi:type="uml:Activity" xmi:id="EV_GRUB_STAGE1_do" name="validateMBR()"/>
14 <subvertex xmi:type="uml:State" xmi:id="EV_SEPARATOR" name="EV_SEPARATOR"/>
15 <subvertex xmi:type="uml:State" xmi:id="FSM_VERIFIED" name="FSM_VERIFIED">
16 <doActivity xmi:type="uml:Activity" xmi:id="FSM_VERIFIED_do" name="setAssertion(ipl.pcr.4.integrity,valid)"/>
18 <transition xmi:id="Start_to_FSM_START" name="Start_to_FSM_START" source="Start" target="FSM_START"/>
19 <transition xmi:id="FSM_START_to_EV_GRUB_STAGE1_5" name="FSM_START_to_EV_GRUB_STAGE1_5" source="FSM_START" target="EV_GRUB_STAGE1_5">
20 <ownedRule xmi:id="FSM_START_to_EV_GRUB_STAGE1_5_guard">
21 <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_GRUB_STAGE1_5_spec">
22 <body>eventtype==0x0d,digest==base64</body>
26 <transition xmi:id="EV_GRUB_STAGE1_5_to_EV_GRUB_STAGE1_5FS" name="EV_GRUB_STAGE1_5_to_EV_GRUB_STAGE1_5FS" source="EV_GRUB_STAGE1_5" target="EV_GRUB_STAGE1_5FS">
27 <ownedRule xmi:id="EV_GRUB_STAGE1_5_to_EV_GRUB_STAGE1_5FS_guard">
28 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_GRUB_STAGE1_5_to_EV_GRUB_STAGE1_5FS_spec">
29 <body>eventtype==0x0d,digest==base64</body>
33 <transition xmi:id="EV_GRUB_STAGE1_5FS_to_EV_GRUB_STAGE2" name="EV_GRUB_STAGE1_5FS_to_EV_GRUB_STAGE2" source="EV_GRUB_STAGE1_5FS" target="EV_GRUB_STAGE2">
34 <ownedRule xmi:id="EV_GRUB_STAGE1_5FS_to_EV_GRUB_STAGE2_guard">
35 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_GRUB_STAGE1_5FS_to_EV_GRUB_STAGE2_spec">
36 <body>eventtype==0x0d,digest==base64</body>
40 <transition xmi:id="EV_GRUB_STAGE2_to_EV_GRUB_STAGE1" name="EV_GRUB_STAGE2_to_EV_GRUB_STAGE1" source="EV_GRUB_STAGE2" target="EV_GRUB_STAGE1">
41 <ownedRule xmi:id="EV_GRUB_STAGE2_to_EV_GRUB_STAGE1_guard">
42 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_GRUB_STAGE2_to_EV_GRUB_STAGE1_spec">
43 <body>eventtype==0x06</body>
47 <transition xmi:id="EV_GRUB_STAGE1_to_EV_SEPARATOR" name="EV_GRUB_STAGE1_to_EV_SEPARATOR" source="EV_GRUB_STAGE1" target="EV_SEPARATOR">
48 <ownedRule xmi:id="EV_GRUB_STAGE1_to_EV_SEPARATOR_guard">
49 <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_GRUB_STAGE1_to_EV_SEPARATOR_spec">
50 <body>eventtype==0x04</body>
54 <transition xmi:id="EV_SEPARATOR_to_FSM_VERIFIED" name="EV_SEPARATOR_to_FSM_VERIFIED" source="EV_SEPARATOR" target="FSM_VERIFIED"/>
55 <transition xmi:id="FSM_VERIFIED_to_Final" name="FSM_VERIFIED_to_Final" source="FSM_VERIFIED" target="Final"/>