Implementing mixed criticality systems in Ada

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6652 LNCS, Issue , 2011, Pages 174-188

  Baruah, Sanjoy ^a   Burns, Alan ^b  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ADA 2005; CERTIFICATION REQUIREMENTS; MIXED-CRITICALITY SYSTEMS; RUNTIME MONITORING; RUNTIMES; SAFETY-CRITICAL; SAFETY-CRITICAL EMBEDDED SYSTEMS; SCHEDULABILITY ANALYSIS; MIXED CRITICALITIES; MODE CHANGES;

ADA (PROGRAMMING LANGUAGE); CRITICALITY (NUCLEAR FISSION); EMBEDDED SOFTWARE; SAFETY ENGINEERING;

EMBEDDED SYSTEMS;

EID: 79960243929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-21338-0_13     Document Type: Conference Paper

References (12)

1. Audsley, N.C., Burns, A., Richardson, M., Tindell, K.,Wellings, A.J.: Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal 8(5), 284-292 (1993)
2. Audsley, N.C.: On Priority Assignment in Fixed Priority Scheduling. Information Processing Letters 79(1), 39-44 (2001)
3. Baruah, S.K., Vestal, S.: Schedulability analysis of sporadic tasks with multiple criticality specifications. In: ECRTS, pp. 147-155 (2008)
4. Bernat, G., Broster, I., Burns, A.: Rewriting history to exploit gain time. In: Proceedings Real-time Systems Symposium, Lisbon, Portugal, pp. 328-335. IEEE Computer Society, Los Alamitos (2004)
5. Bernat, G., Burns, A.: Multiple servers and capacity sharing for implementing flexible scheduling. Real-Time Systems Journal 22, 49-75 (2002)
6. Caccamo, M., Buttazzo, G., Sha, L.: Capacity sharing for overrun control. In: Proceedings 21th IEEE Real-Time Systems Symposium (2000)
7. de Niz, D., Lakshmanan, K., Rajkumar, R.: On the scheduling of mixed-criticality realtime task sets. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 291-300 (2009)
8. Dorin, F., Richard, P., Richard, M., Goossens, J.: Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Real-Time Journal (2010)
9. Joseph, M., Pandya, P.: Finding response times in a real-time system. BCS Computer Journal 29(5), 390-395 (1986)
10. Prasad, D., Burns, A., Atkin, M.: The measurement and usage of utility in adaptive realtime systems. Journal of Real-Time Systems 25(2/3), 277-296 (2003)
11. Tindell, K., Alonso, A.: A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politecnica de Madrid (1996)
12. Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the IEEE Real-Time Systems Symposium, pp. 239-243 (2007)