An Empirical Investigation of Using Models During Requirements Engineering in the Automotive Industry
Doctoral thesis, 2018
The automotive industry is undergoing a major transformation from a manufacturing industry towards an industry that relies heavily on software. As one of the main factors for project success, requirements engineering (RE) plays a major role in this transition. Similar to other areas of automotive engineering, the use of models during RE has been suggested to increase productivity and tackle increasing complexity by means of abstraction. Existing modelling frameworks often prescribe a variety of different, formal models for RE, trying to maximise the benefit obtained from model-based engineering (MBE). However, these frameworks are typically based on assumptions from anecdotal evidence and experience, without empirical data supporting these assumptions.
The overall aim of our research is to investigate the potential benefits and drawbacks of using model-based RE in an automotive environment based on empirical evidence. To do so, we present an investigation of the current industrial practice of MBE in the automotive industry, existing challenges in automotive RE, and potential use cases for model-based RE. Furthermore, we explore two use cases for model-based RE, namely the creation of behavioural requirements models for validation and verification purposes and the use of existing trace models to support communication.
We address the aims of this thesis using three empirical strategies: case study, design science and survey. We collected quantitative and qualitative data using interviews as well as questionnaires.
Our results show that using models during automotive RE can be beneficial, if restricted to certain aspects of RE. In particular, models supporting communication and stakeholder interaction are promising. We show that the use of abstract models of behavioural requirements are considered beneficial for system testing purposes, even though they abstract from the detailed functional requirements. Furthermore, we demonstrate that existing data can be understood as a model to uncover dependencies between stakeholders.
Our results question the feasibility to construct and maintain large amounts of formal models for RE. Instead, models during RE should be used for a few, important use cases. Additionally, MBE can be used as a means to understand existing problems in software engineering.
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering (Chalmers), Software Engineering for Testing, Requirements, Innovation and Psychology
Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice
Software and Systems Modeling,; Vol. 17(2018)p. 91-113
Organisation and Communication Problems in Automotive Requirements Engineering
Requirements Engineering,; Vol. 23(2018)p. 145-167
LoCo CoCo: Automatically Constructing Coordination and Communication Networks from Model-Based Systems Engineering Data
Information and Software Technology,; Vol. 92(2017)p. 179-193
Liebel, G., Tichy, M., Knauss, E. Use, Potential, and Showstoppers of Models in Automotive Requirements Engineering
Liebel, G., Anjorin, A., Knauss, E., Lorber, F., Tichy, M. Exploring Behavioural Requirements Modelling in the Embedded Industry
In most engineering disciplines, the use of formal models is everyday practice. For example, electrical engineers build circuit models to understand the properties of an electric circuit. Similarly, architectural engineers construct floor plans to understand the physical layout of a building. However, the use of models in software engineering is limited.
The aim of this research is to investigate how models could be used to help understanding, documenting, and maintaining the required functionality in automotive systems. Using empirical research methods, we investigate the potential benefits and drawbacks of such a model-based approach in the automotive industry.
Our results show that the use of formal models could be beneficial. However, a wide adoption is currently hindered by a number of different obstacles, e.g., limitations in modelling tools and the sheer complexity of constructing such models. Instead, formal models for specialised purposes, e.g., to verify that safety-critical functions work as intended, or informal models, e.g., sketches of intended functionality, can aid engineers to build tomorrow's automobiles.
Other Computer and Information Science
Areas of Advance
Information and Communication Technology
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 4418
Chalmers University of Technology
Beta, Saga, Campus Lindholmen, Hörselgången 4
Opponent: Prof. Jon Whittle, Faculty of IT, Monash University, Australia