Title :
Ada 95 as implementation vehicle for formal specifications
Author :
Brink, E. ; Van Katwijk, J. ; Toetenel, W.J.
Author_Institution :
Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
Abstract :
A main concern in the initial phases of the development of a system to be built is capturing the system requirements and expressing them as an adequate model, either formal or informal. In subsequent phases of the development of the system this model is used as reference for transformation steps. In this paper we describe a reasonably successful experimental strategy for the implementation of real-time systems, starting from a formal specification, resulting in an Ada 95 implementation of the system and we evaluate the approach based upon practical experiences
Keywords :
Ada; formal specification; real-time systems; systems analysis; Ada 95; formal specifications; implementation vehicle; real-time systems; system requirements; transformation steps; Control system synthesis; Control systems; Formal specifications; Informatics; Mathematical model; Mathematics; Real time systems; Software systems; Telephony; Vehicles;
Conference_Titel :
Real-Time Computing Systems and Applications, 1996. Proceedings., Third International Workshop on
Conference_Location :
Seoul
Print_ISBN :
0-8186-7626-4
DOI :
10.1109/RTCSA.1996.554966
