Implementation of Distributed Real-Time Specifications in Ada95

The implementation phase of the software development process requires techniques for the transformation of a design specification into software. Although timing analysis of real-time software has got much attention the implementation of design specifications is hardly addressed. In this paper we report on our work on defining mappings for design specifications of real-time distributed control systems onto implementation models. The specification notation we use is ASTRAL [1], a formal real-time specification language. Our target language is Ada95 [2]. In this paper the mapping of ASTRAL specifications on the Ada tasking model is discussed. Main emphasis is put upon the use of timing analysis to verify the correctness of the implementation with respect to the specification. 1 Introduction Current practice in the development of software for embedded real-time control applications has some drawbacks when considered from a software engineering point of view [3]. Current methodologies hard..