www.into-cps.au.dk
INTO-CPS: An integrated “tool chain”
for comprehensive Model-Based
Design
of Cyber-Physical Systems
Ale...
alessandra.bagnato@softeam.fr
• SOFTEAM (ST), a growing
company
– 25+ Years experience
– 840 experts
– Regular growth
2
SO...
alessandra.bagnato@softeam.fr
• UML editor with 20
years’ history
– SysML, MARTE,
BPMN
– Code generation
– Documentation
–...
alessandra.bagnato@softeam.fr
• Modelling with UML, SysML and BPMN
• Requirements Modeling
• Tabular editors
• Import/expo...
alessandra.bagnato@softeam.fr 5
Cyber-Physical Challenges
Agricultural Logistics
Smarter Building Design
• Models of large...
www.into-cps.org
INTO-CPS: A new 8 M€ H2020
Project
6
alessandra.bagnato@softeam.fr
1. Build an open, well-founded tool chain for
multidisciplinary model-based design of CPS th...
alessandra.bagnato@softeam.fr 8
INTO-CPS
alessandra.bagnato@softeam.fr 9
CPS co-modelling
shared network
shared computing
co-simulation (MiL)
environment
model
mod...
alessandra.bagnato@softeam.fr 10
Tools
alessandra.bagnato@softeam.fr 11
Agriculture
Automotive
Railways
Building
Automation
Conventional Inter-crop
crop
cleaned ...
alessandra.bagnato@softeam.fr
• Modern systems are complex
• To cope with this, we can build models beforehand
– To perfor...
alessandra.bagnato@softeam.fr 13
The Initial INTO-CPS Vision
alessandra.bagnato@softeam.fr
• SysML
– Use Case diagrams
– Requirements diagrams
• Informal (link and traceable)
• Formal...
alessandra.bagnato@softeam.fr 15
The Initial INTO-CPS Vision
alessandra.bagnato@softeam.fr
• Block Definition Diagram (top level)
16
System Decomposition
bdd Line following robot
«blo...
alessandra.bagnato@softeam.fr 17
System Interface Modelling
• Internal Block Diagram
– Divide into CT/DE constituent model...
alessandra.bagnato@softeam.fr
• Parametric Diagram
– Define continuous behaviour of CT components
• State Machines (DE mod...
alessandra.bagnato@softeam.fr 19
INTO-CPS Diagrams and INTO-CPS Blocks
alessandra.bagnato@softeam.fr 20
Modelio for INTO-CPS (1/3)
Architecture
Diagram
21
Modelio for INTO-CPS (2/3)
Connection
Diagram
22
Modelio for INTO-CPS (3/3)
Modelio
INTO-CPS
module
alessandra.bagnato@softeam.fr
• AGCO, Denmark
• Alcatel-Lucent, Ireland
• Almende, Netherlands
• Altran, UK
• Bachmann ele...
Contacts
Alessandra Bagnato, SOFTEAM
Alessandra.bagnato@softeam.fr
Modelio Web Site :
http://www.modelio.org
http://forge....
www.into-cps.au.dk
Thanks!
25
Prochain SlideShare
Chargement dans…5
×

INTO-CPS: An integrated “tool chain” for comprehensive Model-Based Design of Cyber-Physical Systems - paris open source summit 2015- alessandra bagnato

1 120 vues

Publié le

INTO-CPS Project: An integrated “tool chain” for comprehensive Model-Based Design of Cyber-Physical Systems

Paris Open Source Summit, POSS 2015
Paris, 19th November 2015

Publié dans : Ingénierie
  • Soyez le premier à commenter

INTO-CPS: An integrated “tool chain” for comprehensive Model-Based Design of Cyber-Physical Systems - paris open source summit 2015- alessandra bagnato

  1. 1. www.into-cps.au.dk INTO-CPS: An integrated “tool chain” for comprehensive Model-Based Design of Cyber-Physical Systems Alessandra Bagnato SOFTEAM R&D
  2. 2. alessandra.bagnato@softeam.fr • SOFTEAM (ST), a growing company – 25+ Years experience – 840 experts – Regular growth 2 SOFTEAM • Specialist in OO technologies, new architectures, methodologies 21,5 ME 2007 20 ME 17,5 ME 23 ME 200820062005 ... 2015 80 ME Paris Rennes Nantes Aix Sophia Toulouse
  3. 3. alessandra.bagnato@softeam.fr • UML editor with 20 years’ history – SysML, MARTE, BPMN – Code generation – Documentation – Available under open source at Modelio.org 3 Modelio for System Engineering www.modelio.org Modelio 3
  4. 4. alessandra.bagnato@softeam.fr • Modelling with UML, SysML and BPMN • Requirements Modeling • Tabular editors • Import/export MS Excel & Word • Embedded Systems modelling via MARTE • Traceability Editor • Impact Analysis • Document Generation • Support for Collaborative activities (Constellation, SVN) • Automatic diagrams creation • Customisable, interfaces to external tools 4 Modelio System Architect Solution Dedicated to System architects modelling with SysML, UML or BPMN and carrying out Requirements based analysis Traceability Editor Dedicated SysML editor
  5. 5. alessandra.bagnato@softeam.fr 5 Cyber-Physical Challenges Agricultural Logistics Smarter Building Design • Models of large-scale, open, diverse data integration • … coupled with models of physics • Need to model learning behaviour • Possible integration of models of human behaviour • Need to model control and planning/re-planning • Models of locality and mobility • Real-time behaviour modelling • Domain-specific reference models
  6. 6. www.into-cps.org INTO-CPS: A new 8 M€ H2020 Project 6
  7. 7. alessandra.bagnato@softeam.fr 1. Build an open, well-founded tool chain for multidisciplinary model-based design of CPS that covers the full development life cycle of CPS 2. Provide a sound semantic basis for the tool chain 3. Provide practical methods in the form of guidelines and patterns that support the tool chain 4. Demonstrate in an industrial setting the effectiveness of the methods and tools in a variety of application domains. 5. Form an INTO-CPS Association to ensure that project results extend beyond the life of the project 7 INTO CPS Objectives
  8. 8. alessandra.bagnato@softeam.fr 8 INTO-CPS
  9. 9. alessandra.bagnato@softeam.fr 9 CPS co-modelling shared network shared computing co-simulation (MiL) environment model models of cyber elements models of physical elements real code real plant code generation realisation laboratory testing SiL HiL co-model architecture models stub model generation requirements test automation automated co-model analysis design space exploration model checking analysisplug-ins Andrey.Sadovykh@softeam.fr
  10. 10. alessandra.bagnato@softeam.fr 10 Tools
  11. 11. alessandra.bagnato@softeam.fr 11 Agriculture Automotive Railways Building Automation Conventional Inter-crop crop cleaned soil
  12. 12. alessandra.bagnato@softeam.fr • Modern systems are complex • To cope with this, we can build models beforehand – To perform analysis (e.g. static analysis, proof, model checking, simulation) – Clarify our assumptions – Evaluate potential designs – Avoid expensive prototypes • Different modelling paradigms for different aspects 12 Model-driven Design
  13. 13. alessandra.bagnato@softeam.fr 13 The Initial INTO-CPS Vision
  14. 14. alessandra.bagnato@softeam.fr • SysML – Use Case diagrams – Requirements diagrams • Informal (link and traceable) • Formal (LTL, Test automation) 14 Requirements Modelling uc Line following robot Line following Robot Controller Line Motors Sensors Read optical sensor values Adjust motor control signals Measure optical reflection «include» Encoders Wheels Read encoder ticks Measure encoder ticks «include» req FaultModelling Model faulty behaviour in the sensors Id=s1 «requirement» faultyBehaviour Model ambient light as noise in the optical sensors Id=s1.1 «requirement» ambientLight Model AD conversion erros in the LSB’s of the optical sensor readings Id=s1.2 «requirement» conversionError Model malfunctioning sensors that continuously reads the same value Id=s1.3 «requirement» sensorMalfunction Model ambient light as noise in the optical sensors Id=s1.1 «requirement» ambientLight «block» SensorRight «satisfy»
  15. 15. alessandra.bagnato@softeam.fr 15 The Initial INTO-CPS Vision
  16. 16. alessandra.bagnato@softeam.fr • Block Definition Diagram (top level) 16 System Decomposition bdd Line following robot «block» Robot «block» Controller «block» SensorLeft «block» SensorRight «block» WheelLeft «block» WheelRight «block» LineFollowingRobot «block» Environment «block» Line «block» Body «block» EncoderLeft «block» EncoderRight «block» MotorLeft «block» MotorRight
  17. 17. alessandra.bagnato@softeam.fr 17 System Interface Modelling • Internal Block Diagram – Divide into CT/DE constituent models/systems/components – Define interfaces between different components ibd Robot «block» Controller «block» MotorLeft «block» WheelLeft «block» EncoderLeft «block» SensorLeft «block» MotorRight «block» WheelRight «block» EncoderRight «block» SensorRight «block» Body motorSignalL:real encoderSignalL:real encoderSignalR:real motorSignalR:real rotationL:rad/s rotationR:rad/s toWhellRtoWheelL toBodyRtoBodyL sensorSignalR:realsensorSignalL:real ibd Environment «block» Line robotPosition:real[2,1] opticalReflectionR:realopticalReflectionL:real
  18. 18. alessandra.bagnato@softeam.fr • Parametric Diagram – Define continuous behaviour of CT components • State Machines (DE models generated for tests) – Define discrete behaviour of DE components 18 System Behaviour par Robot totalForce:N forceL forceR forceR:N forceR forceL:N forceL genForceL rxForceL rxForceR genForceR rxForceL:N rxForceL forceR rxForceR:N rxForceR forceL genForceL genForceR bdd Constraints «block» Robot parameters totalForce:N forceL:N forceR:N constraints {totalForce=forceL+forceR} «constraint» TotalForce parameters forceL:N genForceL:N rxForceL:N constraints {forceL=genForceL+rxForceL} «constraint» ForceLeft parameters forceR:N genForceR:N rxForceR:N constraints {forceR=genForceR+rxForceR} «constraint» ForceRight parameters rxForceL:N forceR:N constraints {rxForceL=forceR} «constraint» RxForceLeft parameters rxForceR:N forceL:N constraints {rxForceR=forceL} «constraint» RxForceRight
  19. 19. alessandra.bagnato@softeam.fr 19 INTO-CPS Diagrams and INTO-CPS Blocks
  20. 20. alessandra.bagnato@softeam.fr 20 Modelio for INTO-CPS (1/3) Architecture Diagram
  21. 21. 21 Modelio for INTO-CPS (2/3) Connection Diagram
  22. 22. 22 Modelio for INTO-CPS (3/3) Modelio INTO-CPS module
  23. 23. alessandra.bagnato@softeam.fr • AGCO, Denmark • Alcatel-Lucent, Ireland • Almende, Netherlands • Altran, UK • Bachmann electronic, Netherlands • Bakker Sliedrecht Electro Industrie, Netherlands • Carrier, France • CeTIM, Netherlands • Chemring TS, UK • Conpleks Innovation, Denmark • Dredging International, Belgium • DSTL, UK • Goodrich, UK • Grundfos, Denmark 23 Initial Industrial Follower Group • GN Resound, Denmark • HMF, Denmark • Huisman Equipment, Netherlands • Irmato Industrial Solutions, Netherlands • Jaguar Land Rover, UK • National Institute of Informatics, Japan • ONERA, France • Rockwell-Collins, France • Rolls-Royce, UK • Seluxit, Denmark • Siemens, Sweden • Terma, Denmark: • Thales, France • UTC Aerospace Systems, UK • West Consulting, Netherlands
  24. 24. 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 24 IT Services / UML Tools Research Management Standardization MONDO Project, a scalable modeling and model management on the Cloud
  25. 25. www.into-cps.au.dk Thanks! 25

×