论文信息 - T-SMART - Task-Safe, Minimal Ada Realtime Toolset

T-SMART - Task-Safe, Minimal Ada Realtime Toolset

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.

Brian Dobbing | Marc Richard-Foy

[1] Mark Klein,et al. A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[2] Alan Burns,et al. Mode changes in priority preemptively scheduled systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[3] Lui Sha,et al. Scheduling sporadic and aperiodic events in a hard real-time system. Final report , 1989 .

[4] Alan Burns,et al. Hard Real-Time Scheduling: The Deadline-Monotonic Approach , 1991 .

[5] Lui Sha,et al. Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[6] Henry Ledgard,et al. Reference Manual for the ADA® Programming Language , 1983, Springer New York.

[7] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[8] John P. Lehoczky,et al. Fixed priority scheduling of periodic task sets with arbitrary deadlines , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[9] L. Sha,et al. The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks , 1988, IRTAW '88.