Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study

The systematic design of automotive control applications is a challenging problem due to lack of understanding of the complex and tight interactions that often manifest during the integration of components from the control design phase with the components from software generation and deployment on actual platform/network. In order to address this challenge, we present a systematic methodology and a toolchain using well-defined models to integrate components from various design phases with specific emphasis on restricting the complex interactions that manifest during integration such as timing, deployment, and quantization. We present an experimental platform for the evaluation and testing of the design process. The approach is applied to the development of an adaptive cruise control, and we present experimental results that demonstrate the efficacy of the approach.

[1]  Jürgen Mössinger.  Software in Automotive Systems , 2010, IEEE Software.

[2]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[3]  P. P. Yip,et al.  Multiple Sliding Surface Control: Theory and Application , 2000 .

[4]  Ming-Li Wang,et al.  On the Software-Based Development and Verification of Automotive Control Systems , 2007, IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society.

[5]  Christian Steger,et al.  Automotive software architecture: Migration challenges from an event-triggered to a time-triggered communication scheme , 2009, 2009 Seventh Workshop on Intelligent solutions in Embedded Systems.

[6]  Hannes Schwarz,et al.  Model-Driven Software Development , 2013 .

[7]  K Yi,et al.  An investigation of intelligent cruise control laws for passenger vehicles , 2001 .

[8]  Rahul Mangharam,et al.  AutoPlug: An automotive test-bed for electronic controller unit testing and verification , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[9]  Gabor Karsai,et al.  UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages , 2003 .

[10]  Alberto L. Sangiovanni-Vincentelli,et al.  Embedded System Design for Automotive Applications , 2007, Computer.

[11]  Edward A. Lee,et al.  Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.

[12]  Ilya V. Kolmanovsky,et al.  Control, Computing and Communications: Technologies for the Twenty-First Century Model T , 2007, Proceedings of the IEEE.

[13]  Stefan Kowalewski,et al.  Test front loading in early stages of automotive software development based on AUTOSAR , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[14]  Manfred Broy,et al.  Cross-layer analysis, testing and verification of automotive control software , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[15]  Huei Peng,et al.  Comparative analyses of three types of headway control systems for heavy commercial vehicles , 1996 .

[16]  Tom Erkkinen,et al.  Converting Models from Floating Point to Fixed Point for Production Code Generation , 2008 .

[17]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[18]  Oliver Sinnen,et al.  Task Scheduling for Parallel Systems , 2007, Wiley series on parallel and distributed computing.

[19]  J. Karl Hedrick,et al.  Intelligent cruise control applications: real-time embedded hybrid control software , 2005, IEEE Robotics & Automation Magazine.

[20]  Petros A. Ioannou,et al.  Autonomous intelligent cruise control , 1993 .

[21]  Rance Cleaveland,et al.  Validating Automotive Control Software Using Instrumentation-Based Verification , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

[22]  Oliver Sinnen,et al.  Task Scheduling for Parallel Systems (Wiley Series on Parallel and Distributed Computing) , 2007 .

[23]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[24]  Forrest Shull,et al.  Creating Software Process Capability/Maturity Models , 2010, IEEE Software.

[25]  Alberto L. Sangiovanni-Vincentelli,et al.  Electronic-System Design in the Automobile Industry , 2003, IEEE Micro.

[26]  B.A. Guvenc,et al.  Adaptive cruise control simulator: a low-cost, multiple-driver-in-the-loop simulator , 2006, IEEE Control Systems.

[27]  Nicolas Navet,et al.  Trends in Automotive Communication Systems , 2005, Proceedings of the IEEE.

[28]  J. K. Hedrick,et al.  Vehicle Speed and Spacing Control Via Coordinated Throttle and Brake Actuation , 1996 .

[29]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[30]  K. S. Gurumurthy,et al.  An Insight into the Hardware and Software Complexity of ECUs in Vehicles , 2011 .