TU Darmstadt / ULB / TUprints

Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime

Lochau, Malte :
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
Technische Universität, Darmstadt
[Habilitation], (2017)

[img]
Preview
Habilitationsschrift - Text
habilitationsschrift_lochau.pdf - Published Version
Available under Only rights of use according to UrhG.

Download (4MB) | Preview
Item Type: Habilitation
Title: Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime
Language: English
Abstract:

Cyber-physical systems (CPS) are frequently characterized by three essential properties: CPS perform complex computations, CPS conduct control tasks involving continuous data- and signal-processing, and CPS are (parts of) distributed, and even mobile, communication systems. In addition, modern software systems like CPS have to cope with ever-growing extents of variability, namely variability in space by means of predefined configuration options (e.g., software product lines), variability at runtime by means of preplanned reconfigurations (e.g., runtime-adaptive systems), and variability over time by means of initially unforeseen updates to new versions (e.g., software evolution). Finally, depending on the particular application domain, CPS often constitute safety- and mission-critical parts of socio-technical systems. Thus, novel quality-assurance methodologies are required to systematically cope with the interplay between the different CPS characteristics on the one hand, and the different dimensions of variability on the other hand. This thesis gives an overview on recent research and open challenges in model-based specification and quality-assurance of CPS in the presence of variability. The main focus of this thesis is laid on computation and communication aspects of CPS, utilizing evolving dynamic software product lines as engineering methodology and model-based testing as quality-assurance technique. The research is illustrated and evaluated by means of case studies from different application domains.

Place of Publication: Darmstadt
Classification DDC: 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Divisions: 18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute for Computational Electromagnetics > Real-Time Systems
18 Department of Electrical Engineering and Information Technology > Institute for Computational Electromagnetics
Date Deposited: 05 Dec 2017 14:28
Last Modified: 05 Dec 2017 14:28
URN: urn:nbn:de:tuda-tuprints-69925
Refereed: 2 November 2017
URI: http://tuprints.ulb.tu-darmstadt.de/id/eprint/6992
Export:
Actions (login required)
View Item View Item

Downloads

Downloads per month over past year