Using Ada 95 for prototyping real-time systems

  • Jorge Real
  • Agustín Espinosa
  • Alfons Crespo
Real-Time Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1088)


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 [1], 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.


Real-time Systems Prototyping Software Development Environments Object-oriented methods 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    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
  2. [2]
    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
  3. [3]
    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
  4. [4]
    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
  5. [5]
    ISO international standard (ISO/IEC 8652:1995): Information Technology — Programming Languages — Ada. 1995.Google Scholar
  6. [6]
    Institute of Electrical and Electronics Engineers, Inc. IEEE 1003.1b-1993. Portable Operating System Interface (POSIX®) 1994.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Jorge Real
    • 1
  • Agustín Espinosa
    • 1
    • 2
  • Alfons Crespo
    • 1
  1. 1.Departamento de Ingeniería de SistemasComputadores y AutomáticaSpain
  2. 2.Departamento de Sistemas Informáticos y ComputationSpain

Personalised recommendations