Navigation

Operating Systems Group
Operating Systems Group

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

    2019

  1. Christine Jakobs, Matthias Werner, Peter Tröger, "Dynamic Composition of Cyber-Physical Systems", in 2019 52th Hawaii International Conference on System Sciences (HICSS), 2019 
  2. Christine Jakobs, "„Misusing“ Model-Checker to Generate Correct Configurations in Embedded Systems", 2019
     


  3. 2018

  4. Christine Jakobs, "Dynamic Composition in Safety-Critical Real-Time Systems", 2018
     
  5. Jakobs, Christine, Werner, Matthias, "Safety in sich schnell ändernden Systemen", in Embedded Software Engineering Kongress 2018, 2018 

Contact