Objetivo
AFRODITE aims to demonstrate the applicability of formal specification to the development of combined software/hardware systems in a technical environment, using an extended version VDM. The applications will include safety-critical and highly distributed systems and the design of a dedicated parallel real-time computer architecture for on-line data acquisition.
The applicability of formal specification to the development of combined software/hardware systems in a technical environment, using an extended version Vienna development method (VDM) has been demonstrated. The applications include safety critical and highly distributed systems and the design of a dedicated parallel real time computer architecture for on line data acquisition.
The object oriented (OO), parallel and real time part of what is now called VDM++ has been designed. The consolidation based upon the experience of the pilot applications for the OO part has been achieved. Tool support comprising syntax checking, extensive static semantic checking, pretty printing and (large scale) specification management is available. The efforts to embed VDM++ into existing (nonformal) development methods and their tools led to the inclusion of this formal language into the object modelling technique (OMT) as an extra module in an OMT case environment.
Ámbito científico
Tema(s)
Data not availableConvocatoria de propuestas
Data not availableRégimen de financiación
Data not availableCoordinador
2280 GA RIJSWIJK
Países Bajos