Certification-cognizant scheduling of tasks with pessimistic frequency specification

7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012 - Conference Proceedings

Volumn , Issue , 2012, Pages 31-38

  Baruah, Sanjoy ^a  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CERTIFICATION REQUIREMENTS; CRITICAL SOFTWARE; EMBEDDED PLATFORMS; FREQUENCY SPECIFICATIONS; RECURRENT TASKS; RUNTIMES; SAFETY-CRITICAL;

SAFETY ENGINEERING; SCHEDULING;

EMBEDDED SYSTEMS;

EID: 84871603744     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SIES.2012.6356567     Document Type: Conference Paper

References (19)

1. S. Baruah, V. Bonifaci, G. D'Angelo, A. Marchetti-Spaccamela, S. van der Ster, and L. Stougie. Mixed-criticality scheduling of sporadic task systems. In Proceedings of the 19th Annual European Symposium on Algorithms, pages 555-566, Saarbrucken, Germany, September 2011. Springer-Verlag.
2. 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.
3. S. Baruah, A. Mok, and L. Rosier. Preemptively scheduling hard-realtime sporadic tasks on one processor. In Proceedings of the 11th Real-Time Systems Symposium, pages 182-190, Orlando, Florida, 1990. IEEE Computer Society Press.
4. S. K. 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pages 90-101. Springer,2010.
5. G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Second edition, 2005.
6. M. Dertouzos. Control robotics : the procedural control of physical processors. In Proceedings of the IFIP Congress, pages 807-813, 1974.
7. F. Dorin, P. Richard, M. Richard, and J. Goossens. Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities. Real-Time Systems, 2010.
8. N. Fisher, T. Baker, and S. Baruah. Algorithms for determining the demand-based load of a sporadic task system. In Proceedings of the International Conference on Real-time Computing Systems and Applications, Sydney, Australia, August 2006. IEEE Computer Society Press.
9. N. Guan, P. Ekberg, M. Stigge, and W. Yi. Effective and efficient scheduling for certifiable mixed criticality sporadic task systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS), Vienna, Austria, 2011. IEEE Computer Society Press.
10. 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.
11. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Journal of the ACM, 20(1):46-61, 1973.
12. A. 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.
13. P.J.Prisaznuk. Integrated modular avionics. In Proceedings of the IEEE 1992 National Aerospace and Electronics Conference (NAECON 1992), volume 1, pages 39-45, May 1992.
14. I. Ripoll, A. Crespo, and A. K. Mok. Improvement in feasibility testing for real-time tasks. Real-Time Systems: The International Journal of Time-Critical Computing, 11:19-39, 1996.
15. M. Stigge, P. Ekberg, N. Guan, and W. Yi. The digraph real-time task model. In Proceedings of the IEEE Real-Time Technology and Applications Symposium (RTAS), pages 71-80, Chicago, 2011. IEEE Computer Society Press.
16. M. Stigge, P. Ekberg, N. Guan, and W. Yi. On the tractability of digraph-based task models. In Proceedings of the EuroMicro Conference on Real-Time Systems, Porto, PT., July 2011. IEEE Computer Society Press.
17. 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.
18. F. Zhang and A. Burns. Schedulability analysis for real-time systems with EDF scheduling. IEEE Transactions on Computers, 2009.
19. F. Zhang, A. Burns, and S. K. Baruah. Sensitivity analysis of arbitrary deadline real-time systems with edf scheduling. Real-Time Systems, 47(3):224-252, 2011.