• DocumentCode
    2673663
  • Title

    Model checking embedded and real time systems

  • Author

    Larsen, Kim G.

  • Author_Institution
    Aalborg Univ., Aalborg
  • fYear
    2008
  • fDate
    28-30 May 2008
  • Firstpage
    260
  • Lastpage
    260
  • Abstract
    Given that the 2007 Turing Award was recently given to Ed Clarke, Alan Emerson and Joseph Sifakis for their ground-breaking work on model checking the talk will present two model checking tools, UPPAAL and visualSTATE. The ldquosecretsrdquo behind their success will be revealed, UPPAAL being the most efficient tool for verifying timed systems, and visualSTATE allowing for verification of 10500 states using a patented method we have developed. Also, current research on applying and specializing UPPAAL to controller synthesis will be addressed.
  • Keywords
    control system synthesis; embedded systems; real-time systems; 2007 Turing Award; UPPAAL; controller synthesis; embedded systems; model checking tools; real time systems; visualSTATE; Control system synthesis; Discrete event systems; Real time systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Discrete Event Systems, 2008. WODES 2008. 9th International Workshop on
  • Conference_Location
    Goteborg
  • Print_ISBN
    978-1-4244-2592-1
  • Electronic_ISBN
    978-1-4244-2593-8
  • Type

    conf

  • DOI
    10.1109/WODES.2008.4605955
  • Filename
    4605955
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2673663