Putting fixed priority scheduling theory into engineering practice for safety critical applications

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1996, Pages 2-10

  Audsley, N C ^a   Bate, I J ^a   Burns, A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CERTIFICATION AUTHORITIES; ENGINEERING PRACTICES; FIXED-PRIORITY SCHEDULERS; FIXED-PRIORITY SCHEDULING; HARD REAL-TIME SYSTEMS; SAFETY CRITICAL APPLICATIONS; SOFTWARE STANDARDS; TIMING REQUIREMENTS;

JAVA PROGRAMMING LANGUAGE; REAL TIME SYSTEMS; RISK MANAGEMENT; SAFETY ENGINEERING; ACCIDENT PREVENTION; AEROSPACE ENGINEERING; AVIONICS; COMPUTER AIDED SOFTWARE ENGINEERING; COST EFFECTIVENESS; SCHEDULING; SYSTEMS ENGINEERING;

SCHEDULING; REAL TIME SYSTEMS;

CIVIL AIRCRAFT SOFTWARE STANDARD; CYCLIC EXECUTIVE; FIXED PRIORITY SCHEDULING THEORY; SAFETY CRITICAL APPLICATIONS; YORK UNIVERSITY TECHNOLOGY CENTRE (YUTC);

EID: 0029713675     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1996.509517     Document Type: Conference Paper

References (7)

1. RTCA Inc., "Software considerations in airborne systems and equipment certification, " DO-178B/ED-l2B, December 1992.
2. A. Burns and J. A. McDermid, "Real-time safetycritical systems: Analysis and synthesis, " Software Engineering Journal, pp. 267-281, November 1994.
3. C. D. Locke, "Software architecture for hard realtime applications: cyclic executives vs. fixed priority executives, " Real-Time Systems, vol. 4, no. 1, pp. 37-53, March 1992.
4. L. Sha and J. B. Goodenough, "Real-time scheduling theory and Ada, " IEEE Computer, April 1990.
5. B. A. Carre, SPARK: The SPADE Ada Kernel (v3. 1). Program Validation Ltd., 1992.
6. L. Sha, R. Rajkumar, and 3. P. Lehoczky, "Priority inheritance protocols: An approach to real-time synchronisation, " IEEE Trans. on Comp., vol. 39, no. 9, pp. 1175-1185, Sept. 1990.
7. A. Burns, "Preemptive priority based scheduling: An appropriate engineering approach, " in Advances in Real-Time Systems (S. Son, ed. ), 1993.