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

Transcription

1 INTO-CPS: An integrated tool chain for comprehensive Model-Based Design of Cyber-Physical Systems Alessandra Bagnato SOFTEAM

2 SOFTEAM SOFTEAM (ST), a growing company 25+ Years experience 840 experts Regular growth Specialist in OO technologies, new architectures, methodologies 80 ME Rennes Paris 17,5 ME 20 ME 21,5 ME 23 ME... Nantes Toulouse Aix Sophia alessandra.bagnato@softeam.fr 2

3 Modelio for System Engineering UML editor with 20 years history SysML, MARTE, BPMN Code generation Documentation Available under open source at Modelio.org Modelio 3 alessandra.bagnato@softeam.fr 3

4 Modelio System Architect Solution Dedicated to System architects modelling with SysML, UML or BPMN and carrying out Requirements based analysis 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 Dedicated SysML editor Traceability Editor 4

5 Cyber-Physical Challenges Agricultural Logistics Need to model control and planning/re-planning Models of locality and mobility Real-time behaviour modelling Domain-specific reference models 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 5

6 INTO-CPS: A new 8 M H2020 Project 6

7 INTO CPS Objectives 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 alessandra.bagnato@softeam.fr 7

8 INTO-CPS 8

9 CPS co-modelling requirements architecture models automated co-model analysis design space exploration models of cyber elements shared computing shared network stub model generation co-simulation (MiL) SiL HiL models of physical elements environment model co-model analysis plug-ins code generation realisation test automation model checking real code laboratory testing real plant 9

10 Tools 10

11 Conventional Inter-crop crop cleaned soil Railways Building Automation Agriculture Automotive 11

12 Model-driven Design 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

13 The Initial INTO-CPS Vision 13

14 Requirements Modelling SysML Use Case diagrams Requirements diagrams Informal (link and traceable) Formal (LTL, Test automation) req FaultModelling uc Line following robot Motors Controller Line following Robot Adjust motor control signals Read optical sensor values «include» «requirement» faultybehaviour Model faulty behaviour in the sensors Id=s1 Sensors Read encoder ticks Measure optical reflection «include» Line «requirement» ambientlight Model ambient light as noise in the optical sensors Id=s1.1 «requirement» conversionerror Model AD conversion erros in the LSB s of the optical sensor readings Id=s1.2 «requirement» sensormalfunction Model malfunctioning sensors that continuously reads the same value Id=s1.3 Encoders Measure encoder ticks Wheels «requirement» ambientlight Model ambient light as noise in the optical sensors Id=s1.1 «satisfy» SensorRight alessandra.bagnato@softeam.fr 14

15 The Initial INTO-CPS Vision 15

16 System Decomposition Block Definition Diagram (top level) bdd Line following robot LineFollowingRobot Robot Environment Controller Body Line SensorLeft MotorLeft SensorRight MotorRight EncoderLeft WheelLeft EncoderRight WheelRight 16

17 System Interface Modelling Internal Block Diagram Divide into CT/DE constituent models/systems/components Define interfaces between different components ibd Robot sensorsignall:real motorsignall:real Controller sensorsignalr:real motorsignalr:real encodersignall:real encodersignalr:real MotorLeft rotationl:rad/s EncoderLeft EncoderRight rotationr:rad/s MotorRight towheell WheelLeft tobodyl tobodyr WheelRight towhellr SensorLeft Body SensorRight opticalreflectionl:real robotposition:real[2,1] opticalreflectionr:real ibd Environment Line 17

18 System Behaviour Parametric Diagram Define continuous behaviour of CT components State Machines (DE models generated for tests) Define discrete behaviour of DE components bdd Constraints par Robot genforcer «constraint» TotalForce constraints {totalforce=forcel+forcer} Robot «constraint» RxForceRight constraints {rxforcer=forcel} rxforcer rxforcer:n genforcer rxforcer forcer:n parameters totalforce:n forcel:n forcer:n parameters rxforcer:n forcel:n forcel forcer forcer totalforce:n «constraint» ForceLeft constraints {forcel=genforcel+rxforcel} parameters forcel:n genforcel:n rxforcel:n «constraint» ForceRight constraints {forcer=genforcer+rxforcer} parameters forcer:n genforcer:n rxforcer:n «constraint» RxForceLeft constraints {rxforcel=forcer} parameters rxforcel:n forcer:n forcer rxforcel:n rxforcel genforcel forcel forcel:n genforcel rxforcel forcel 18

19 INTO-CPS Diagrams and INTO-CPS Blocks 19

20 Modelio for INTO-CPS (1/3) Architecture Diagram 20

21 Modelio for INTO-CPS (2/3) Connection Diagram 21

22 Modelio for INTO-CPS (3/3) Modelio INTO-CPS module 22

23 Initial Industrial Follower Group 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 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 23

24 Contacts IT Services / UML Tools Research Alessandra Bagnato, SOFTEAM Alessandra.bagnato@softeam.fr Modelio Web Site : Management INTO-CPS Web Site Standardization MONDO Project, a scalable modeling and model management on the Cloud 24

25 Thanks! 25