Determinism in Adaptive Autosar

Author(s): Christian Menard, Andrés Goens, Marten Lohstroh, and Jeronimo Castrillon

Citation
Christian Menard, Andrés Goens, Marten Lohstroh, and Jeronimo Castrillon. "Determinism in Adaptive Autosar". Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE), March 2020.

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.

Electronic Downloads

Citation Formats

  • HTML
                    
    Christian Menard, Andrés Goens, Marten Lohstroh, and Jeronimo Castrillon.
    "<a href="https://www.icyphy.org/publications/2020_MenardEtAl/">Determinism in Adaptive Autosar</a>".
    <i>Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE)</i>, March 2020.
                    
                    
  • Plain Text
                    
    Christian Menard, Andrés Goens, Marten Lohstroh, and Jeronimo Castrillon.
    "Determinism in Adaptive Autosar".
    Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE), March 2020.
                    
                    
  • BibTeX
                        
    @inproceedings{MenardEtAl:20:AUTOSAR,
    	author = {Christian Menard, Andrés Goens, Marten Lohstroh, and Jeronimo Castrillon},
    	title = {Determinism in Adaptive Autosar},
    booktitle = {Proceedings of the 2020 Design, Automation and Test in Europe Conference (DATE)},
    month = {March},
    year = {2020},
    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.}, URL = {https://www.icyphy.org/publications/2020_MenardEtAl/} }