A Collaborative Platform for Systems Engineering tools over the Internet With Connections to Wolfram SystemModeler

Transcription

1 A Collaborative Platform for Systems Engineering tools over the Internet With Connections to Wolfram SystemModeler P. Aronsson, D. Hedberg, O. Tronarp

2 SPRINT Project Simplifying the Design of Complex Engineering Systems Creation of tool platform: Internet of Systems Engineering (IoSE) Easy to extend with new modeling tools Loosely coupled model repository Semantic mediation to translate between model representations Early system validation by distributed simulation Partners in 6 European countries: IBM

3 Problem addressed Integration of components (SW/HW) are traditionally done very late in production process, especially for distributed product development over multiple companies and sites. Traditional approach SPRINT approach 10th Oct SPRINT 3 Y2 EU-

4 Customers seek integrated, global, solutions Customers demand shorter supply times Systems and Sub Systems are specified, designed, manufactured and integrated in global cooperation Various engineering tasks (design, manufacturing, testing) are subcontracted to partners without respect to borders New Challenges include: Increased International and Inter Organizational communication leads to more integration bugs Global effort == wasted time shipping prototypes back and forth IoS E

5 IoSE Capabilities Tools Interoperability: a virtual repository of engineering data Semantic Mediation: allows tools to communicate, each in it s own language. Evaluation and Validation Virtual Integration of Physical Devices and Models Remote monitoring of Physical Devices Distributed Simulation Contract Based Development and Analysis to support Speculative Design Engineer to Engineer Collaboration Inter organizational project management tools

6 IoSE Story in a Nutshell

7 Semantic Mediation View B /Tool B Domain transformations View A /Tool A View C /Tool C Inter tool common alities universally common modeling info (BSO)

8 SPRINT Modelica Meta Model

9 Basic System Engineering Ontology

10 Semantic mediation transformation rules Block System Block and (not (parent some Block)) RHAPSODY BSO RULES Component Block and (parent some Block) Part Port Part Property Connector Connection Connector Rhapsody Ontology System Component Property Interaction Point Model MODELICA BSO RULES Model System or Connection Connection Component Component Property BSO Ontology Classes Connection Component Connection Equation Modelica Ontology Connector

11 Integration of models, simulations and Things Distributed Simulation (Device A) Functional Modeling (SystemModeler) Subsystem D (Thing, Physical Device) Device B (Thing) Device A (Thing) Resource Internet of Things Verification Validation (TestCast) Contracts Design Design Modeling (Rhapsody) Documents (Specifications) Requirements Work Items Tasks Defects Contracts Change Requests People and their Roles Resources (time and money) Systems and Sub-Systems Architecture models Design models Simulation Data Test Data (Input, Output, Pre, Post) Test Cases System under Test (SUT) Physical Devices Interfaces and Ports Relationships (Associations) Parameters And much more 10th Oct SPRINT 11 Y2 EU-

12 Example SysML/Modelica interaction

13 Deployment alternatives: Distributed crossorganization collaboration Partner B Partner A IoSE B IoSE A IoSE C Partner C T n

14 Tools in the SPRINT framework Wolfram SystemModeler To build dynamic models of physical systems Desyre SystemC, Hosted simulation, validation using Contracts IBM Rhapsody SysML / UML tool TestCast by Elvior TTCN 3 test tool and model based testing

15 A simple use case scenario Demonstration on the second SPRINT review Showcase collaboriative modelling across tools Verification of models based on Contracts Integration of simulated components using HLA (High Level Architecture) on top of FMI (Functional Mockup Interface)

16 Demo System Description C4I Prototype Vehicle Platform Model Low Level Control High Level Control Vehicle Platform Prototype

17 RC Car model in SystemModeler

18 Information published to the IoSE Simulation Service Software Implementation Resource Internet of Things Executable Control Model Physical Implementation DOORS

19 Simulation demo architecture Rhapsody Dashboard HLA (IEEE1516) Physical device Desyre Hosted Simulator Physical device FMI SystemModeler Desyre

20 Extensions to Wolfram SystemModeler Model Export to IoSE (Sprint platform) using RESTful API Based on Modelica ontology expressed as RDF Export of RDF triplets for model information FMI export Will in future also be published to IoSE These two capabilities enables SystemModeler to integrate with other SPRINT enabled tools both for modeling and verification.

21 Conclusions We have shown Ongoing research project SPRINT with the goal of simplifying collaborative systems engineering across tools and platforms Model content revieled between modeling formalisms through semantic mediation Validation of systems including physical devices based on distributed real time simulation using HLA and FMI

22 What to know more? The SPRINT project iot.eu/ Wolfram SystemModeler modeler/