• DocumentCode
    607343
  • Title

    A formal analysis of stage stunt system with hybrid automata

  • Author

    Anping He ; Juan Wang

  • Author_Institution
    Sch. of Inf. Sci. & Eng., Lanzhou Univ., Lanzhou, China
  • fYear
    2012
  • fDate
    3-5 Dec. 2012
  • Firstpage
    741
  • Lastpage
    744
  • Abstract
    Stage stunt system is an automatic steeve system orchestrated by PLC. Security and fault-recover are two important properties of the system. In this paper, we analyze and verify the stage stunt system formally. We adopt hybrid automata to model the system. The forward reachability is used to verify the properties on the reachable states. We present a case study to illustrate the feasibility of the proposed verification.
  • Keywords
    fault diagnosis; formal verification; programmable controllers; reachability analysis; PLC; automatic steeve system; fault-recover properties; formal analysis; hybrid automata; programmable controller; security properties; stage stunt system; Stage stunt system; forward analysis; hybrid automata;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computing and Convergence Technology (ICCCT), 2012 7th International Conference on
  • Conference_Location
    Seoul
  • Print_ISBN
    978-1-4673-0894-6
  • Type

    conf

  • Filename
    6530432
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=607343