Ada 95 as implementation vehicle for formal specifications
- 24 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 6 references indexed in Scilit:
- Issues in real-time process controller realizationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Comparing formal specifications by measuringPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A formal framework for ASTRAL intralevel proof obligationsIEEE Transactions on Software Engineering, 1994
- Modeling and analysis of real-time Ada tasking programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1994
- A Practitioner’s Handbook for Real-Time AnalysisPublished by Springer Nature ,1993
- Executing formal specificationsPublished by Association for Computing Machinery (ACM) ,1991