Certification-cognizant time-triggered scheduling of mixed-criticality systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2011, Pages 3-12

  Baruah, Sanjoy ^a   Fohler, Gerhard ^b  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

^b Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS SYSTEMS; CERTIFICATION AUTHORITIES; CERTIFICATION REQUIREMENTS; CRITICAL SOFTWARE; EMBEDDED PLATFORMS; EVENT-TRIGGERED; IN-BUILDINGS; MIXED-CRITICALITY SYSTEMS; NON INTERFERENCE; REAL TIME SCHEDULING; RESOURCE UTILIZATIONS; SAFETY-CRITICAL; SAFETY-CRITICAL DOMAIN; TIME TRIGGERED; TIME-TRIGGERED SYSTEMS;

CRITICALITY (NUCLEAR FISSION); EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; FACTORY AUTOMATION; RESEARCH; SAFETY ENGINEERING;

REAL TIME SYSTEMS;

EID: 84856523326     PISSN: 10528725     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTSS.2011.9     Document Type: Conference Paper

References (22)

1. ARINC. ARINC 653-1 Avionics application software standard interface, October 2003.
2. N. C. Audsley. Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report, The University of York, England, 1991.
3. N. C. Audsley. Flexible Scheduling in Hard-Real-Time Systems. PhD thesis, Department of Computer Science, University of York, 1993.
4. S. Baruah, H. Li, and L. Stougie. Towards the design of certifiable mixed-criticality systems. In Proceedings of the IEEE Real-Time Technology and Applications Symposium (RTAS). IEEE, April 2010.
5. S. K. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, and L. Stougie. Scheduling real-time mixedcriticality jobs. In P. Hlinený and A. Kucera, editors, Proceedings of the 35th International Symposium on the Mathematical Foundations of Computer Science, volume 6281 of Lecture Notes in Computer Science, pages 90-101. Springer, 2010.
6. A. Burns and B. Littlewood. Reasoning about the reliability of multiversion, diverse real-time systems. In Proceedings of 31st IEEE Real-Time Systems Symposium, pages 73-81. IEEE Computer Society Press, December 2010.
7. D. de Niz, K. Lakshmanan, and R. R. Rajkumar. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the Real-Time Systems Symposium, pages 291-300, Washington, DC, 2009. IEEE Computer Society Press.
8. M. Dertouzos. Control robotics : the procedural control of physical processors. In Proceedings of the IFIP Congress, pages 807-813, 1974.
9. G. Fohler. Changing operational modes in the context of pre run-time scheduling. IEICE Transactions on Information and Systems (Special Issue on Responsive Computer Systems), E76-D(11):1333-1340, 1993.
10. G. Fohler. Joint scheduling of distributed complex periodic and hard aperiodic tasks in statically scheduled systems. In Proceedings of the Real-Time Systems Symposium, Pisa, Italy, December 1995. IEEE Computer Society Press.
11. D. Isovic and G. Fohler. Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints. In Proceedings of the Real-Time Systems Symposium, Orlando, FL, November 2000. IEEE Computer Society Press.
12. B. Kalyanasundaram and K. Pruhs. Speed is as powerful as clairvoyance. In 36th Annual Symposium on Foundations of Computer Science (FOCS'95), pages 214-223, Los Alamitos, Oct. 1995. IEEE Computer Society Press.
13. B. Kalyanasundaram and K. Pruhs. Speed is as powerful as clairvoyance. Journal of the ACM, 37(4):617-643, 2000.
14. H. Kopetz. Real-Time Systems - Design Principles for Distributed Embedded Applications. Springer, 2011.
15. K. Lakshmanan, D. de Niz, and R. R. Rajkumar. Mixed-criticality task synchronization in zero-slack scheduling. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium, Chicago, 2011. IEEE Computer Society Press.
16. K. Lakshmanan, D. de Niz, R. R. Rajkumar, and G. Moreno. Resource allocation in distributed mixed-criticality cyber-physical systems. In Proceedings of the 30th International Conference of Distributed Computing Systems. IEEE Computer Society Press, 2010.
17. J. Leung and M. Merrill. A note on the preemptive scheduling of periodic, real-time tasks. Information Processing Letters, 11:115-118, 1980.
18. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
19. A. K. Mok. Fundamental Design Problems of Distributed Systems for The Hard-Real-Time Environment. PhD thesis, Laboratory for Computer Science, Massachusetts Institute of Technology, 1983. Available as Technical Report No. MIT/LCS/TR-297.
20. R. Pellizzoni, P. Meredith, M. Y. Nam, M. Sun, M. Caccamo, and L. Sha. Handling mixed criticality in SoC-based real-time embedded systems. In Proceedings of the International Conference on Embedded Software (EMSOFT), Grenoble, France, 2009. IEEE Computer Society Press.
21. P. Puschner and C. Koza. Calculating the maximum execution time of real-time programs. RT Systems Journal, 1989.
22. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the Real-Time Systems Symposium, pages 239-243, Tucson, AZ, December 2007. IEEE Computer Society Press.