A Collaborative Platform for Systems Engineering tools over the Internet With Connections to Wolfram SystemModeler P. Aronsson, D. Hedberg, O. Tronarp www.wolframmathcore.com
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
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. 2012 SPRINT 3 Y2 EU-
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
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
IoSE Story in a Nutshell
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)
SPRINT Modelica Meta Model
Basic System Engineering Ontology
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
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. 2012 SPRINT 11 Y2 EU-
Example SysML/Modelica interaction
Deployment alternatives: Distributed crossorganization collaboration Partner B Partner A IoSE B IoSE A IoSE C Partner C T n
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
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)
Demo System Description C4I Prototype Vehicle Platform Model Low Level Control High Level Control Vehicle Platform Prototype
RC Car model in SystemModeler
Information published to the IoSE Simulation Service Software Implementation Resource Internet of Things Executable Control Model Physical Implementation DOORS
Simulation demo architecture Rhapsody Dashboard HLA (IEEE1516) Physical device Desyre Hosted Simulator Physical device FMI SystemModeler Desyre
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.
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
What to know more? The SPRINT project http://www.sprint iot.eu/ Wolfram SystemModeler http://www.wolfram.com/system modeler/