Book
Open access
Oct 2026
Correct-by-Construction Evolution of Digital Twins for Real-Time Autonomous Systems
Safety-critical cyber-physical systems must evolve---through adaptation and post-deployment updates---without forfeiting the guarantees on which their certification rests. Yet digital-twin (DT)--based model-based systems engineering (MBSE) lacks a formal mechanism for preserving correctness as the physical twin (PT) an...
Luca Brodo, G. Scalora, Stefan Henkler
· Proceedings of the 8th Inter... · 0 citations