TY - GEN
T1 - Modelling behavioural requirements and alignment with verification in the embedded industry
AU - Liebel, Grischa
AU - Anjorin, Anthony
AU - Knauss, Eric
AU - Lorber, Florian
AU - Tichy, Matthias
N1 - Funding Information: The research leading to these results has received partial funding from the European Union’s Seventh Framework Program (FP7/2007-2013) for CRYSTAL-Critical System Engineering Acceleration Joint Undertaking under grant agreement No332830, from Vinnova under DIARIENR 2012-04304, and from the Austrian Research Promotion Agency (FFG) under grant agreement No838498. Publisher Copyright: © 2017 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.
PY - 2017
Y1 - 2017
N2 - 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.
AB - 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.
KW - Empirical software engineering
KW - Model-based engineering
KW - Model-driven engineering
KW - Requirements modelling
KW - Test case generation
KW - Verification
UR - https://www.scopus.com/pages/publications/85046627081
U2 - 10.5220/0006205604270434
DO - 10.5220/0006205604270434
M3 - Conference contribution
T3 - MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
SP - 427
EP - 434
BT - MODELSWARD 2017 - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
A2 - Pires, Luis Ferreira
A2 - Hammoudi, Slimane
A2 - Selic, Bran
PB - SciTePress
T2 - 5th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2017
Y2 - 19 February 2017 through 21 February 2017
ER -