Abstract / Description of output
AUTOSAR Adaptive Platform (AP) is an emerging industry standard that tackles the challenges of modern auto-motive software design, but does not provide adequate mechanisms to enforce deterministic execution. This poses profound challenges to testing and maintenance of the application software, which is particularly problematic for safety-critical applications. In this paper, we analyze the problem of nondeterminism in AP and propose a framework for the design of deterministic automotive software that transparently integrates with the AP communication mechanisms. We illustrate our approach in a case study based on the brake assistant demonstrator application that is provided by the AUTOSAR consortium. We show that the original implementation is nondeterministic and discuss a deterministic solution based on our framework.
Original language | English |
---|---|
Title of host publication | 2020 Design, Automation Test in Europe Conference Exhibition (DATE) |
Editors | Giorgio Di Natale, Cristiana Bolchini, Elena-Ioana Vatajelu |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 822-827 |
Number of pages | 6 |
ISBN (Electronic) | 978-3-9819263-4-7 |
ISBN (Print) | 978-1-7281-4468-9 |
DOIs | |
Publication status | Published - 15 Jun 2020 |
Event | Design, Automation & Test in Europe Conference & Exhibition (DATE) 2020 - Virtual Conference Duration: 21 Apr 2020 → 30 Jun 2020 https://date20.date-conference.com/ |
Publication series
Name | Design, Automation and Test in Europe Conference and Exhibition |
---|---|
Publisher | IEEE |
ISSN (Print) | 1530-1591 |
ISSN (Electronic) | 1558-1101 |
Conference
Conference | Design, Automation & Test in Europe Conference & Exhibition (DATE) 2020 |
---|---|
Abbreviated title | DATE 2020 |
Period | 21/04/20 → 30/06/20 |
Internet address |
Keywords / Materials (for Non-textual outputs)
- automotive engineering
- reliability and testing
- software and system safety
- software engineering