loading
Documents

Research.Publish.Connect.

Paper

Authors: Grischa Liebel 1 ; Anthony Anjorin 2 ; Eric Knauss 1 ; Florian Lorber 3 and Matthias Tichy 4

Affiliations: 1 Chalmers University of Technology and University of Gothenburg, Sweden ; 2 Universität Paderborn, Germany ; 3 Aalborg University, Denmark ; 4 University of Ulm, Germany

ISBN: 978-989-758-210-3

Keyword(s): Requirements Modelling, Verification, Test Case Generation, Empirical Software Engineering, Model-based Engineering, Model-Driven Engineering.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model-Based Testing and Validation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering ; Systems Engineering

Abstract: Formalising requirements has the potential to solve problems arising from deficiencies in natural language descriptions. While behavioural requirements are rarely described formally in industry, increasing complexity and new safety standards have renewed the interest in formal specifications. The goal of this paper is to explore how behavioural requirements for embedded systems can be formalised and aligned with verification tasks. Over the course of a 2.5-year project with industry, we modelled existing requirements from a safety-critical automotive software function in several iterations. Taking practical limitations and stakeholder preferences into account, we explored the use of models on different abstraction levels. The final model was used to generate test cases and was evaluated in three interviews with relevant industry practitioners. We conclude that models on a high level of abstraction are most suitable for industrial requirements engineering, especially when they need to be interpreted by other stakeholders. (More)

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 18.207.134.207

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:
Liebel, G.; Anjorin, A.; Knauss, E.; Lorber, F. and Tichy, M. (2017). Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry.In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 427-434. DOI: 10.5220/0006205604270434

@conference{modelsward17,
author={Grischa Liebel. and Anthony Anjorin. and Eric Knauss. and Florian Lorber. and Matthias Tichy.},
title={Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={427-434},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006205604270434},
isbn={978-989-758-210-3},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry
SN - 978-989-758-210-3
AU - Liebel, G.
AU - Anjorin, A.
AU - Knauss, E.
AU - Lorber, F.
AU - Tichy, M.
PY - 2017
SP - 427
EP - 434
DO - 10.5220/0006205604270434

Login or register to post comments.

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