loading
Documents

Research.Publish.Connect.

Paper

Authors: Benedikt Walter 1 ; Jan Martin 1 ; Jonathan Schmidt 1 ; Hanna Dettki 1 and Stephan Rudolph 2

Affiliations: 1 Research & Development MB Passenger Cars, Daimler AG, Kolumbusstraße 19 + 21, 71059 Sindelfingen, Germany ; 2 University of Stuttgart, IFB, Pfaffenwaldring 31, 70569 Stuttgart, Germany

ISBN: 978-989-758-358-2

Keyword(s): Requirements Engineering, Formalization, Executable Finite State Machines, System Design.

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. (More)

PDF ImageFull Text

Download
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 54.242.193.41

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:
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

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

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

Login or register to post comments.

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