T-SMART-task-safe, minimal Ada realtime toolset
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.
KeywordsCertification Software Reliability Ada83 Ada 95
Unable to display preview. Download preview PDF.
- [ADA83]Reference Manual for the Ada Programming Language, ANSI/MILSTD 1815 A, January 1983.Google Scholar
- [ADA95]Ada95 Reference Manual, International Standard ANSI/ISO/IEC-8652:1995, January 1995.Google Scholar
- [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
- [BCAG91]BCAG Digital Avionics Ada Standard, Boeing Commercial Airplane Group, Doc: D6-53339 Rev A, 1991.Google Scholar
- [CSMART96]Safety Critical Sotware Handbook, Aonix, Burlington, 1996.Google Scholar
- [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
- [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
- [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
- [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
- [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
- [PSS91]ESA Software Engineering Standards Issue 2, PSS-05-0, European Space Agency, February 1991Google Scholar
- [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
- [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
- [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