Period optimization for hard real-time distributed automotive systems

ABSTRACT

The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple electronic control units (ECUs) connected with standardized buses. The most common configuration features periodic activation of tasks and messages coupled with run-time priority-based scheduling. The correct deployment of applications on such architectures requires end-to-end latency deadlines to be met. This is challenging since deadlines must be enforced across a set of ECUs and buses, each of which supports multiple functionality. The need for accommodating legacy tasks and messages further complicates the scenario.

In this work, we automatically assign task and message periods for distributed automotive systems. This is accomplished by leveraging schedulability analysis within a convex optimization framework to simultaneously assign periods and satisfy end-to-end latency constraints. Our approach is applied to an industrial case study as well as an example taken from the literature and is shown to be both effective and efficient.

REFERENCES

• 1: A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. L. Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91, January 2003.
• 2: R. Bosch. CAN specification, version 2.0. Stuttgart, 1991.
• 3: S. Boyd, S. Kim, L. Vandenberghe, and A. Hassibi. A tutorial on geometric programming. Optimization and Engineering, 2006.
• 4: Stephen Boyd , Lieven Vandenberghe, Convex Optimization, Cambridge University Press, New York, NY, 2004
• 5: Flexray. Protocol specification v2.1 rev. a. Available at http://www.flexray.com, 2006.
• 6: Richard Gerber , Seongsoo Hong , Manas Saksena, Guaranteeing Real-Time Requirements With Resource-Based Calibration of Periodic Processes, IEEE Transactions on Software Engineering, v.21 n.7, p.579-592, July 1995 [doi>10.1109/32.392979]
• 7: M. G. Harbour , M. H. Klein , J. P. Lehoczky, Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems, IEEE Transactions on Software Engineering, v.20 n.1, p.13-28, January 1994 [doi>10.1109/32.263752]
• 8: Bart Kienhuis , Ed F. Deprettere , Pieter van der Wolf , Kees Vissers, A methodology to design programmble embedded systems: the Y-chart approach, Embedded processor design challenges: systems, architectures, modeling, and simulation-SAMOS, Springer-Verlag New York, Inc., New York, NY, 2002
• 9: K. Koh, S. Kim, A. Mutapcic, and S. Boyd. gpposy: A matlab solver for geometric programs in posynomial form. Technical report, Stanford University, May 2006.
• 10: Hermann Kopetz , Andreas Damm , Christian Koza , Marco Mulazzani , Wolfgang Schwabl , Christoph Senft , Ralph Zainlinger, Distributed Fault-Tolerant Real-Time Systems: The Mars Approach, IEEE Micro, v.9 n.1, p.25-40, January 1989 [doi>10.1109/40.16792]
• 11: J. Löfberg. Yalmip: A toolbox for modeling and optimization in MATLAB. In Proc. of the CACSD Conference, Taipei, 2004.
• 12: M. Di Natale, P. Giusto, S. Kanajan, C. Pinello, and P. Popp. Architecture exploration for time-critical and cost-sensitive distributed systems. In Proceedings of the SAE Conference, 2007.
• 13: OSEK. OS version 2.2.3 specification. Available at http://www.osek-vdx.org, 2006.
• 14: Traian Pop , Petru Eles , Zebo Peng, Holistic scheduling and analysis of mixed time/event-triggered distributed embedded systems, Proceedings of the tenth international symposium on Hardware/software codesign, May 06-08, 2002, Estes Park, Colorado [doi>10.1145/774789.774828]
• 15: Razvan Racu , Marek Jersak , Rolf Ernst, Applying Sensitivity Analysis in Real-Time Distributed Systems, Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium, p.160-169, March 07-10, 2005 [doi>10.1109/RTAS.2005.10]
• 16: Manas Saksena , Seongsoo Hong, Resource Conscious Design of Distributed Real-Time Systems: An End-to-End Approach, Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), p.306, October 21-25, 1996
• 17: K. W. Tindell , A. Burns , A. J. Wellings, Allocating hard real-time tasks: an NP-hard problem made easy, Real-Time Systems, v.4 n.2, p.145-165, May 1992 [doi>10.1007/BF00365407]
• 18: K. Tindell, A. Burns, and A. J. Wellings. Calculating controller area network CAN message response times. Control Eng. Practice, 3(8):1163--1169, 1995.
• 19: Wei Zheng , Marco Di Natale , Claudio Pinello , Paolo Giusto , Alberto Sangiovanni Vincentelli, Synthesis of task and message activation models in real-time distributed automotive systems, Proceedings of the conference on Design, automation and test in Europe, April 16-20, 2007, Nice, France

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

General Terms:
Algorithms, Performance

Keywords:
activation period, automotive systems, end-to-end latency