Abstract
Cyber-physical systems are an emerging class of applications that require tightly coupled interaction between the computational and physical worlds. These systems are typically realized using sensor/actuator interfaces connected with processing backbones. Safety is a primary concern in cyber-physical systems since the actuators directly influence the physical world. However, unexpected or unusual conditions in the physical world can manifest themselves as increased workload demands being offered to the computational infrastructure of a cyber-physical system. Guaranteeing system safety under overload conditions is therefore a prime concern in developing and deploying cyber-physical systems. In this work, we study this problem in the context of a radar surveillance system, where tasks have different levels of criticality or influence on system safety. In the face of overloads, we observe that the desirable property in such systems is that the more critical tasks continue to meet their timing requirements. We capture this mixed-criticality overload requirement using a formal overload-tolerance metric called ductility. Using this overload-tolerance metric, we first develop our solution in the context of uniprocessor systems, where we show that Zero-Slack scheduling (ZS) algorithms can be used to improve the overload behavior in mixed-criticality cyber-physical systems compared to existing fixed-priority scheduling algorithms like Rate-Monotonic Scheduling (RMS) and Criticality-As-Priority-Assignment (CAPA). Leveraging these results, we then develop a criticality-aware task allocation algorithm called Compress-on-Overload Packing (COP) for dealing with multiprocessor cyber-physical systems. Evaluation results show that COP achieves up to five times better ductility than traditional load balancing bin-packing algorithms like Worst-Fit Decreasing (WFD). Finally, we apply ZS and COP to the radar surveillance system to demonstrate the resulting improvement in system overload behavior. Our implementation of the Zero-Slack scheduler is available as a part of the Linux/RK project, which provides resource kernel extensions for Linux.
- Anderson, J., Baruah, S., and Brandenburgh, B. 2009. Multicore operating-system support for mixed criticality. In Proceedings of the Workshop on Mixed Criticality: Roadmap to Evolving UAV Certification.Google Scholar
- Andersson, B. and Jonsson, J. 2002. Preemptive multiprocessor scheduling anomalies. In Proceedings of the International Parallel and Distributed Processing Symposium. 1-12. Google Scholar
Digital Library
- Baruah, S. and Haritsa, J. 1997. Scheduling for overload in real-time systems. IEEE Trans. Comput. 46, 9, 1034--1039. Google Scholar
Digital Library
- Baruah, S., Li, H., and Stougie, L. 2010a. Mixed-Criticality scheduling: Improved resource-augmentation results. In Proceedings of the ISCA International Conference on Computers and their Applications.Google Scholar
- Baruah, S., Li, H., and Stougie, L. 2010b. Towards the design of certifiable mixed-criticality systems. In Proceedings of the IEEE Real-Time Technology and Applications Symposium (RTAS'10). Google Scholar
Digital Library
- Baruah, S. and Vestal, S. 2008. Schedulability analysis of sporadic tasks with multiple criticality specifications. In Proceedings of the Euromicro Conference on Real-Time Systems. Google Scholar
Digital Library
- Brandenburg, B. B., Calandrino, J. M., and Anderson, J. H. 2008. On the scalability of real-time scheduling algorithms on multicore platforms: A case study. In Proceedings of the IEEE International Real-Time Systems Symposium. 157--169. Google Scholar
Digital Library
- Brandt, S. A., Banachowski, S., Lin, C., and Bisson, T. 2003. Dynamic integrated scheduling of hard real-time, soft real-time and non-real-time processes. In Proceedings of the 24th IEEE International Real-Time Systems Symposium (RTSS'03). Google Scholar
Digital Library
- Buttazzo, G., Lipari, G., and Abeni, L. 1998. Elastic task model for adaptive rate control. In Proceedings of the IEEE International Real-Time Systems Symposium (RTSS'98). Google Scholar
Digital Library
- Cho, S., Lee, S.-K., Han, A., and Lin, K.-J. 2002. Efficient real-time scheduling algorithms for multiprocessor systems. IEICE Trans. Comm. E85-B, 12, 2859--2867.Google Scholar
- Davis, R. and Wellings, A. 1995. Dual priority scheduling. In Proceedings of the 16th IEEE International Real-Time Systems Symposium (RTSS'95). 100--109. Google Scholar
Digital Library
- Davis, R. I. 1993. Approximate slack stealing algorithms for fixed priority preemptive systems. Tech. rep. YCS217, Department of Computer Science, University of York.Google Scholar
- De Niz, D., Lakshmanan, K., and Rajkumar, R. 2009. On the scheduling of mixed-criticality real-time task sets. In Proceedings of the International IEEE Real-Time Systems Symposium (RTSS'09). Google Scholar
Digital Library
- Gardner, M. and Liu, J. 1999. Performance algorithms for scheduling real-time systems with overrun and overlaod. In Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS'99).Google Scholar
- Greco, S. 2005. Multiple Criteria Decision Analysis: State of the Art Surveys. Springer.Google Scholar
- Homan, D. 2009. Designing future systems for airworthiness certification. http://www.cse.wustl.edu/-cdgill/CPSWEEK09_MCAR%20overview%20BoF%20CPS%20PA%20approved.pdfGoogle Scholar
- Johnson, D., Demers, A., Ullman, D., Garey, M., and Graham, R. 1974. Worst-Case performance bounds for simple one-dimensional packing algorithms. SIAM J. Comput. 3, 299--325.Google Scholar
Digital Library
- Kolawole, M. O. 2002. Radar Systems, Peak Detection and Tracking. Newnes.Google Scholar
- Lakshmanan, K., de Niz, D., Rajkumar, R., and Moreno, G. 2010. Resource allocation in distributed mixed-criticality cyber-physical systems. In Proceedings of the 30th International Conference on Distributed Computing Systems (ICDCS'10). Google Scholar
Digital Library
- Lakshmanan, K., Rajkumar, R., and Lehoczky, J. 2009. Partitioned fixed-priority preemptive scheduling for multi-core processors. In Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS'09). Google Scholar
Digital Library
- Lauzac, S., Melhem, R., and Mosse, D. 1998. Comparison of global and partitioning schemes for scheduling rate monotonic tasks on a multiprocessor. In Proceedings of the 10th Euromicro Workshop on Real-Time Systems. 188--195.Google Scholar
- Liu, C. L. and Layland, J. W. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20, 1, 46--61. Google Scholar
Digital Library
- Lopez, J. M., Diaz, J. L., and Garcia, D. F. 2001. Minimum and maximum utilization bounds for multiprocessor rm scheduling. In Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS'01). Google Scholar
Digital Library
- Mejia-Alvarez, P., Melhem, R., and Mosse, D. 2000. An incremental approach to scheduling during overloads in real-time systems. In Proceedings of the 21st IEEE International Real-Time Systems Symposium (RTSS'00). Google Scholar
Digital Library
- Mollison, M., Erickson, J., Anderson, J., Baruah, S., and Scoredos, J. 2010. Mixed-Criticality real-time scheduling for multicore systems. In Proceedings of the 7th IEEE International Conference on Embedded Systems and Software (ICESS'10). Google Scholar
Digital Library
- Oikawa, S. and Rajkumar, R. 1998. Linux/rk: A portable resource kernel in linux. In Proceedings of the 19th IEEE International Real-Time Systems Symposium (RTSS'98).Google Scholar
- Rajkumar, R., Juvva, K., Molano, A., and Oikawa, S. 2001. Resource kernels: A resource-centric approach to real-time and multimedia systems. http://www.cs.cmu.edu/afs/cs/project/rtmach/public/papers/mmcn98.ps. Google Scholar
Digital Library
- Rajkumar, R., Lee, C., Lehoczky, J., and Siewiorek, D. 1997. A resource allocation model for qos management. In Proceedings of the 18th IEEE International Real-Time Systems Symposium (RTSS'97). Google Scholar
Digital Library
- Sha, L., Lehoczky, J. P., and Rajkumar, R. 1987. Task scheduling in distributed real-time systems. In Proceedings of the IEEE Industrial Electronics Conference.Google Scholar
- Sha, L., Rajkumar, R., and Lehoczky, J. 1990. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Comput. 39, 9, 1175--1185. Google Scholar
Digital Library
- Shih, C.-S., Ganti, P., and Sha, L. 2004. Schedulability and fairness for computation tasks in surveillance radar systems. In Proceedings of the 10th Real-Time and Embedded Computing Systems and Applications Conference.Google Scholar
- Thuel, S. and Lehoczky, J. 1992. An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. In Proceedings of the International IEEE Real-Time Systems Symposium (RTSS'92). 110--123.Google Scholar
- Thuel, S. and Lehoczky, J. 1994. Algorithms for scheduling hard aperiodic tasks in fixed-priority systems using slack stealing. In Proceedings of the International IEEE Real-Time Systems Symposium (RTSS'94). 22--33.Google Scholar
- Vestal, S. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the International IEEE Real-Time Systems Symposium (RTSS'07). 239--243. Google Scholar
Digital Library
- Zanakis, S. H., Solomon, A., Wishart, N., and Dublish, S. 1998. Multi-Attribute decision making: A simulation comparison of select methods. Euro. J. Oper. Res. 107, 507--529.Google Scholar
Cross Ref
Index Terms
Overload provisioning in mixed-criticality cyber-physical systems
Recommendations
Resource Allocation in Distributed Mixed-Criticality Cyber-Physical Systems
ICDCS '10: Proceedings of the 2010 IEEE 30th International Conference on Distributed Computing SystemsLarge-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with multiple processors. Many cyber-physical applications will be safety critical ...
Towards Independent In-Cloud Evolution of Cyber-Physical Systems
CPSNA '14: Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and ApplicationsThe capabilities of Cyber-Physical Systems (CPSs) are increasingly being extended towards new composite services deployed across a range of smart sensing and controlling devices. These services enable the emergence of multiple end-to-end cyber-physical ...
Towards mixed criticality task scheduling in cyber physical systems: Challenges and perspectives
Highlights- The paper surveys the state-of-the-art mixed criticality scheduling algorithms, both for single and multiple processing units.
AbstractCyber physical systems (CPSs) are a fast-evolving technology based on a strong synergy between heterogeneous sensing, networking, computation and control modules. When coping with critical applications that require real-time ...






Comments