Lochau, Malte (2017)
Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime.
Technische Universität Darmstadt, 2017
Habilitation, Zweitveröffentlichung
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
Kurzbeschreibung (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.
| Typ des Eintrags: | Habilitation |
|---|---|
| Erschienen: | 2017 |
| Autor(en): | Lochau, Malte |
| Art des Eintrags: | Zweitveröffentlichung |
| Titel: | Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime |
| Sprache: | Englisch |
| Publikationsjahr: | 2017 |
| Ort: | Darmstadt |
| Publikationsdatum der Erstveröffentlichung: | 2017 |
| Ort der Erstveröffentlichung: | Darmstadt |
| Datum der mündlichen Prüfung: | 2 November 2017 |
| URL / URN: | http://tuprints.ulb.tu-darmstadt.de/6992 |
| Kurzbeschreibung (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. |
| URN: | urn:nbn:de:tuda-tuprints-69925 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
| Hinterlegungsdatum: | 10 Dez 2017 20:55 |
| Letzte Änderung: | 16 Feb 2024 08:30 |
| PPN: | |
| Datum der mündlichen Prüfung / Verteidigung / mdl. Prüfung: | 2 November 2017 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Verfügbare Versionen dieses Eintrags
- Model-based Quality Assurance of Cyber-Physical Systems with Variability in Space, over Time and at Runtime. (deposited 10 Dez 2017 20:55) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum