• DocumentCode
    2293347
  • Title

    Robustness in real-time systems

  • Author

    Markey, Nicolas

  • Author_Institution
    CNRS, ENS Cachan, Cachan, France
  • fYear
    2011
  • fDate
    15-17 June 2011
  • Firstpage
    28
  • Lastpage
    34
  • Abstract
    We review several aspects of robustness of real-time systems, and present recent results on the robust verification of timed automata.
  • Keywords
    automata theory; formal verification; real-time systems; real-time systems; robust verification; robustness; timed automata; Automata; Clocks; Delay; Electron tubes; Robustness; Semantics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Embedded Systems (SIES), 2011 6th IEEE International Symposium on
  • Conference_Location
    Vasteras
  • Print_ISBN
    978-1-61284-818-1
  • Electronic_ISBN
    978-1-61284-819-8
  • Type

    conf

  • DOI
    10.1109/SIES.2011.5953652
  • Filename
    5953652
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2293347