1. OPENPROD ITEA2 Final Review Meeting 18.12.2012 EDF - Site de Chatou EADS Innovation Works Wladimir Schamai

2. OPENPROD 18.12.2012 ITEA2 Final Review Meeting OPENPROD WP2 Results ModelicaML (Integration of UML and Modelica) –Supports model-based development of whole products, both software parts (UML) and hardware parts (Modelica). –UML to Modelica code generation, Modelica code import and synchronization Method for Model-Based Design Verification –vVDR (virtual Verification of Designs against Requirements) implemented in the ModelicaML prototype –Shows what is necessary to enable design verification using models –Shows how to formalize requirements, design alternative and verification scenarios –Enables the automation of model composition, simulation and results evaluation

3. OPENPROD 18.12.2012 ITEA2 Final Review Meeting ModelicaML www.openmodelica.org/modelicaml www.openmodelica.org/modelicaml ModelicaML integrates a subset of the UML and the Modelica language in order to leverage standardized graphical notations of UML for system modeling and the simulation power of Modelica In ModelicaML engineers can describe System requirements System design (structure and behavior) Usage-, test scenarios vVDR (virtual Verification of Designs against Requirements) is a method that enables a model-based design verification against requirements vVDR is supported in ModelicaML

4. OPENPROD 18.12.2012 ITEA2 Final Review Meeting vVDR – Method for Model-Based Deign Verification Formalize Requirements Formalize Designs Formalize Scenarios Create Verification Models Execute and Create Report Analyze Results RMM Requirement Monitor Models Scenario Models SM Design Alternative Models DAM VM Verification Models AUTOMATED TaskCreated Artifact Goal: Enable on-demand verification of designs against requirements using automated model composition at any time during development. AUTOMATED Actor Reports

5. OPENPROD 18.12.2012 ITEA2 Final Review Meeting Automated Model Composition We want to verify different design alternatives against sets of requirements using different scenarios 1) How to find valid combinations of design alternatives, scenarios and requirements in order to enable an automated composition of verification models? 2) Having found a valid combination: How to bind all components correctly? … Create Verification Models … RMM 1. Verification Model VM DAM SM 2. Verification Model VM … … Requirement ModelsScenario ModelsDesigns Alternative Models DAM SM DAM SM RMM 1 SM RMM …… n. Verification Model

6. OPENPROD 18.12.2012 ITEA2 Final Review Meeting Verification Results Analysis HTML verification summary report Plots

7. OPENPROD 18.12.2012 ITEA2 Final Review Meeting Conclusion The integration of UML and Modelica (ModelicaML) –Enables the creation of executable system models in UML/SysML by using Modelica as action language –This work has identified and reported issues in the UML/SysML OMG specifications and contributed to the OMG SysML/Modelica transformation standard –ModelicaML State Machines implementation contributed to the Modelica state machines to be standardized by the Modelica Association vVDR (virtual Verification of Designs against Requirements) –Enables an automated model-based verification of designs against requirements –Is integrated in the ModelicaML prototype