Guaranteeing Meta-functional Aspects Through Correctness-by-construction
The development of transportation systems demands several meta-functional aspects, e.g., safety, security, timing, and resources. Although those meta-functional aspects directly interrelate, the development strands are separate and have only a few interfaces during development. Therefore, the resulting requirement specifications may overestimate the necessity for defense mechanisms, or the specifications may even be contradictory. Those contradictions reveal during system integration leading to high costs for design changes.
The project aims to tackle this problem by modeling the impacts of meta-functional aspects on the system, accompanied by construction constraints. The result is a set of rules directly revealing contradictory and inconsistent specifications. This idea follows the concept of correctness-by-construction, whereby a system that follows the composition rules guarantees to be feasible. The specification language TLA+ serves as a basis for specifying the meta-functional aspects and the construction constraints.
Publications
- 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}