Tobias Pett

Evaluating Consistency Preservation for Multi-Domain Variability Propagation

Today, model-driven engineering of variant-rich systems involves parallel development in multiple domains such as electronics, mechanics, and software. Rapid evolution can lead to inconsistencies, such as conflicting system models, which can have disastrous consequences in safety-critical functions (e.g. vehicle brakes...