loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

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 and Germany ; 2 University of Stuttgart, IFB, Pfaffenwaldring 31, 70569 Stuttgart and Germany

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

Related Ontology Subjects/Areas/Topics: Constraint Modeling and Languages ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Transformation ; Model Transformations and Generative Approaches ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Systems Engineering

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 spac e 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)

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.81.72.247

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 - MODELSWARD; ISBN 978-989-758-358-2; ISSN 2184-4348, SciTePress, 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 - MODELSWARD},
year={2019},
pages={195-202},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007236601950202},
isbn={978-989-758-358-2},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design
SN - 978-989-758-358-2
IS - 2184-4348
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
PB - SciTePress