models/uefi_pcr6.uml

   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="847b225c-2231-11e1-92f2-001f160c9c28">
   3   <packagedElement xmi:type="uml:State" xmi:id="847b225c-2231-11e1-92f2-001f160c9c28_pe" name="openpts_fsm_model">
   4     <region xmi:id="847b225c-2231-11e1-92f2-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(6)"/>
   9       </subvertex>
  10       <subvertex xmi:type="uml:State" xmi:id="EV_EFI_ACTION" name="EV_EFI_ACTION"/>
  11       <subvertex xmi:type="uml:State" xmi:id="EV_ACTION" name="EV_ACTION">
  12         <doActivity xmi:type="uml:Activity" xmi:id="EV_ACTION_do" name="addBIOSAction()"/>
  13       </subvertex>
  14       <subvertex xmi:type="uml:State" xmi:id="EV_SEPARATOR" name="EV_SEPARATOR">
  15         <doActivity xmi:type="uml:Activity" xmi:id="EV_SEPARATOR_do" name="flashFSM()"/>
  16       </subvertex>
  17       <subvertex xmi:type="uml:State" xmi:id="FSM_VERIFIED" name="FSM_VERIFIED">
  18         <doActivity xmi:type="uml:Activity" xmi:id="FSM_VERIFIED_do" name="setAssertion(uefi.pcr.6.integrity,valid)"/>
  19       </subvertex>
  20       <transition xmi:id="Start_to_FSM_START" name="Start_to_FSM_START" source="Start" target="FSM_START"/>
  21       <transition xmi:id="FSM_START_to_EV_EFI_ACTION" name="FSM_START_to_EV_EFI_ACTION" source="FSM_START" target="EV_EFI_ACTION">
  22         <ownedRule xmi:id="FSM_START_to_EV_EFI_ACTION_guard">
  23           <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_EFI_ACTION_spec">
  24             <body>eventtype==0x80000007</body>
  25           </specification>
  26         </ownedRule>
  27       </transition>
  28       <transition xmi:id="EV_EFI_ACTION_to_EV_SEPARATOR" name="EV_EFI_ACTION_to_EV_SEPARATOR" source="EV_EFI_ACTION" target="EV_SEPARATOR">
  29         <ownedRule xmi:id="EV_EFI_ACTION_to_EV_SEPARATOR_guard">
  30           <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_EFI_ACTION_to_EV_SEPARATOR_spec">
  31             <body>eventtype==0x04</body>
  32           </specification>
  33         </ownedRule>
  34       </transition>
  35       <transition xmi:id="FSM_START_to_EV_ACTION" name="FSM_START_to_EV_ACTION" source="FSM_START" target="EV_ACTION">
  36         <ownedRule xmi:id="FSM_START_to_EV_ACTION_guard">
  37           <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_ACTION_spec">
  38             <body>eventtype==0x05</body>
  39           </specification>
  40         </ownedRule>
  41       </transition>
  42       <transition xmi:id="EV_ACTION_to_EV_SEPARATOR" name="EV_ACTION_to_EV_SEPARATOR" source="EV_ACTION" target="EV_SEPARATOR">
  43         <ownedRule xmi:id="EV_ACTION_to_EV_SEPARATOR_guard">
  44           <specification xmi:type="uml:OpaqueExpression" xmi:id="EV_ACTION_to_EV_SEPARATOR_spec">
  45             <body>eventtype==0x04</body>
  46           </specification>
  47         </ownedRule>
  48       </transition>
  49       <transition xmi:id="FSM_START_to_EV_SEPARATOR" name="FSM_START_to_EV_SEPARATOR" source="FSM_START" target="EV_SEPARATOR">
  50         <ownedRule xmi:id="FSM_START_to_EV_SEPARATOR_guard">
  51           <specification xmi:type="uml:OpaqueExpression" xmi:id="FSM_START_to_EV_SEPARATOR_spec">
  52             <body>eventtype==0x04</body>
  53           </specification>
  54         </ownedRule>
  55       </transition>
  56       <transition xmi:id="EV_SEPARATOR_to_FSM_VERIFIED" name="EV_SEPARATOR_to_FSM_VERIFIED" source="EV_SEPARATOR" target="FSM_VERIFIED"/>
  57       <transition xmi:id="FSM_VERIFIED_to_Final" name="FSM_VERIFIED_to_Final" source="FSM_VERIFIED" target="Final"/>
  58     </region>
  59   </packagedElement>
  60 </uml:Model>