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
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;
Conference_Titel :
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location :
Pisa
Print_ISBN :
978-1-4244-8289-4
DOI :
10.1109/SEFM.2010.39
