Abstract
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.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Reference Manual for the Ada Programming Language, ANSI/MILSTD 1815 A, January 1983.
Ada95 Reference Manual, International Standard ANSI/ISO/IEC-8652:1995, January 1995.
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.
BCAG Digital Avionics Ada Standard, Boeing Commercial Airplane Group, Doc: D6-53339 Rev A, 1991.
Safety Critical Sotware Handbook, Aonix, Burlington, 1996.
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]
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.
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, 1993
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.
Liu C.L. Layland J.W. Scheduling Algorithms for Multi-Programming in a Hard real-Time Environment, Journal of the ACM 20, 1 January 1973
ESA Software Engineering Standards Issue 2, PSS-05-0, European Space Agency, February 1991
Sha L., Rajkumar R., Lehoczky J.P., Priority Inheritance Protocols: An Approach to Real-Time Synchronization IEEE Transacions on Computers 39, 9, September 1990
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, 1989
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, 1992
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dobbing, B., Richard-Foy, M. (1997). T-SMART-task-safe, minimal Ada realtime toolset. In: Hardy, K., Briggs, J. (eds) Reliable Software Technologies — Ada-Europe '97. Ada-Europe 1997. Lecture Notes in Computer Science, vol 1251. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63114-3_22
Download citation
DOI: https://doi.org/10.1007/3-540-63114-3_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63114-9
Online ISBN: 978-3-540-69150-1
eBook Packages: Springer Book Archive