research-article

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems

Authors:

Reinhard Schneider,

Martin Lukasiewycz,

Samarjit ChakrabortyAuthors Info & Claims

CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Pages 139 - 148

https://doi.org/10.1145/2039370.2039394

Published: 09 October 2011 Publication History

Abstract

Emerging bus protocols such as FlexRay provide an expedient platform for the design of automotive control systems due to its high bandwidth and deterministic temporal behavior. However, the choice of suitable platform parameters such as task and message schedules becomes a challenging design problem as the protocol is complex in nature and enforces a tight coupling between local task schedules on ECUs and global bus schedules. Although there exist several commercial off-the-shelf (COTS) design tools for FlexRay and control systems, current tools do not provide any mechanism for automatically synthesizing the platform parameters from the controller specifications. In this work we synthesize controllers subject to specified control goals while taking into account platform-specific properties. In particular, we translate the timing constraints derived from the control design into platform constraints that need to be satisfied by the control-related tasks and messages. For this purpose, we formulate and solve a constraint satisfaction problem (CSP) to synthesize feasible platform parameters that can be realized by the underlying operating systems and the FlexRay bus. Our design flow may be easily integrated with existing FlexRay design tools and will significantly ease (and automate) the existing design process. We show the applicability of our results by implementing two automotive control systems on a Hardware-in-the-Loop (HiL) setup and study how different bus configurations affect the controller synthesis and the choice of platform parameters.

References

[1]

W. Wolf. Cyber-physical Systems. IEEE Computer, 42(3):88--89, 2009.

Digital Library

[2]

The FlexRay Communications System Specifications, Ver. 2.1. www.flexray.com.

[3]

A. Schedl. Goals and Architecture of FlexRay at BMW. In Slides presented at the Vector FlexRay Symposium, 2007.

[4]

J. Broy and K. D. Müller-Glaser. The Impact of Time-triggered Communication in Automotive Embedded Systems. In Proc. of SIES'07, pages 353--356, 2007.

[5]

M. Grenier, L. Havet, and N. Navet. Configuring the Communication on FlexRay: The Case of the Static Segment. In Proc. ERTS'08, 2008.

[6]

S. Reichelt, O. Scheickl, and G. Tabanoglu. The Influence of Real-time Constraints on the Design of FlexRay-based Systems. In Proc. of DATE, pages 858--863, 2009.

Digital Library

[7]

T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei. Timing Analysis of the FlexRay Communication Protocol. Real-Time Systems, 39:205--235, 2008.

Digital Library

[8]

M. Lukasiewycz, M. Glaß, P. Milbredt, and J. Teich. FlexRay Schedule Optimization of the Static Segment. In Proc. of CODES+ISSS'09, pages 363--372, 2009.

Digital Library

[9]

H. Zeng, M. Di Natale, A. Ghosal, and A. Sangiovanni-Vincentelli. Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Transactions on Industrial Informatics, 7(99):1--1, 2011.

[10]

T. Pop, P. Pop, P. Eles, and Z. Peng. Bus Access Optimisation for FlexRay-based Distributed Embedded Systems. In Proc. of DATE'07, pages 51--56, 2007.

Digital Library

[11]

K. Schmidt and E.G. Schmidt. Schedulability Analysis and Message Schedule Computation for the Dynamic Segment of FlexRay. In Proc. of VTC'10, pages 1--5, 2010.

[12]

H. Voit, R. Schneider, D. Goswami, A. Annaswamy, and S. Chakraborty. Optimizing Hierarchical Schedules for Improved Control Performance. In Proc. of SIES'07, pages 9--17, 2010.

[13]

S. Samii, A. Cervin, P. Eles, and Z. Peng. Integrated Scheduling and Synthesis of Control Applications on Distributed Embedded Systems. In Proc. of DATE'09, pages 57--62, 2009.

Digital Library

[14]

D. Deto, J. P. Lehoczky, L. Sha, and K. G. Shin. On Task Schedulability in Real-time Control Systems. In Proc. of RTSS'96, 1996.

Digital Library

[15]

S. Samii, P. Eles, and Z. Peng. Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications. In Proc. of DELTA'11, pages 66--71, 2011.

Digital Library

[16]

D. Goswami, R. Schneider, and S. Chakraborty. Co-design of Cyber-Physical Systems via Controllers with Flexible Delay Constraints. In Proc. of ASP-DAC, pages 225--230, 2011.

Digital Library

[17]

SIMTOOLS GmbH. www.simtools.at.

[18]

Elektrobit. www.elektrobit.com.

[19]

K. Zhou, J. C. Doyle, and K. Glover. Robust and Optimal Control. Prentice Hall Upper Saddle River, NJ, 1996.

Digital Library

[20]

Control Tutorials for Matlab. http://www.engin.umich.edu/group/ctm.

[21]

Modeling a Car Suspension in States Space / State Space Systems with Matlab. http://www.swarthmore.edu/NatSci/echeeve1/Class/e12/Lectures/SS/html/MatlabForSS.html.

[22]

Python-Constraint. http://labix.org/python-constraint.

Cited By

Zhu TGanguli PGupta AXu SCapogrosso LFraccaroli ECristani MFummi FChakraborty S(2025)Controllers for Edge-Cloud Cyber-Physical Systems2025 17th International Conference on COMmunication Systems and NETworks (COMSNETS)10.1109/COMSNETS63942.2025.10885702(198-206)Online publication date: 6-Jan-2025
https://doi.org/10.1109/COMSNETS63942.2025.10885702
Chakraborty SJha SSamii SMundhenk P(2024)Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2ACM Transactions on Cyber-Physical Systems10.1145/36502108:2(1-17)Online publication date: 8-Mar-2024
https://dl.acm.org/doi/10.1145/3650210
Xu SHobbs CGhosh BDuggirala PChakraborty S(2024)Certifiable and Efficient Autonomous Cyber-Physical Systems Design2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)10.1109/VLSID60093.2024.00049(259-263)Online publication date: 6-Jan-2024
https://doi.org/10.1109/VLSID60093.2024.00049
Show More Cited By

Index Terms

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems

Recommendations

Quantifying Notions of Extensibility in FlexRay Schedule Synthesis

FlexRay has now become a well-established in-vehicle communication bus at most original equipment manufacturers (OEMs) such as BMW, Audi, and GM. Given the increasing cost of verification and the high degree of crosslinking between components in ...
Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications
DELTA '11: Proceedings of the 2011 Sixth IEEE International Symposium on Electronic Design, Test and Application

FlexRay is a popular communication protocol in modern automotive systems with several computation nodes and communication units. The complex temporal behavior of such systems depends highly on the FlexRay configuration and influences the performance of ...
An Effective GA-Based Scheduling Algorithm for FlexRay Systems

An advanced communication system, the FlexRay system, has been developed for future automotive applications. It consists of time-triggered clusters, such as drive-by-wire in cars, in order to meet different requirements and constraints between various ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CODES+ISSS '11: Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

October 2011

402 pages

ISBN:9781450307154

DOI:10.1145/2039370

Program Chairs:
Robert P. Dick
University of Michigan
,
Jan Madsen
Technical University of Denmark

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 October 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ESWeek '11

Sponsor:

ESWeek '11: Seventh Embedded Systems Week

October 9 - 14, 2011

Taipei, Taiwan

Acceptance Rates

Overall Acceptance Rate 280 of 864 submissions, 32%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

33
Total Citations
View Citations
154
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Zhu TGanguli PGupta AXu SCapogrosso LFraccaroli ECristani MFummi FChakraborty S(2025)Controllers for Edge-Cloud Cyber-Physical Systems2025 17th International Conference on COMmunication Systems and NETworks (COMSNETS)10.1109/COMSNETS63942.2025.10885702(198-206)Online publication date: 6-Jan-2025
https://doi.org/10.1109/COMSNETS63942.2025.10885702
Chakraborty SJha SSamii SMundhenk P(2024)Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2ACM Transactions on Cyber-Physical Systems10.1145/36502108:2(1-17)Online publication date: 8-Mar-2024
https://dl.acm.org/doi/10.1145/3650210
Xu SHobbs CGhosh BDuggirala PChakraborty S(2024)Certifiable and Efficient Autonomous Cyber-Physical Systems Design2024 37th International Conference on VLSI Design and 2024 23rd International Conference on Embedded Systems (VLSID)10.1109/VLSID60093.2024.00049(259-263)Online publication date: 6-Jan-2024
https://doi.org/10.1109/VLSID60093.2024.00049
Capogrosso LXu SFraccaroli ECristani MFummi FChakraborty S(2024)Learning-Enabled CPS for Edge-Cloud Computing2024 IEEE 14th International Symposium on Industrial Embedded Systems (SIES)10.1109/SIES62473.2024.10767956(132-139)Online publication date: 23-Oct-2024
https://doi.org/10.1109/SIES62473.2024.10767956
Gifford RGalarza-Jimenez FXuan Phan LZamani M(2024)Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS)10.1109/RTAS61025.2024.00032(306-319)Online publication date: 13-May-2024
https://doi.org/10.1109/RTAS61025.2024.00032
Hobbs CXu SGhosh BFraccaroli EDuggirala PChakraborty S(2024)Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS)10.1109/ICCPS61052.2024.00016(99-110)Online publication date: 13-May-2024
https://doi.org/10.1109/ICCPS61052.2024.00016
Xu SHobbs CSong YGhosh BZhu TAktar SYang LSheng YJiang WHu JDuggirala PChakraborty S(2024)GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems2024 International Conference on Assured Autonomy (ICAA)10.1109/ICAA64256.2024.00018(67-76)Online publication date: 10-Oct-2024
https://doi.org/10.1109/ICAA64256.2024.00018
El-Fatyany AWang XDuggirala PChakraborty SPasricha SSingh A(2024)Special Session: Emerging Architecture Design, Control, and Security Challenges in Software Defined Vehicles2024 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)10.1109/CODES-ISSS60120.2024.00014(27-36)Online publication date: 29-Sep-2024
https://doi.org/10.1109/CODES-ISSS60120.2024.00014
Ghosh BHobbs CXu SSmith DAnderson JThiagarajan PBerg BDuggirala PChakraborty S(2024)Statistical verification of autonomous system controllers under timing uncertaintiesReal-Time Systems10.1007/s11241-023-09417-x60:1(108-149)Online publication date: 29-Jan-2024
https://doi.org/10.1007/s11241-023-09417-x
Bordoloi UChakraborty SJochim MJoshi PRaghuraman ARamesh S(2023)Autonomy-driven Emerging Directions in Software-defined Vehicles2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)10.23919/DATE56975.2023.10136910(1-6)Online publication date: Apr-2023
https://doi.org/10.23919/DATE56975.2023.10136910
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten