Title :
Transforming continuous into discrete specifications with VDM++
Author :
Goldsack, S. ; Lano, K. ; Sanchez, A.
Author_Institution :
Imperial Coll., London, UK
Abstract :
The VDM++ language, developed in the ESPRIT AFRODITE language as an object-oriented, concurrent and real-time extension of VDM, supports the specification of continuous and hybrid behaviour via the concept of time variables. These variables, which can be either inputs or outputs to a class, may vary continuously over time, and without the execution of any method of the class taking place. They can be constrained and related by differential and integral calculus formulae
Keywords :
specification languages; ESPRIT AFRODITE language; VDM++ language; continuous specifications; differential calculus; discrete specifications; hybrid behaviour; integral calculus; time variables;
Conference_Titel :
Hybrid Control for Real-Time Systems (Digest No: 1996/256), IEE Colloquium on
Conference_Location :
London
DOI :
10.1049/ic:19961365
