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
Spain
Tel: +34 1 3367331
Fax: +34 1 3367333
E-mail: jquemada@dit.upm.es

Abstract:

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:http://www.dit.upm.es/~quemada/


This Page was prepared by Mark Jorgensen.


Back to the VASY Home page