1. Institute for Software Integrated Systems Vanderbilt University Virtual Prototyping Test Bed for CPS Janos Sztipanovits Institute for Software Integrated Systems Vanderbilt University Email: janos.sztipanovits@vanderbilt.edu CPS PI Meeting 17 October 2013

2. Virtual Prototyping in the OpenMETA (AVM) Tool Suite Master Interpreter ComponentsDesigns Design Spaces Test Benches Parametric Explorations PET/PCC Generator Modelica CAD CFD FEA Blast Ballistics Formal Verif.....py files.mo.cmd.xml.cmd.xml.cmd.mo.json.cmd... Analysis and Execution Framework Job Manager (client application) Local VehicleForge Jenkins Project Analyzer – Dashboard (offline or online; runs in a web browser) Remote used File system and/or on VehicleForge.mat.json.stp.asm.xml.json.stp.asm.xml.json.xml.json....csv.json Dymola Open Modelica Creo OpenFO AM Nastran SwRI tools QR HybridSa l...OpenMDAO Perform analysis Composition Framework Component Generator Design Generator.ACM files.ADM files Multimodeling Framework Modeling & Model- Synthesis CyPhy Generators Generated (domain tool) artifacts Execution runtime Results storage Visualization of results

3. Master Interpreter ComponentsDesigns Design Spaces Test Benches Parametric Explorations PET/PCC Generator Modelica CAD CFD FEA Blast Ballistics Formal Verif.....py files.mo.cmd.xml.cmd.xml.cmd.mo.json.cmd... Analysis and Execution Framework Job Manager (client application) Local VehicleForge Jenkins Project Analyzer – Dashboard (offline or online; runs in a web browser) Remote used File system and/or on VehicleForge S3.mat.json.stp.asm.xml.json.stp.asm.xml.json.xml.json....csv.json Dymola Open Modelica Creo OpenFO AM Nastran SwRI tools QR HybridSal...OpenMDAO Perform analysis Component Generator Design Generator.ACM files.ADM files Multimodeling Framework Modeling & Model- Synthesis CyPhy Generators Generated (domain tool) artifacts Execution runtime Results storage Visualization of results Composition Framework Virtual Prototyping in the OpenMETA Tool Suite (Dynamics)

4. CyPhyML Integration Formal Verification Qualitative reasoning Relational abstraction Model checking Distributed Co-Simulation NS3 OMNET Delta-3D CPN Equations Modelica-XML FMU-ME S-function FMU-CS High Level Architecture Interface (HLA) Composition Continuous Time Discrete Time Discrete Event Energy flows Signal flows Geometric Hybrid Bond Graph Modelica Functional Mock-up Unit Embedded Software Modeling TrueTime Simulink/ Stateflow Simulation Open Modelica Delta Theta Dymola Example: Integration Tasks for Lumped Parameter Dynamics

5. Summary of Services for Virtual Prototyping  Model integration (multi-physics/-abstraction/- fidelity/cyber)  Tool integration (no single tool provides full coverage)  Semantic integration (modeling language semantics and simulation execution semantics)  Visualization