Sicherstellung metafunktionaler Aspekte durch Correctness-by-construction
Die Entwicklung von Verkehrssystemen erfordert mehrere metafunktionale Aspekte, z.B. Safety, Security, Timing und Ressourcen. Obwohl diese metafunktionalen Aspekte in direkter Beziehung zueinander stehen, sind die Entwicklungsstränge getrennt und haben nur wenige Schnittstellen während der Entwicklung. Daher kann es vorkommen, dass die resultierenden Anforderungsspezifikationen die Notwendigkeit von Verteidigungsmechanismen überbewerten oder die Spezifikationen sogar widersprüchlich sind. Diese Widersprüche treten bei der Systemintegration zutage und führen zu hohen Kosten für Designänderungen.
Das Projekt zielt darauf ab, dieses Problem durch die Modellierung der Auswirkungen von metafunktionalen Aspekten auf das System in Verbindung mit Konstruktionsbeschränkungen zu lösen. Das Ergebnis ist eine Reihe von Regeln, die widersprüchliche und inkonsistente Spezifikationen direkt aufdecken. Diese Idee folgt dem Konzept der Korrektheit durch Konstruktion, wobei ein System, das den Kompositionsregeln folgt, garantiert machbar ist. Die Spezifikationssprache TLA+ dient als Grundlage für die Spezifikation der metafunktionalen Aspekte und der Konstruktionsbeschränkungen.
Veröffentlichungen
- Christine Jakobs, "„Misusing“ Model-Checker to Generate Correct Configurations in Embedded Systems", 2019
@misc{Ja:Misusing:2019,
title = {„Misusing“ Model-Checker to Generate Correct Configurations in Embedded Systems},
author = {Christine Jakobs},
year = {2019},
month = mar,
day = {15},
location = {Chemnitz, Germany},
keywords = {metacorrect},
howpublished = {Talk at the meeting of section operating systems of GI}
- Christine Jakobs, Matthias Werner, Peter Tröger, "Dynamic Composition of Cyber-Physical Systems", in 2019 52th Hawaii International Conference on System Sciences (HICSS), 2019
- Jakobs, Christine, Werner, Matthias, "Safety in sich schnell ändernden Systemen", in Embedded Software Engineering Kongress 2018, 2018
- Christine Jakobs, "Dynamic Composition in Safety-Critical Real-Time Systems", 2018
@misc{Jakobs:2018:DAC,
author={Christine Jakobs},
title={{Dynamic Composition in Safety-Critical Real-Time Systems}},
url={https://www.researchgate.net/publication/326294781_Dynamic_Composition_in_Safety-Critical_Real-Time_Systems},
howpublished={{Poster Session in relation to Richard Newton Young Fellow Award}},
month=6,
keywords= {metacorrect, devproc},
year=2018,
doi={10.13140/RG.2.2.27529.13926}