loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Markus Fockel ; Jörg Holtmann ; Thorsten Koch and David Schmelter

Affiliation: Fraunhofer IEM, Germany

Keyword(s): Requirement Patterns, Modal Sequence Diagrams, Safety Requirements, Real-time Requirements.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Constraint Modeling and Languages ; Domain-Specific Modeling and Domain-Specific Languages ; Executable UML ; Frameworks for Model-Driven Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Driven Software Development ; Software Engineering ; Syntax and Semantics of Modeling Languages

Abstract: Distributed, software-intensive systems such as automotive electronic control units have to handle various situations employing message-based coordination. The growing complexity of such systems results in an increasing difficulty to achieve a high quality of the systems’ requirements specifications. Scenario-based requirements engineering addresses the message-based coordination of such systems and enables, if underpinned with formal modeling languages, automatic analyses for ensuring the quality of requirements specifications. However, formal requirements modeling languages require high expertise of the requirements engineers and many manual iterations until specifications reach high quality. Patterns provide a constructive means for assembling high-quality solutions by applying reusable and established building blocks. Thus, they also gained momentum in requirements documentation. In order to support the requirements engineers in the systematic conception of formal, scenario-based requirements specification models, we hence introduce in this paper a requirement pattern catalog for a requirements modeling language. We illustrate and discuss the application of the requirement patterns with an example of requirements for an automotive electronic control unit. (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 44.220.251.57

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:
Fockel, M.; Holtmann, J.; Koch, T. and Schmelter, D. (2018). Formal, Model- and Scenario-based Requirement Patterns. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 311-318. DOI: 10.5220/0006554103110318

@conference{modelsward18,
author={Markus Fockel. and Jörg Holtmann. and Thorsten Koch. and David Schmelter.},
title={Formal, Model- and Scenario-based Requirement Patterns},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2018},
pages={311-318},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006554103110318},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - Formal, Model- and Scenario-based Requirement Patterns
SN - 978-989-758-283-7
IS - 2184-4348
AU - Fockel, M.
AU - Holtmann, J.
AU - Koch, T.
AU - Schmelter, D.
PY - 2018
SP - 311
EP - 318
DO - 10.5220/0006554103110318
PB - SciTePress