|
| Final Report of the COST-247 Action |
Case-studies using T-LOTOS
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 |
The rail road crossing example is specified using T-LOTOS by specifying the system as three components: the gate, the controller and the rail-sensor part. In order to illustrate a stepwise refinement design approach in a timed context, the service offered by the system, when the internal communication among parts is hidden is also presented. The specification of some parts of the Tick-Tock protocol are also given.
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