T-SMART-task-safe, minimal Ada realtime toolset

  • Brian Dobbing
  • Marc Richard-Foy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1251)


This paper describes T-SMART, an Ada executive and toolset for the production of safety critical and hard real time applications. T-SMART consists of three integrated parts:
  • Ada83 executive audited to DO-178B for use in safety-critical systems

  • Traditional Ada compilation system tools eg. Compiler and Debugger

  • Tools to support verification, eg. schedulability and coverage analysis.

The existing toolset is compatible with the revision of the Ada language (Ada95) in order to ease the transition when the Ada95 safety-critical market is established. Although such toolsets are not uncommon, the significant differentiator is that the runtime executive has undergone the most stringent independent auditing to DO-178B standard, making it suitable for formal certification. Use of this toolset in actual safety-critical applications lays to rest the view that Ada tasking cannot be used in this market sector, and so provides valuable input to the evolution of the Ada95 Safety Annex H.


Certification Software Reliability Ada83 Ada 95 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ADA83]
    Reference Manual for the Ada Programming Language, ANSI/MILSTD 1815 A, January 1983.Google Scholar
  2. [ADA95]
    Ada95 Reference Manual, International Standard ANSI/ISO/IEC-8652:1995, January 1995.Google Scholar
  3. [AUD91]
    Audsley N.C., Burns A., Richardson M.F., Tindell K., Wellings A.J., Hard Real-Time Scheduling: The Deadline Monotonic Approach, Proceedings of the 8th IEEE Workshop on Real-Time Operating Systems and Software, Pergamon, May 1991.Google Scholar
  4. [BCAG91]
    BCAG Digital Avionics Ada Standard, Boeing Commercial Airplane Group, Doc: D6-53339 Rev A, 1991.Google Scholar
  5. [CSMART96]
    Safety Critical Sotware Handbook, Aonix, Burlington, 1996.Google Scholar
  6. [DO-178B]
    DO-178B Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc, Washington D.C 1992 [Also European Joint Standard EUROCAE ED-12B, December 1992]Google Scholar
  7. [GOOD88]
    Goodenough J.B., Sha L. The Priority Ceiling Protocol: A Method for Minimizing the Blocking of High Priority Ada Tasks, Proceedings of the 2nd International Workshop on Real-Time Ada Issues, and in Ada Letters 8,7, Autumn 1988.Google Scholar
  8. [KLEIN93]
    Klein M.H., Ralya T., Pollak W., Obenza R., Gonzalez-Harbour M. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonie Analysis for Real-Time Systems, Kluwer Academic Publishers, 1993Google Scholar
  9. [LEH90]
    Lehoczky J.P. Fixed Priority Scheduling of Period Task Sets with Arbitrary Deadlines Proceedings of the IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1990.Google Scholar
  10. [LIU73]
    Liu C.L. Layland J.W. Scheduling Algorithms for Multi-Programming in a Hard real-Time Environment, Journal of the ACM 20, 1 January 1973Google Scholar
  11. [PSS91]
    ESA Software Engineering Standards Issue 2, PSS-05-0, European Space Agency, February 1991Google Scholar
  12. [SHA90]
    Sha L., Rajkumar R., Lehoczky J.P., Priority Inheritance Protocols: An Approach to Real-Time Synchronization IEEE Transacions on Computers 39, 9, September 1990Google Scholar
  13. [SPRUNT89]
    Sprunt B., Lehoczky J.P., Sha L. Scheduling Sporadic and Aperiodic Events in a Hard Real-Time System, CMU/SEI-89-TR-11, Software Engineering Institute, Carnegie Mellon University, 1989Google Scholar
  14. [TIND92]
    Tindell K.W., Burns A., Wellings A.J. Mode Changes in Priority Pre-Emptively Scheduled Systems, Proceedings of the IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1992Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Brian Dobbing
    • 1
  • Marc Richard-Foy
    • 1
  1. 1.Partridge HouseAonixHenley-on-ThamesUK

Personalised recommendations