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

Reinhard Schneider, Dip Goswami, Sohaib Zafar, Martin Lukasiewycz, Samarjit Chakraborty

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

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.
Original languageEnglish
Title of host publication2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Pages139-148
Number of pages10
ISBN (Electronic)978-1-4503-0715-4
ISBN (Print)978-1-4503-0715-4
DOIs
Publication statusPublished - 2011
Externally publishedYes
Event2011 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2011) - Taipe, Taiwan
Duration: 9 Oct 201114 Oct 2011

Conference

Conference2011 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2011)
Abbreviated titleCODES+ISSS 2011
CountryTaiwan
CityTaipe
Period9/10/1114/10/11
OtherPart of the Embedded Systems Week 2011.

Fingerprint Dive into the research topics of 'Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems'. Together they form a unique fingerprint.

  • Cite this

    Schneider, R., Goswami, D., Zafar, S., Lukasiewycz, M., & Chakraborty, S. (2011). Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. In 2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) (pp. 139-148). Piscataway: Institute of Electrical and Electronics Engineers. https://doi.org/10.1145/2039370.2039394