The document summarizes the INTO-CPS (INtegrated TOolchain for Cyber-Physical Systems) profile, which specializes the SysML block concept into components for modeling cyber-physical systems. It describes an example using the three-tank water tank system to demonstrate the profile. The profile identifies two diagram types - architectural structure diagrams and connection diagrams. It also lists industrial partners collaborating on the project and plans for a summer school on CPS modeling.
DE-CPS 2017 The INTO-CPS Cyber-Physical System Profile Alessandra Bagnato
1. www.into-cps.au.dk
The INTO-CPS Cyber-Physical
System Profile
Alessandra Bagnato, Softeam R&D
June 16th 2017, De-CPS Workshop
22nd International Conference on Reliable
Software Technologies
Ada-Europe 2017 , Vienna, Austria
2. Consortium
• Aarhus University, Denmark (coordinator)
• Newcastle University, UK
• University of York, UK
• Linköping University, Sweden
• Verified Systems International GmbH, Germany
• Controllab Products, Netherlands
• ClearSy, France
• TWT GmbH – Science & Innovation, Germany
• Agro Intelligence, Denmark
• United Technologies, Ireland
• Softeam, France
5. ResultResultResult
20-sim 4C
5
The INTO-CPS Tool Chain
20-simOverture OpenModelica
Modelio
Application
FMU FMU FMU FMU FMU FMU FMU
• Configure / launch
– Co-simulation
– Design Space Exploration
– Model Checking
– Test Automation
• View Results
• Traceability
Model Descriptions
Traceability Daemon
RT-Tester
exportcode
imports
COE (Co-simulation Orchestration Engine)
exports
configures
co-simulate
oracle
HiL
generates
Result
configure
launch
gather
6. • INTO-CPS profile
specializes SysML Block
concept into one sub-
concept named
“Component”, which
also specializes into
four sub-concepts
respectively named
“System”, “Subsystem”,
“Cyber”, and
“Physical”.
6
SysML Blocks in the INTO-CPS profile
7. • A Block can be
composed, through
– The “Composition”
Association, of
another Block.
– A Block can be owned
INTOCPS Flow Port (
a specialization of
SysML Flow Port with
the possibility to add
dependency to other
Flow Port).
– Variable, which are a
specialization of UML
Property, can be
owned by
Component.
7
Properties of INTOCPS/SysML Block
8. • The INTO-CPS profile
identifies two kinds of
diagrams Architectural
Structure Diagrams
(ASD) and Connection
Diagrams (CD).
• These diagram types
respectively extend
UML Class and Object
diagrams.
8
Diagrams in the INTO-CPS Profile
9. • Existing Pilots:
– Single/Three-Tank Water Tank
– Fan Coil Unit
– Line Follower Robot
– Turn Indicator
• Additional pilots:
– UAV
– Smart Grid
– UAV Swarm
– Ether
Open Pilot Studies
• Goal was to increase coverage of CPS features and benchmark
progress in methods & tools
9
10. • The Three Tank example models one CPS and uses
Architectural Structure Diagrams (ASD) and Connection
Diagrams (CD).
• The example comes from the water tank application to
control the water level of the tanks by means of a controller.
• The ASD indicates a system consisting of two water tanks
(subsystem components) and a Controller (cyber
component) of the CPS.
• Each water tank is then composed of Tanks (physical
components) and other physical components such as Pipe,
Drain, etc.
• Data types are also specified such as FlowRate and water
level along with a user defined enumeration.
10
The Three Tank example
11. 11
INTO-CPS SysML CPS Profile
• Three-tank Water Tank : INTO-CPS technology
– Design architecture using INTO-CPS profile
Connections Diagram
shows the
connections between
the different
subsystems, and also
their internal
connections.
Architecture Structure
Diagram comprised of
three subsystems,
corresponding to the
three FMU models in
the multi-model
12. INTO-CPS Industrial Follower Group
AGCO, Denmark
Airbus, UK
Alcatel Lucent, Ireland
Almende, Netherlands
Altran, UK
Andritz Hydro, Austria
Bachmann Electronic, Netherlands
Bakker-Sliedrecht, Netherlands
Bang&Olufsen, Denmark
Beia Consult, Romania
Beumer, Denmark
Bombardier, Germany
Bosch, Germany
Carrier, France
CCFE, UK
CeTIM, Netherlands
Chemring Technology, UK
Conpleks Innovation, Denmark
Continental, Romania
Critical Software, Portugal
Danish Aviation, Denmark
Dassault Aviation, France
Delphi, Poland
Denso Corporation, Japan
Dredging International, Belgium
DSTL, UK
EDF, France
Enginsoft, Italy
European Space Agency, Netherlands
Fortiss, Germany
Goodrich, UK
Grundfos, Denmark
GN Resound, Denmark
HADATAP, Poland
Holonix, Italy
HMF, Denmark
Huisman Equipment, Netherlands
IBM, Israel
IBM, Finland
Ikergune, Spain
Inestec, Portugal
Irmato, Netherlands
ISMB, Italy
Jaguar, UK
John Deere, Germany
JNE Systech, Korea
MAN Diesel & Turbo, Denmark
MFAtech, UK
NII, Japan
Nupark Accelerace, Denmark
Odego, Germany
Omflow, UK
ONERA, France
Oticon, Denmark
PLM Consult, Denmark
Polar Electro, Switzerland
Postech, South Korea
Prime Solutions Group, USA
Projectglobe.com, UK
Rockwell-Collins, France
Rolls-Royce, UK
Saab, Sweden
Santer Reply, Italy
Seluxit, Denmark
Siemens, Sweden
Syntell, Sweden
TailSiT, Austria
Tecnalia, Spain
Terma, Denmark
Thalès R&T, Germany
TTTech, Austria
thyssenkrupp Marine Systems, Germany
UTC Aerospace, UK
West Consulting, Netherlands
..more
In total: 74+
12
13. INtegrated TOolchain for Cyber-Physical Systems http://into-cps.au.dk/
CPS Summer School
Sibiu - Romania's Orthodox Cathedral by Camil Ghircoias
• 3rd-7th July 2017
Sibiu, Romania
• Industry Day
• Talks, tutorials and hands-on
13
15. Contacts
Alessandra Bagnato, SOFTEAM
Alessandra.bagnato@softeam.fr
Modelio Web Site :
http://www.modelio.org
http://forge.modelio.org/projects/intocps
INTO-CPS Web Site http://into-cps.au.dk/
@https://twitter.com/IntoCps
https://github.com/into-cps
http://into-cps.github.io/systemmodelling/
15
IT Services /
UML Tools
Research
Management
Standardization
MONDO Project, a scalable modeling and model management on the Cloud