Towards a fixed priority scheduler for an aircraft application

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 1996, Pages 34-39

  Bate, I ^a   Burns, A ^a   McDermid, J ^a   Vickers, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT APPLICATIONS; AVIONICS EQUIPMENT; ENGINEERING UNIVERSITIES; FIXED PRIORITY SCHEDULING; FIXED-PRIORITY SCHEDULERS; PROCESS IMPROVEMENT; SAFETY CRITICAL SYSTEMS; SYSTEMS AND SOFTWARE;

SOFTWARE ENGINEERING;

REAL TIME SYSTEMS;

EID: 84884650755     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMWRTS.1996.557786     Document Type: Conference Paper

References (13)

1. Reference Manual for the Ada Programming Language, ANSI/MIL-STD 1815, January 1983.
2. Applying New Scheduling Theory to Static Priority Preemptive Scheduling, N. Audsley, A. Burns, M. Richardson, K. Tindell, A.J. Wellings, Software Engineering Journal, Vol. 8, No. 5, pp. 284-292, September 1993.
3. The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation, A. Burns, A.J. Wellings, C.M. Bailey, E. Fyfe, Ada sans frontieres, Proceedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science 688, pp. 19-35, 1993.
4. Real-Time Safety-Critical Systems: Analysis and Synthesis, A. Burns, J.A. McDermid, Software Engineering Journal, Vol. 9, No. 6, pp. 267-281, November 1994.
5. Hard Real-Time HOOD: A Structured Design Method for Hard Real-time Ada Systems, A. Burns, A.J. Wellings, Elsevier Publications, 1995.
6. SPARK: The SPADE Ada Kernel (edition 3.1), B.A. Carre et al, Program Validation Ltd., 1992.
7. Response Times in Level Structured Systems, P. K. Harter, ACM Trans. on Computer Systems, Vol. 5, No. 3, pp. 232-248, 1987.
8. Technology Transition Push: A Case Study of Rate Monotonic Analysis (Part 1), L. Levine, P. Fowler, Software Engineering Institute Technical report, CMU/SEI-93-TR-29, December 1993.
9. Technology Transition Pull: A Case Study of Rate Monotonic Analysis (Part 1), L. Levine, P. Fowler, Software Engineering Institute Technical report, CMU/SEI-93-TR-30, April 1995.
10. Software Architecture for Hard Real-Time Applications: Cyclic Executive vs. Fixed Priority Executives, C.D. Locke, The Journal of Real-Time Systems, Volume 4, No. 1, pp. 37-53, 1992.
11. Software Considerations in Airborne Systems and Equipment Certifications, DO-178B, December 1992.
12. Solutions for Some Practical Problems in Prioritised Preemptive Scheduling, L. Sha, J.P. Lehoczky, R. Rajkumar, Proceedings of the Real-Time Systems Symposium, pp.181-191, 1986.
13. Real-Time Scheduling Theory and Ada, L. Sha, J.B. Goodenough, IEEE Computer, Vol. 23, No. 4, pp.53-62, April 1990.