Sys MLFMI Etienne BROSSE www modelio org WHY

Sys. ML/FMI Etienne BROSSE www. modelio. org

WHY SYSML/FMI? www. modelio. org 2

Sys. ML/FMI § Simulation of Sys. ML model/Cyber Physical System o Model checking, requirement validation, etc. § FMI main advantages o Tool Independent/available Grammar o Implemented by a lot of tool http: //fmi-standard. org/tools/ • Catia, Dymola, Simulink, Excel, Open. Modelica, Simulation. X, other. o Allows integration of many languages. § Already done o Rhapsody, Papyrus, No. Magic, PTC, No. Magic, other? www. modelio. org 3

FMI: OVERVIEW www. modelio. org 4

FMI Approach “If the real product is to be assembled from a wide range of parts interacting in complex ways then it should be possible to create a virtual product that can be assembled from a set of models that each represent a combination of parts” www. modelio. org 5

FMI Standard § 2. 0 Version at http: //fmi-standard. org/ § Functional Mock-up Interface (FMI) definition o Static structure o XML description of Inputs/Outputs (model. Description) § Functional Mock-up Unit (FMU) definition o Behavior implementation of a FMI, o Model. Description, o Dll (+optional C Code). § Master Algorithm (provided) o FMU simulation behaviour. www. modelio. org 6

INTO-CPS FMI simulation process Model Descriptions exports imports Modelio configures configure Modelio Overture FMU 20 -sim Open. Modelica RTTester FMU FMU co-simulate launch Application COE (Co-simulation Orchestration Engine) gather generates Result www. modelio. org 7 7

Sys. ML/FMI Model Description www. modelio. org 8

Sys. ML/FMI Model Description www. modelio. org 9

INTO-CPS FMI simulation process Model Descriptions exports imports Modelio configures configure Modelio Overture FMU 20 -sim Open. Modelica RTTester FMU FMU co-simulate launch Application COE (Co-simulation Orchestration Engine) gather generates Result www. modelio. org 10 10

Sys. ML/FMI Behavioral Description www. modelio. org 11

INTO-CPS FMI simulation process Model Descriptions exports imports Modelio configures configure Modelio Overture FMU 20 -sim Open. Modelica RTTester FMU FMU co-simulate launch Application COE (Co-simulation Orchestration Engine) gather generates Result www. modelio. org 12 12

Sys. ML/FMI Simulation configuration www. modelio. org 13

INTO-CPS FMI simulation process Model Descriptions exports imports Modelio configures configure Modelio Overture FMU 20 -sim Open. Modelica RTTester FMU FMU co-simulate launch Application COE (Co-simulation Orchestration Engine) gather generates Result www. modelio. org 14 14

SYSML REQUIREMENTS www. modelio. org 15

FMI Static Structural definition § Define list of exposed variables o Type (primitive or structured) o Causality • Parameter, Calculated. Parameter, Input/ouput, . . . o Variability • Constant, Fixed, … o Min, Max o … § Check Sys. PISF § Dependencies between output and input o Allow cycling analysis www. modelio. org 16

FMI Behavioural Definition § Representation able to generate C code § Possible ways under Sys. ML o o State Machine + LTL formula State Machine + C Code Parametric diagram + Mathematical expression (Poc) Static diagram + Modelica. ML (Poc) www. modelio. org 17

Related Requirement § Workflow description, example is needed. § Improvement (visualization) between BDD and IBD o Derived info, o Zoom into IBD from BDD. § Need variability for Design Space Exploration o Range of value, o Part multiplicity. www. modelio. org 18

Contact: etienne. brosse@softeam. com Into-CPS project: http: //projects. au. dk/into-cps/ M o d e l i n g s o l u t i o n s.