Final Report of the COST-247 Action |
A Timed Process Algebra for Specifying Real-Time Systems
Sergio Yovine
Verimag |
Centre Equation |
2, avenue de Vignate |
F-38610 Gieres |
FRANCE |
tel : +(33) 4 76 63 48 48 |
fax : +(33) 4 76 63 48 50 |
E-mail: Sergio.Yovine@imag.fr |
We present the algebra of timed processes ATP for specifying the behavior of real-time systems. ATP introduces several timed constructs such as delayable actions, timeouts and watchdogs. The formal semantics of ATP is given in terms of labeled transitions systems where time passing is modeled by transitions labeled with the amount of time elapsed. We present a method for translating ATP into timed graphs which are automata extended with a finite set of real-valued clocks.
This presentation has been given during the COST-247 WG1 Special Workshop on Extended Process Algebras (Brighton, United Kingdom, July 19--20, 1994).
COST-247 Working Group(s): 1
This Page was prepared by Mark Jorgensen.