|Final Report of the COST-247 Action|
A Timed LOTOS Extension
|Dept. Ingenieria de Sistemas Telematicos|
|Universidad Politecnica de Madrid|
|Tel: +34 1 3367331|
|Fax: +34 1 3367333|
T-LOTOS, is a timed extension of LOTOS is described where the semantics is described in the form of timed-action trees. In timed-action trees the passing of time is represented as time stamps of actions, being each time stamp the time passed from the previous action occurred. Timed-action trees and Time/Action trees can be formally related by mapping B -at-> B´ to B -t-> B´´, B´´-a-> B´ (and viceversa). A formal framework for verifying timed systems is provided based on timed tests, by assigning a precise timing to the tests and observations performed.
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.