Download presentation
Presentation is loading. Please wait.
1
SysML/FMI Etienne BROSSE
2
Why SysML/FMI?
3
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 Catia, Dymola, Simulink, Excel, OpenModelica, SimulationX, other. Allows integration of many languages. Already done Rhapsody, Papyrus, NoMagic, PTC, NoMagic, other?
4
FMI: Overview
5
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”
6
2.0 Version at http://fmi-standard.org/
FMI Standard 2.0 Version at 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.
7
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 7
8
SysML/FMI Model Description
9
SysML/FMI Model Description
10
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 10
11
SysML/FMI Behavioral Description
12
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 12
13
SysML/FMI Simulation configuration
14
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 14
15
SysML Requirements
16
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
17
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)
18
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.
19
Contact: Into-CPS project: M o d e l i n g s o l u t i o n s.
Similar presentations
