Achieving Determinism in Adaptive AUTOSAR

Christian Menard; Andrés Goens; Marten Lohstroh; Jeronimo Castrillon

doi:10.23919/DATE48585.2020.9116430

Achieving Determinism in Adaptive AUTOSAR

Christian Menard, Andrés Goens, Marten Lohstroh, Jeronimo Castrillon

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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	https://doi.org/10.23919/DATE48585.2020.9116430
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	https://date20.date-conference.com/

Keywords / Materials (for Non-textual outputs)

automotive engineering
reliability and testing
software and system safety
software engineering

Access to Document

10.23919/DATE48585.2020.9116430Licence: All Rights Reserved

https://ieeexplore.ieee.org/abstract/document/9116430Licence: All Rights Reserved

Cite this

Menard, C., Goens, A., Lohstroh, M., & Castrillon, J. (2020). Achieving Determinism in Adaptive AUTOSAR. In G. Di Natale, C. Bolchini, & E.-I. Vatajelu (Eds.), 2020 Design, Automation Test in Europe Conference Exhibition (DATE) (pp. 822-827). (Design, Automation and Test in Europe Conference and Exhibition). Institute of Electrical and Electronics Engineers. https://doi.org/10.23919/DATE48585.2020.9116430

Menard, Christian ; Goens, Andrés ; Lohstroh, Marten et al. / Achieving Determinism in Adaptive AUTOSAR. 2020 Design, Automation Test in Europe Conference Exhibition (DATE). editor / Giorgio Di Natale ; Cristiana Bolchini ; Elena-Ioana Vatajelu. Institute of Electrical and Electronics Engineers, 2020. pp. 822-827 (Design, Automation and Test in Europe Conference and Exhibition).

@inproceedings{6d422d8c050a424689d100d785eca787,

title = "Achieving Determinism in Adaptive AUTOSAR",

abstract = "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.",

keywords = "automotive engineering, reliability and testing, software and system safety, software engineering",

author = "Christian Menard and Andr{\'e}s Goens and Marten Lohstroh and Jeronimo Castrillon",

year = "2020",

month = jun,

day = "15",

doi = "10.23919/DATE48585.2020.9116430",

language = "English",

isbn = "978-1-7281-4468-9",

series = "Design, Automation and Test in Europe Conference and Exhibition",

publisher = "Institute of Electrical and Electronics Engineers",

pages = "822--827",

editor = "{Di Natale}, Giorgio and Cristiana Bolchini and Elena-Ioana Vatajelu",

booktitle = "2020 Design, Automation Test in Europe Conference Exhibition (DATE)",

address = "United States",

note = "Design, Automation & Test in Europe Conference & Exhibition (DATE) 2020 , DATE 2020 ; Conference date: 21-04-2020 Through 30-06-2020",

url = "https://date20.date-conference.com/",

}

Menard, C, Goens, A, Lohstroh, M & Castrillon, J 2020, Achieving Determinism in Adaptive AUTOSAR. in G Di Natale, C Bolchini & E-I Vatajelu (eds), 2020 Design, Automation Test in Europe Conference Exhibition (DATE). Design, Automation and Test in Europe Conference and Exhibition, Institute of Electrical and Electronics Engineers, pp. 822-827, Design, Automation & Test in Europe Conference & Exhibition (DATE) 2020 , 21/04/20. https://doi.org/10.23919/DATE48585.2020.9116430

Achieving Determinism in Adaptive AUTOSAR. / Menard, Christian; Goens, Andrés; Lohstroh, Marten et al.
2020 Design, Automation Test in Europe Conference Exhibition (DATE). ed. / Giorgio Di Natale; Cristiana Bolchini; Elena-Ioana Vatajelu. Institute of Electrical and Electronics Engineers, 2020. p. 822-827 (Design, Automation and Test in Europe Conference and Exhibition).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Achieving Determinism in Adaptive AUTOSAR

AU - Menard, Christian

AU - Goens, Andrés

AU - Lohstroh, Marten

AU - Castrillon, Jeronimo

PY - 2020/6/15

Y1 - 2020/6/15

N2 - 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.

AB - 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.

KW - automotive engineering

KW - reliability and testing

KW - software and system safety

KW - software engineering

U2 - 10.23919/DATE48585.2020.9116430

DO - 10.23919/DATE48585.2020.9116430

M3 - Conference contribution

SN - 978-1-7281-4468-9

T3 - Design, Automation and Test in Europe Conference and Exhibition

SP - 822

EP - 827

BT - 2020 Design, Automation Test in Europe Conference Exhibition (DATE)

A2 - Di Natale, Giorgio

A2 - Bolchini, Cristiana

A2 - Vatajelu, Elena-Ioana

PB - Institute of Electrical and Electronics Engineers

T2 - Design, Automation & Test in Europe Conference & Exhibition (DATE) 2020

Y2 - 21 April 2020 through 30 June 2020

ER -

Menard C, Goens A, Lohstroh M, Castrillon J. Achieving Determinism in Adaptive AUTOSAR. In Di Natale G, Bolchini C, Vatajelu EI, editors, 2020 Design, Automation Test in Europe Conference Exhibition (DATE). Institute of Electrical and Electronics Engineers. 2020. p. 822-827. (Design, Automation and Test in Europe Conference and Exhibition). doi: 10.23919/DATE48585.2020.9116430

Achieving Determinism in Adaptive AUTOSAR

Abstract / Description of output

Publication series

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this