QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems

Cyber-physical systems (CPS) are characterized by a tight interaction between computational resources and physical systems. Such systems typically consist of a mix of time-critical real-time tasks and safety-critical control tasks. Time-critical applications are normally associated with hard real-time constraints which need to be guaranteed by the system. On the other hand, control applications are not strictly related to deadlines but rather to quality of control (QoC). Traditional scheduling policies such as Deadline Monotonic can guarantee timing constraints, however, they do not allow for QoC optimized schedules. Optimizing overall QoC while guaranteeing all deadlines constitutes a challenging scheduling problem which is increasingly attracting attention. In this paper, we present an efficient schedule synthesis algorithm for such mixed-criticality systems. The proposed algorithm has a polynomial complexity and ensures all hard real-time constraints while maximizing overall QoC for all control applications.

[1]  Ajinkya Bhave,et al.  Performance bounds on state-feedback controllers with network delay , 2008, 2008 47th IEEE Conference on Decision and Control.

[2]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[3]  Sanjoy K. Baruah,et al.  Towards the Design of Certifiable Mixed-criticality Systems , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.

[4]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[5]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[6]  Sanjoy K. Baruah,et al.  Preemptively scheduling hard-real-time sporadic tasks on one processor , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[7]  Reinhold Plösch,et al.  Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3 , 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

[8]  Paulo Tabuada,et al.  Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[9]  Neeraj Suri,et al.  Dependability driven integration of mixed criticality SW components , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[10]  Ragunathan Rajkumar,et al.  On the Scheduling of Mixed-Criticality Real-Time Task Sets , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[11]  Ragunathan Rajkumar,et al.  Mixed-Criticality Task Synchronization in Zero-Slack Scheduling , 2011, 2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.

[12]  David D. Ward,et al.  ISO 26262 safety cases: Compliance and assurance , 2011 .

[13]  Petru Eles,et al.  Integrated scheduling and synthesis of control applications on distributed embedded systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[14]  Antonio Bicchi,et al.  Designing real-time embedded controllers using the anytime computing paradigm , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[15]  Lothar Thiele,et al.  A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[16]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[17]  John M. Rushby,et al.  New challenges in certification for aircraft software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).