Using Ada 95 for prototyping real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1088, Issue , 1996, Pages 262-274

  Real, Jorge ^a   Espinosa, Agustfn ^b   Crespo, Alfons ^a  

^a Departamento de Ingenieria de Sistemas Computadores y Automatica   (Spain)

^b Departamento de Sistemas Informaticos y Computation   (Spain)

Author keywords

Object oriented methods; Prototyping; Real time systems; Software development environments

Indexed keywords

EID: 84884663126     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0013494     Document Type: Conference Paper

References (6)

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.
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.
3. A. Crespo, J.A. De la Puente, A. Espinosa and A. Garcia. QUISAP: an environment for rapid prototyping of real time systems. IEEE Conference on Software Engineering, pp. 502-508. Tel Aviv, 1990.
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.
5. ISO international standard (ISO/IEC 8652:1995): Information Technology -Programming Languages - Ada. 1995.
6. Institute of Electrical and Electronics Engineers, Inc. IEEE 1003.lb-1993. Portable Operating System Interface (POSIX®). 1994.