Grischa Liebel, Computer Science and Engineering

​An Empirical Investigation of Using Models During Requirements Engineering in the Automotive Industry

Software plays a key role in automobiles. Among others, software helps to prevent accidents, supports the driver, and offers infotainment functions. However, understanding what needs to be build, the so-called requirements, is an essential part for the success of such software functionality.

To abstract from the detailed and often complex requirements, the use of formal models has been suggested. 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.
​Grischa Liebel belongs to the Software Engineering division of Computer Science and Engineering.

Opponent
Professor Jon Whittle, Monash University, Australia.

Grading Committee
Tao Yue, Simula Research Laboratory, Norway.
Anna Perini, Fundazione Bruno Kessler, Italy.
Professor Juergen Dingel, Queens University and Royal Military College, Canada.

Read the thesis here.

Category Thesis defence
Location: Beta, lecture hall, Saga, Campus Lindholmen
Starts: 28 May, 2018, 13:00
Ends: 28 May, 2018, 14:00

Published: Fri 20 Apr 2018. Modified: Fri 04 May 2018