Consistency Analysis of AUTOSAR Timing Requirements

Steffen Beringer, Heike Wehrheim

2020

Abstract

Applying formal methods in the automotive industries can significantly increase the correctness and reliability of the developed system architectures. This in particular demands a formal specification and analysis of requirements on systems. Automotive software architectures are, however, often described using the (semi-formal) AUTOSAR standard which is based on various meta models as exchange formats. This complicates a formal analysis. In this paper, we provide a formalization of timing requirements within the AUTOSAR standard. Timing requirements specify constraints on events of the underlying software architecture. We provide a translation of timing requirements into logical constraints which enable the usage of SMT solvers to analyse requirements. Specifically, we employ this translation to check consistency of the requirements and use maximum satisfiability solving for localization of erroneous requirements.

Paper Citation

in Harvard Style

Beringer S. and Wehrheim H. (2020). Consistency Analysis of AUTOSAR Timing Requirements.In Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-443-5, pages 15-26. DOI: 10.5220/0009766600150026

in Bibtex Style

@conference{icsoft20,
author={Steffen Beringer and Heike Wehrheim},
title={Consistency Analysis of AUTOSAR Timing Requirements},
booktitle={Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2020},
pages={15-26},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009766600150026},
isbn={978-989-758-443-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Consistency Analysis of AUTOSAR Timing Requirements
SN - 978-989-758-443-5
AU - Beringer S.
AU - Wehrheim H.
PY - 2020
SP - 15
EP - 26
DO - 10.5220/0009766600150026