SysML/FMI Etienne BROSSE www.modelio.org
Why SysML/FMI? www.modelio.org
SysML/FMI Simulation of SysML model/Cyber Physical System Model checking, requirement validation, etc. FMI main advantages Tool Independent/available Grammar Implemented by a lot of tool http://fmi-standard.org/tools/ Catia, Dymola, Simulink, Excel, OpenModelica, SimulationX, other. Allows integration of many languages. Already done Rhapsody, Papyrus, NoMagic, PTC, NoMagic, other? www.modelio.org
FMI: Overview www.modelio.org
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
2.0 Version at http://fmi-standard.org/ FMI Standard 2.0 Version at http://fmi-standard.org/ Functional Mock-up Interface (FMI) definition Static structure XML description of Inputs/Outputs (modelDescription) Functional Mock-up Unit (FMU) definition Behavior implementation of a FMI, ModelDescription, Dll (+optional C Code). Master Algorithm (provided) FMU simulation behaviour. www.modelio.org
INTO-CPS FMI simulation process exports Model Descriptions imports Modelio configures Modelio Overture 20-sim OpenModelica RT-Tester configure FMU FMU FMU FMU FMU co-simulate launch COE (Co-simulation Orchestration Engine) Application gather generates Result Result Result Result www.modelio.org 7
SysML/FMI Model Description www.modelio.org
SysML/FMI Model Description www.modelio.org
INTO-CPS FMI simulation process exports Model Descriptions imports Modelio configures Modelio Overture 20-sim OpenModelica RT-Tester configure FMU FMU FMU FMU FMU co-simulate launch COE (Co-simulation Orchestration Engine) Application gather generates Result Result Result Result www.modelio.org 10
SysML/FMI Behavioral Description www.modelio.org
INTO-CPS FMI simulation process exports Model Descriptions imports Modelio configures Modelio Overture 20-sim OpenModelica RT-Tester configure FMU FMU FMU FMU FMU co-simulate launch COE (Co-simulation Orchestration Engine) Application gather generates Result Result Result Result www.modelio.org 12
SysML/FMI Simulation configuration www.modelio.org
INTO-CPS FMI simulation process exports Model Descriptions imports Modelio configures Modelio Overture 20-sim OpenModelica RT-Tester configure FMU FMU FMU FMU FMU co-simulate launch COE (Co-simulation Orchestration Engine) Application gather generates Result Result Result Result www.modelio.org 14
SysML Requirements www.modelio.org
FMI Static Structural definition Define list of exposed variables Type (primitive or structured) Causality Parameter, CalculatedParameter, Input/ouput, ... Variability Constant, Fixed, … Min, Max … Check SysPISF Dependencies between output and input Allow cycling analysis www.modelio.org
FMI Behavioural Definition Representation able to generate C code Possible ways under SysML State Machine + LTL formula State Machine + C Code Parametric diagram + Mathematical expression (Poc) Static diagram + ModelicaML (Poc) www.modelio.org
Related Requirement Workflow description, example is needed. Improvement (visualization) between BDD and IBD Derived info, Zoom into IBD from BDD. Need variability for Design Space Exploration Range of value, Part multiplicity. www.modelio.org
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.