Compositional Analysis and Synthesis for Critical Embedded Applications +
Environment for model-based rigorous adaptive co-design and operation of CPS
Operational eXcellence by Integrating Learned information into AcTionable Expertise
EMPHYSIS – Embedded systems with physical models in the production code software
Round-trip Engineering and Variability Management Platform and Process
React to Effects Fast by Learning, Evaluation, and eXtracted InformatiON
Model Driven Physical Systems Operation
