Model-based development and verification of control software for electric vehicles

Dip Goswami, Martin Lukasiewycz, Matthias Kauer, Sebastian Steinhorst, Alejandro Masrur, Samarjit Chakraborty, Ramesh S

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

5 Citations (Scopus)

Abstract

Most innovations in the automotive domain are realized by electronics and software. Modern cars have up to 100 Electronic Control Units (ECUs) that implement a variety of control applications in a distributed fashion. The tasks are mapped onto different ECUs, communicating via a heterogeneous network, comprising communication buses like CAN, FlexRay, and Ethernet. For electric vehicles, software functions play an essential role, replacing hydraulic and mechanic control systems. While model-based software development and verification are already used extensively in the automotive domain, their importance significantly increases in electric vehicles as safety-critical functions might no longer rely on mechanical (fall-back) solutions. The need for reducing costs, size, and weight in electric vehicles has also resulted in a considerable interest in topics such as the consolidation of ECUs as well as efficient implementation of control software. In this paper we discuss two broad issues related to model-based software development and verification in electric vehicles. The first is concerned with how to ensure that model-level semantics are preserved in an implementation, which has important implications on the verification and certification of control software. The second issue is related to techniques for reducing the computational and communication demands of distributed automotive control algorithms. For both these topics we provide a broad introduction to the problem followed by a discussion on state-of-the-art techniques.
Original languageEnglish
Title of host publication50th ACM/EDAC/IEEE Design Automation Conference (DAC)
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
Number of pages9
ISBN (Electronic)978-1-4503-2071-9
DOIs
Publication statusPublished - 2013
Externally publishedYes
EventACM/EDAC/IEEE Design Automation Conference (DAC) - Austin, United States
Duration: 2 Jun 20136 Jun 2013

Conference

ConferenceACM/EDAC/IEEE Design Automation Conference (DAC)
CountryUnited States
CityAustin
Period2/06/136/06/13
OtherDAC '13

Fingerprint Dive into the research topics of 'Model-based development and verification of control software for electric vehicles'. Together they form a unique fingerprint.

  • Cite this

    Goswami, D., Lukasiewycz, M., Kauer, M., Steinhorst, S., Masrur, A., Chakraborty, S., & S, R. (2013). Model-based development and verification of control software for electric vehicles. In 50th ACM/EDAC/IEEE Design Automation Conference (DAC) [96] Piscataway: Institute of Electrical and Electronics Engineers. https://doi.org/10.1145/2463209.2488853