• DocumentCode
    3117625
  • Title

    TART: Timed-Automata to Real-Time Java Tool

  • Author

    Hakimipour, Niusha ; Strooper, Paul ; Wellings, Andy

  • Author_Institution
    Sch. of lTEE, Univ. of Queensland, St. Lucia, QLD, Australia
  • fYear
    2010
  • fDate
    13-18 Sept. 2010
  • Firstpage
    299
  • Lastpage
    309
  • Abstract
    In previous work, we have proposed a model based approach to developing real-time Java programs from timed automata. This approach allows us to verify the timed automata model mechanically by using current real-time model checking tools. Programs are then derived from the model by following a systematic approach. TART (timed automata to RTSJ Tool) is a prototype tool to support this approach. This paper presents TART, including its limitations, and discusses its application on four examples.
  • Keywords
    Java; automata theory; formal verification; real-time systems; TART; real-time Java tool; real-time model checking tools; timed-automata model; Automata; Clocks; Instruction sets; Java; Object oriented modeling; Real time systems; XML;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
  • Conference_Location
    Pisa
  • Print_ISBN
    978-1-4244-8289-4
  • Type

    conf

  • DOI
    10.1109/SEFM.2010.39
  • Filename
    5637397
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3117625