Response-time analysis for mixed criticality systems

Proceedings - Real-Time Systems Symposium

Volumn , Issue , 2011, Pages 34-43

  Baruah, S K ^a   Burns, A ^b   Davis, R I ^b  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CERTIFICATION REQUIREMENTS; EXECUTION TIME; FIXED PRIORITIES; HIGH-INTEGRITY SYSTEMS; IMPLEMENTATION SCHEME; MIXED-CRITICALITY SYSTEMS; PRIORITY ASSIGNMENT; RESPONSE-TIME ANALYSIS; RUNTIME MONITORING; SAFETY-CRITICAL; SAFETY-CRITICAL EMBEDDED SYSTEMS; SCHEDULABILITY ANALYSIS; UNIPROCESSORS;

CRITICALITY (NUCLEAR FISSION); EMBEDDED SYSTEMS; SAFETY ENGINEERING;

REAL TIME SYSTEMS;

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

References (24)

1. L. Abeni and G. Buttazzo. Integrating multimedia applications in hard real-time systems. In Proceedings of the Real-Time Systems Symposium, pages 3-13, Madrid, Spain, December 1998.
2. N. Audsley. On priority assignment in fixed priority scheduling. Information Processing Letters, 79(1):39-44, 2001. (Pubitemid 32404840)
3. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings. Applying new scheduling theory to static priority preemptive scheduling. Software Engineering Journal, 8(5):284-292, 1993.
4. J. Barhorst, T. Belote, P. Binns, J. Hoffman, J. Paunicka, P. Sarathy, J. Scoredos, P. Stanfill, D. Stuart, and R. Urzi. White paper: A research agenda for mixed-criticality systems, April 2009. Available at http://www.cse.wustl. edu/~cdgill/CPSWEEK09 MCAR.
5. S. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, and L. Stougie. Scheduling real-time mixed-criticality 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. S. Baruah and A. Burns. Implementing mixed criticality systems in Ada. In A. Romanovsky, editor, Proceedings of Reliable Software Technologies - Ada-Europe 2011, pages 174-188. Springer, 2011.
7. 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.
8. S. Baruah, A. Mok, and L. Rosier. Preemptively scheduling hard-real-time sporadic tasks on one processor. In Proceedings of the 11th Real- Time Systems Symposium, pages 182-190, Orlando, Florida, 1990. IEEE Computer Society Press. (Pubitemid 21689845)
9. S. Baruah and S. Vestal. Schedulability analysis of sporadic tasks with multiple criticality specifications. In ECRTS, pages 147-155, 2008.
10. A. Bastoni, B. Brandenburg, and J. Anderson. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability. In Proceedings of Sixth International Workshop on Operating Systems Platforms for Embedded Real-Time Applications, pages 33-44, 2010.
11. G. Bernat and A. Burns. New results on fixed priority aperiodic servers. In Proceedings 20th IEEE Real-Time Systems Symposium, pages 68-78, 1999. (Pubitemid 30560541)
12. E. Bini and G. Buttazzo. Measuring the performance of schedulability tests. Journal of Real-Time Systems, 30(1-2):129-154, 2005. (Pubitemid 41310221)
13. A. Burns and B. Littlewood. Reasoning about the reliability of multi-version, diverse real-time systems. In Proceedings of IEEE Real-Time Systems Symposium (RTSS), pages 73-81, 2010.
14. A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages. Addison Wesley Longman, 4th edition, 2009.
15. R. Davis and A. Burns. Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. Real-Time Systems Journal, pages 1-40, 2010.
16. D. de Niz, K. Lakshmanan, and R. Rajkumar. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the IEEE Real-Time Systems Symposium, pages 291-300, 2009.
17. M. Joseph and P. Pandya. Finding response times in a real-time system. BCS Computer Journal, 29(5):390-395, 1986. (Pubitemid 17463568)
18. H. Li and S. Baruah. An algorithm for scheduling certifiable mixed-criticality sporadic task systems. In Proceedings of the Real-Time Systems Symposium, pages 183-192, San Diego, CA, 2010. IEEE Computer Society Press.
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. P. Pedro and A. Burns. Schedulability analysis for mode changes in flexible real-time systems. In 10th Euromicro Workshop on Real-Time Systems, pages 172-179. IEEE Computer Society, 1998.
21. L. Sha, R. Rajkumar, J. Lehoczky, and K. Ramamritham. Mode change protocols for priority-driven premptive scheduling. Journal of Real-Time Systems, 1(3):244-264, 1989.
22. K. Tindell, A. Burns, and A. J. Wellings. Mode changes in priority preemptive scheduled systems. In Proceedings Real Time Systems Symposium, pages 100-109, Phoenix, Arizona, 1992.
23. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the IEEE Real-Time Systems Symposium, pages 239-243, Tucson, AZ, December 2007. IEEE Computer Society Press.
24. A. Zabos, R. Davis, A. Burns, and M. G. Harbour. Spare capacity distribution using exact response-time analysis. In 17th International Conference on Real-Time and Network Systems, pages 97-106, 2009.