Streamlined Development Processes through Design-by-Contract
Traceability and reproducibility are the primary concerns in certifiable development processes for transportation systems. The vast amount of different modeling and analysis tools in such processes prevent a direct transfer of results between development steps and work products. As a result, it is necessary to collect the results in many different tools for tracing decisions and open points.
The idea of this project is to accompany the development process strands with iteratively refined contracts. Those contracts serve as a continuous documentation of the work products of analysis steps but also of assumptions regarding the surrounding systems and development steps.
Our approach uses the specification language TLA+ to formulate the contracts. Currently, we aim to transfer the contracts into programming languages, e.g., Rust. Rust directly provides some guarantees but also provides a crate for contracts.
Publications
- Christine Jakobs, Matthias Werner, Peter Tröger, "Dynamic Composition of Cyber-Physical Systems", in 2019 52th Hawaii International Conference on System Sciences (HICSS), 2019
- 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}
- Jakobs, Christine, Werner, Matthias, "Safety in sich schnell ändernden Systemen", in Embedded Software Engineering Kongress 2018, 2018