ACVI 2016 - Architecture Centric Virtual Integration Workshop (ACVI)

Safety-critical, real-time embedded systems can benefit from model-driven virtual integration approaches that help capture system specifications and verify them against requirements and potential design mistakes. These models can lead to early error detection, which in turn can lead to a reduction of error leakage and rework costs. By weaving architectural and formal models (e.g., behavioral, error, mechanical, etc.) one can obtain various analysis techniques for performance, safety, security analysis, etc.; perform model simulations; and test the code that is generated from these models.