OPENPROD ITEA2 Final Review Meeting

18.12.2012

EDF - Site de Chatou

EADS Innovation Works

Wladimir Schamai

Product models

Requirementsmodels

Unified Modeling: Meta-modeling& Modelica& UML & OWL

BusinessProcessControl

RequirementsCapture

Model-Driven Design(PIM)

Compilation & Code Gen

(PSM)

SystemSimulation

Software &Syst Product

Feedback

Platformmodels

Processmodels

Product models

Requirementsmodels

Unified Modeling: Meta-modeling& Modelica& UML & OWL

BusinessProcessControl

RequirementsCapture

Model-Driven Design(PIM)

Compilation & Code Gen

(PSM)

SystemSimulation

Software &Syst Product

Feedback

Platformmodels

Processmodels

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • OPENPROD18.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

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • OPENPROD18.12.2012

ITEA2 Final Review MeetingModelicaML 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

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • OPENPROD18.12.2012

ITEA2 Final Review MeetingvVDR – Method for Model-Based Deign Verification

RMMRMM Requirement Monitor Models

Scenario ModelsSMSM

Design Alternative Models

DAMDAM

VMVM Verification Models

AUTOMATED

Task Created Artifact

Goal: Enable on-demand verification of designs against requirements

using automated model composition at any time

during development.

AUTOMATED

Actor

Reports

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • OPENPROD18.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?

RMMRMM1. Verification

Model VMVM DAMDAM SMSM

2. Verification Model VMVM …

…

Requirement ModelsScenario ModelsDesigns Alternative Models

DAMDAMSMSM

DAMDAM

DAMDAM SMSM

SMSM

SMSMSMSM

SMSM RMMRMM 1

RMMRMM

RMMRMM

RMMRMM

RMMRMMSMSM RMMRMM

RMMRMM

RMMRMM

RMMRMM

… …n. Verification

Model

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • OPENPROD18.12.2012

ITEA2 Final Review Meeting

Verification Results Analysis

HTML verification summary report

Plots

• • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • • OPENPROD18.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