Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design

Benedikt Walter, Jan Martin, Jonathan Schmidt, Hanna Dettki, Stephan Rudolph

2019

Abstract

There exists a gap between (textual) requirements specification and systems created in the system design process. System design, particular in automotive, is a tremendously complex process. The sheer number of requirements for a system is too high to be considered at once. In industrial contexts, complex systems are commonly created through many design iterations with numerous hardware samples and software versions build. System experts include many experience-based design decisions in the process. This approach eventually leads to a somewhat consistent system without formal consideration of requirements or a traceable design decision process. The process leaves a de facto gap between specification and system design. Ideally, requirements constrain the initial solution space and system design can choose between the design variants consistent with that reduced solution space. In reality, the true solution space is unknown and the effect of particular requirements on that solution space is a guessing game. Therefore, we want to propose a process chain that formally includes requirements in the system design process and generates an executable system model. Requirements documented as structured text are mapped into the logic space. Temporal logic allows generation of consistent static state machines. Extracting and modelling input/output signals of that state machine enables us to generate an executable system model, fully derived from its requirements. This bridges the existing gap between requirements specification and system design. The correctness and usefulness of this approach is shown in a case study on automotive systems at Daimler AG.

Paper Citation

in Harvard Style

Walter B., Martin J., Schmidt J., Dettki H. and Rudolph S. (2019). Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 195-202. DOI: 10.5220/0007236601950202

in Bibtex Style

@conference{modelsward19,
author={Benedikt Walter and Jan Martin and Jonathan Schmidt and Hanna Dettki and Stephan Rudolph},
title={Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={195-202},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007236601950202},
isbn={978-989-758-358-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design
SN - 978-989-758-358-2
AU - Walter B.
AU - Martin J.
AU - Schmidt J.
AU - Dettki H.
AU - Rudolph S.
PY - 2019
SP - 195
EP - 202
DO - 10.5220/0007236601950202