OPENPROD ITEA 2 Final Review Meeting 18 12

OPENPROD ITEA 2 Final Review Meeting 18. 12. 2012 EDF - Site de Chatou EADS Innovation Works Wladimir Schamai

OPENPROD WP 2 Results • • • • • • • • • • • • • • • ITEA 2 Final Review Meeting OPENPROD 18. 12. 2012 • Modelica. ML (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 – v. VDR (virtual Verification of Designs against Requirements) implemented in the Modelica. ML 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

Modelica. ML www. openmodelica. org/modelicaml • • • • • • • • • • • • • • • ITEA 2 Final Review Meeting OPENPROD 18. 12. 2012 Modelica. ML 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 Modelica. ML engineers can describe • System requirements • System design (structure and behavior) • Usage-, test scenarios • v. VDR (virtual Verification of Designs against Requirements) is a method that enables a model-based design verification against requirements • v. VDR is supported in Modelica. ML

v. VDR – Method for Model-Based Deign Verification ITEA 2 Final Review Meeting OPENPROD 18. 12. 2012 • • • • • • • • • • • • • • • Actor Task Formalize Requirements Created Artifact RMM Requirement Monitor Models Analyze Formalize Designs DAM Design Alternative Models Formalize Scenarios SM Scenario Models AUTOMATED Create Verification Models AUTOMATED Execute and Create Report Analyze Results VM Verification Models Reports Modify iterations Verify Goal: Enable on-demand verification of designs against requirements using automated model composition at any time during development.

ITEA 2 Final Review Meeting Automated Model Composition OPENPROD 18. 12. 2012 • • • • • • • • • • • • • • • • 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? Designs Alternative Models Scenario Models Requirement Models … DAM DAM Create Verification Models … SM SM RMM 1 RMM RMM 1. Verification Model VM DAM SM RMM 2. Verification Model VM … … … n. Verification Model … RMM RMM

Verification Results Analysis • • • • • • • • • • • • • • • ITEA 2 Final Review Meeting OPENPROD 18. 12. 2012 HTML verification summary report Plots

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