Testing is an important quality assurance activity during development of automotive software. Automotive OEMs and suppliers use test case specifications to specify, mostly informal, test cases as well as supporting information like traces to requirements. While the quality of the test case specifications has a high influence on the quality of the subsequent testing, quality of informal automoti...

In recent years, quality assurance (QA) and good manufacturing practice (GMP) have become increasingly important in the pharmaceutical industry. They are of particular importance in the manufacture of veterinary vaccines since such products have the following specific characteristics: The active ingredients are almost always produced by the manufacturer (and not as is generally the case by anot...

Our research focuses on applying formal methods to elevate the design quality of Simulink. As a modelling and simulation tool, Simulink is deficient when coping with the increasing requirements of high-level assurance and timing analysis. We propose a systematic approach to translate Simulink models to Timed Interval Calculus (TIC), a continuous-time based formal language for specifying and rea...

[Context and Motivation] Requirements engineering (RE) research is expected to provide methods that address the specific challenges of industrial systems engineering. [Question/problem] For this purpose, researchers need a detailed understanding of the needs and expectations that the industry has regarding RE methods. [Principal ideas/results] To identify the key industry needs, we have conduct...