Timing analysis of safety-critical automotive software: The AUTOSAFE tool flow

Martin Becker, Sajid Mohamed, Karsten Albers, P.P. Chakrabarti, Samarjit Chakraborty, Pallab Dasgupta, Soumyajit Dey, Ravindra Metta

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

Abstract

Automotive software applications implement a variety of control algorithms, with many of them being safety-critical in nature. A typical design flow starts with modeling these control algorithms using tools like MATLAB/Simulink. However, at this stage, a number of assumptions, like negligible sensor-to-actuator delay and instantaneous computation of the controller software, are often made. In particular, the details of the software implementation and the computing platform, both eventually defining the timing properties of the applications, are not accounted for. Such idealistic assumptions can cause a significant deviation of the control performance compared to what was proven at the modeling stage. This is usually addressed with multiple design iterations, which are costly and may lead to over-provisioned and thus poorly designed systems. In this paper we attempt to address this problem by proposing a design-and tool flow that integrates software-and platform-level timing information into the high-level modeling stage. We outline our proposed flow using concrete, industry-strength design tools.

Original languageEnglish
Title of host publicationProceedings - 22nd Asia-Pacific Software Engineering Conference, APSEC 2015
EditorsJing Sun, Y. Raghu Reddy, Arun Bahulkar, Anjaneyulu Pasala
PublisherIEEE Computer Society
Pages385-392
Number of pages8
ISBN (Electronic)9781467396448
DOIs
Publication statusPublished - 12 May 2016
Externally publishedYes
Event22nd Asia-Pacific Software Engineering Conference, APSEC 2015 - New Delhi, India
Duration: 1 Dec 20154 Dec 2015

Conference

Conference22nd Asia-Pacific Software Engineering Conference, APSEC 2015
Country/TerritoryIndia
CityNew Delhi
Period1/12/154/12/15

Fingerprint

Dive into the research topics of 'Timing analysis of safety-critical automotive software: The AUTOSAFE tool flow'. Together they form a unique fingerprint.

Cite this