2010 8th IEEE International Conference on Software Engineering and Formal Methods 2010
DOI: 10.1109/sefm.2010.39
|View full text |Cite
|
Sign up to set email alerts
|

TART: Timed-Automata to Real-Time Java Tool

Abstract: In previous work, we have proposed a modelbased 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 modelchecking 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2011
2011
2019
2019

Publication Types

Select...
3
1
1

Relationship

0
5

Authors

Journals

citations
Cited by 7 publications
references
References 28 publications
0
0
0
Order By: Relevance