TART: Timed-Automata to Real-Time Java Tool

Niusha Hakimipour,Paul Strooper,Andy Wellings

Software Engineering and Formal Methods（2010）

Cited 10|Views0

No score

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.

Translated text

Key words

systematic approach,automata model,rtsj tool,real-time java program,real-time java tool,previous work,current real-time model checking,prototype tool,real time systems,automata theory,xml,automata,model checking,real time,java,formal verification,instruction sets,real time java

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined