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