Utilizing system models for early prototype configurations in engineering complex technical systems
Early assurance of properties in complex technical systems can reduce engineering effort and even entire iterations. However, verification and validation face challenges caused by interdisciplinary dependencies and late availability of prototypes. Although Model-Based Systems Engineering offers formal system models for...