Using Ada 95 for prototyping real-time systems

Abstract

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.

This work has been partially supported by the Comisión de Investigatión Cientifica y Técnica (CICYT) of the Spanish Government, project no. TAP-0511-C02.