loading
Documents

Research.Publish.Connect.

Paper

Authors: Steffen Beringer 1 and Heike Wehrheim 2

Affiliations: 1 dSPACE GmbH, Rathenaustr. 26, 33102 Paderborn, Germany ; 2 Department Specification and Modelling of Software Systems, Paderborn University, 33102 Paderborn, Germany

ISBN: 978-989-758-443-5

Keyword(s): AUTOSAR, Consistency Analysis, Timing Analysis, Timing Constraints, Satisfiablilty Modulo Theories, Maximum Satisfiability, Unsatisfiable Core, Timed Automata.

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.94.21.209

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.