next up previous

Final Report of the COST-247 Action

A Timed LOTOS Extension

Juan Quemada

Dept. Ingenieria de Sistemas Telematicos
Universidad Politecnica de Madrid
ETSI Telecomunicacion
E-28040 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

Web Links:

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page