TART: Timed-Automata to Real-Time Java Tool
Niusha Hakimipour, Paul Strooper and Andy Wellings
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
Download Not Available
BibTex Entry
@inproceedings{Hakimipour2010,
address = {Pisa, Italy},
author = {Niusha Hakimipour and Paul Strooper and Andy Wellings},
booktitle = {8th International Conference on Software Engineering and Formal Methods ({SEFM})},
month = {September},
organization = {IEEE Computer Society},
pages = {299-309},
title = {TART: Timed-Automata to Real-Time Java Tool},
year = {2010}
}