Published Articles >> Table of Contents >> Abstract

Third International Workshop on Real-Time Computing Systems Application (RTCSA'96)   p. 98
Ada 95 as implementation vehicle for formal specifications
K. Brink, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
J. van Katwijk, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands
W.J. Toetenel, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1996.554966
Send link to a friend

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.
Back to Top Additional Information
Index Terms- formal specification; Ada 95; implementation vehicle; formal specifications; system requirements; transformation steps; real-time systems Citation:  K. Brink, J. van Katwijk, W.J. Toetenel, "Ada 95 as implementation vehicle for formal specifications," rtcsa, p. 98,  Third International Workshop on Real-Time Computing Systems Application (RTCSA'96),  1996