Using Ada 95 for prototyping real-time systems
An Ada 95-based model is proposed for prototyping of real-time systems. The model of the system is automatically derived from a specification made in the QUISAP language, which is part of a homonym environment for the rapid prototyping of real-time systems. The QUISAP language design principles are based on two main foundations: the language is based on the event-action model, described by Jahanian and Mok , and the translation process from the specification to an executable prototype in Ada is automatic. Moreover, there is a set of tools designed for the validation of the model under development. These tools include translators from QUISAP to formal models like Petri nets and RTL expressions and a simulation environment which allows the evolution of the prototype to be simulated and observed. In this paper, we consider two essential aspects of the prototype: the activity model, which follows a multi-tasking approach, and the data representation model, which is object-oriented. In both cases, the influence of Ada 95 is considered.
KeywordsReal-time Systems Prototyping Software Development Environments Object-oriented methods
Unable to display preview. Download preview PDF.
- F. Jahanian and A. K. Mok. Safety analysis of timing properties in real time systems. IEEE Transactions on software engineering, vol. SE-12 no. 9. pp. 890–904. September 1986.Google Scholar
- A. Crespo, J.A. De la Puente, A. Espinosa and A. Garcia. Ada tools for rapid prototyping of real time systems. Ada-Europe Conference, pp. 105–114. Madrid, 1989.Google Scholar
- A. Crespo, J.A. De la Puente, A. Espinosa and A. García. QUISAP: an environment for rapid prototyping of real time systems. IEEE Conference on Software Engineering, pp. 502–508. Tel Aviv, 1990.Google Scholar
- N.C. Audsley, A. Burns, R.I. Davis, K.W. Tindell and A.J. Wellings. Fixed Priority Pre-emptive Scheduling: An Historical Perspective. Real-time Systems 8(2/3), pp. 129–154, 1995.Google Scholar
- ISO international standard (ISO/IEC 8652:1995): Information Technology — Programming Languages — Ada. 1995.Google Scholar
- Institute of Electrical and Electronics Engineers, Inc. IEEE 1003.1b-1993. Portable Operating System Interface (POSIX®) 1994.Google Scholar