Scheduling and control co-design under end-to-end response time constraints in cyber-physical systems

In this paper, we propose an optimization approach for robust control design with end-to-end response time constraints in a multi-resource cyber-physical systems (CPS). We introduce a rigorous performance metric for robust system design from the control theoretic viewpoint. Then, we investigate the impact of end-to-end response time analysis techniques on the control performance. We show that the traditional per-job response time analysis significantly degrades the control performance when real-time tasks visit a resource multiple times. We demonstrate that we can meaningfully improve the control performance by adopting the recently-developed per-resource response time analysis. Our simulation results verify the effectiveness of the proposed co-design framework.

[1]  Michael González Harbour,et al.  Exploiting precedence relations in the schedulability analysis of distributed real-time systems , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[2]  Tarek F. Abdelzaher,et al.  Transforming Distributed Acyclic Systems into Equivalent Uniprocessors under Preemptive and Non-Preemptive Scheduling , 2008, 2008 Euromicro Conference on Real-Time Systems.

[3]  Alberto L. Sangiovanni-Vincentelli,et al.  Maximizing the stability radius of a set of systems under real-time scheduling constraints , 2005, IEEE Transactions on Automatic Control.

[4]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

[5]  George A. Perdikaris Computer Controlled Systems , 1991 .

[6]  Insup Lee,et al.  Opportunities and Obligations for Physical Computing Systems , 2005, Computer.

[7]  Chang-Gun Lee,et al.  Migrating from Per-Job Analysis to Per-Resource Analysis for Tighter Bounds of End-to-End Response Times , 2010, IEEE Transactions on Computers.

[8]  Jun Sun,et al.  Bounding the end-to-end response times of tasks in a distributed real-time system using the direct synchronization protocol , 1996 .

[9]  R. Tempo,et al.  Randomized Algorithms for Analysis and Control of Uncertain Systems , 2004 .

[10]  K.-E. Arzen,et al.  An introduction to control and scheduling co-design , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Period Optimization for Hard Real-time Distributed Automotive Systems , 2007, 2007 44th ACM/IEEE Design Automation Conference.

[12]  Alexandre Seuret,et al.  FeedNetBack-D04.01- State of the art in control/computing co-design , 2009 .

[13]  Lui Sha,et al.  On task schedulability in real-time control systems , 1996, 17th IEEE Real-Time Systems Symposium.

[14]  Tarek F. Abdelzaher,et al.  A Delay Composition Theorem for Real-Time Pipelines , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[15]  Michael González Harbour,et al.  Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[16]  Alan Burns,et al.  Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised , 2007, Real-Time Systems.

[17]  J. Javier Gutiérrez,et al.  Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems , 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).

[18]  J. Javier Gutiérrez,et al.  Best-case analysis for improving the worst-case schedulability test for distributed hard real-time systems , 1998, ECRTS.

[19]  Rolf Ernst,et al.  Improved offset-analysis using multiple timing-references , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[20]  Lui Sha,et al.  Task period selection and schedulability in real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[21]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[22]  Anton Cervin,et al.  Delay-Aware Period Assignment in Control Systems , 2008, 2008 Real-Time Systems Symposium.

[23]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..