RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003 (2003)

Cancun, Mexico

Dec. 3, 2003 to Dec. 5, 2003

ISBN: 0-7695-2044-8

pp: 166

Dilsun K. Kaynar , MIT Computer Science and Artificial Intelligence Laboratory

Nancy Lynch , MIT Computer Science and Artificial Intelligence Laboratory

Roberto Segala , Universit? di Verona

Frits Vaandrager , University of Nijmegen

ABSTRACT

We describe the Timed Input/Output Automata (TIOA) framework, a general mathematical framework for modeling and analyzing real-time systems. It is based on timed I/O automata, which engage in both discrete transitions and continuous trajectories. The framework includes a notion of external behavior, and notions of composition and abstraction. We define safety and liveness properties for timed I/O automata, and a notion of receptiveness, and prove basic results about all of these notions. The TIOA framework is defined as a special case of the new Hybrid I/O Automata (HIOA) modeling framework for hybrid systems. Specifically, a TIOA is an HIOA with no external variables; thus, TIOAs communicate via shared discrete actions only, and do not interact continuously. This restriction is consistent with previous real-time system models, and gives rise to some simplifications in the theory (compared to HIOA). The resulting model is expressive enough to describe complex timing behavior, and to express the important ideas of previous timed automata frameworks.

INDEX TERMS

null

CITATION

R. Segala, F. Vaandrager, D. K. Kaynar and N. Lynch, "Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems,"

*RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003(RTSS)*, Cancun, Mexico, 2003, pp. 166.

doi:10.1109/REAL.2003.1253264

CITATIONS

SEARCH