alessandra bagnato

www.into-cps.au.dk

INTO-CPS:Anintegrated“toolchain”forcomprehensiveModel-Based

DesignofCyber-PhysicalSystems

AlessandraBagnatoSOFTEAM

alessandra.bagnato@softeam.fr

• SOFTEAM(ST),agrowingcompany– 25+Yearsexperience– 840experts– Regulargrowth

2

SOFTEAM• SpecialistinOOtechnologies,

newarchitectures,methodologies

21,5ME

2007

20ME17,5ME

23ME

200820062005

...

2015

80ME

ParisRennes

Nantes

Aix

Sophia

Toulouse

alessandra.bagnato@softeam.fr

• UMLeditorwith20years’history– SysML,MARTE,BPMN

– Codegeneration– Documentation– Availableunder

opensourceatModelio.org

3

ModelioforSystemEngineering

www.modelio.org

Modelio3

alessandra.bagnato@softeam.fr

• Modelling withUML,SysMLandBPMN• RequirementsModeling• Tabulareditors• Import/export MSExcel&Word• EmbeddedSystemsmodelling viaMARTE• TraceabilityEditor• ImpactAnalysis• DocumentGeneration• Support forCollaborativeactivities(Constellation,

SVN)• Automaticdiagramscreation• Customisable, interfacestoexternaltools

4

ModelioSystemArchitectSolutionDedicatedtoSystemarchitectsmodelling withSysML,UMLorBPMNand

carryingoutRequirementsbasedanalysis

TraceabilityEditor

DedicatedSysMLeditor

alessandra.bagnato@softeam.fr 5

Cyber-PhysicalChallenges

AgriculturalLogistics

SmarterBuildingDesign• Modelsoflarge-scale,open,

diversedataintegration• …coupledwithmodelsofphysics• Needtomodellearningbehaviour• Possibleintegrationofmodelsof

humanbehaviour

• Needtomodelcontrolandplanning/re-planning

• Modelsoflocalityandmobility• Real-timebehaviourmodelling• Domain-specificreferencemodels

www.into-cps.org

INTO-CPS:Anew8M€ H2020Project

6

alessandra.bagnato@softeam.fr

1. Buildanopen,well-foundedtoolchainformultidisciplinarymodel-baseddesignofCPSthatcoversthefulldevelopmentlifecycleofCPS

2. Provideasoundsemanticbasisforthetoolchain3. Providepracticalmethodsintheformofguidelines

andpatternsthatsupportthetoolchain4. Demonstrateinanindustrialsettingtheeffectiveness

ofthemethodsandtoolsinavarietyofapplicationdomains.

5. FormanINTO-CPSAssociationtoensurethatprojectresultsextendbeyondthelifeoftheproject

7

INTOCPSObjectives

alessandra.bagnato@softeam.fr 8

INTO-CPS

alessandra.bagnato@softeam.fr 9

CPSco-modelling

sharednetwork

sharedcomputing

co-simulation (MiL)environment

model

modelsofcyberelements modelsofphysicalelements

realcode realplant

codegeneration realisation

laboratorytesting

SiL HiL

co-model

architecturemodels

stubmodelgeneration

requirements

testautomation

automatedco-modelanalysisdesignspaceexploration

modelchecking

analysisplug-ins

Andrey.Sadovykh@softeam.fr

alessandra.bagnato@softeam.fr 10

Tools

alessandra.bagnato@softeam.fr 11

Agriculture

AutomotiveRailways

BuildingAutomation

Conventional Inter-crop

cropcleanedsoil

alessandra.bagnato@softeam.fr

• Modernsystemsarecomplex• Tocopewiththis,wecanbuildmodelsbeforehand– Toperformanalysis(e.g.staticanalysis,proof,modelchecking,simulation)

– Clarifyourassumptions– Evaluatepotentialdesigns– Avoidexpensiveprototypes

• Differentmodellingparadigmsfordifferentaspects

12

Model-drivenDesign

alessandra.bagnato@softeam.fr 13

TheInitialINTO-CPSVision

alessandra.bagnato@softeam.fr

• SysML– UseCasediagrams– Requirementsdiagrams

• Informal(linkandtraceable)• Formal(LTL,Testautomation)

14

RequirementsModellinguc 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 sensorsId=s1

«requirement»faultyBehaviour

Model ambient light as noise in the optical sensorsId=s1.1

«requirement»ambientLight

Model AD conversion erros in the LSB’s of the optical sensor readingsId=s1.2

«requirement»conversionError

Model malfunctioning sensors that continuously reads the same valueId=s1.3

«requirement»sensorMalfunction

Model ambient light as noise in the optical sensorsId=s1.1

«requirement»ambientLight

«block»SensorRight«satisfy»

alessandra.bagnato@softeam.fr 15

TheInitialINTO-CPSVision

alessandra.bagnato@softeam.fr

• BlockDefinitionDiagram(toplevel)

16

SystemDecomposition

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

alessandra.bagnato@softeam.fr 17

SystemInterfaceModelling• InternalBlockDiagram– DivideintoCT/DEconstituentmodels/systems/components– Defineinterfacesbetweendifferentcomponents

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

alessandra.bagnato@softeam.fr

• ParametricDiagram– Definecontinuousbehaviour ofCTcomponents

• StateMachines(DEmodelsgeneratedfortests)– Definediscretebehaviour ofDEcomponents

18

SystemBehaviour

par Robot

totalForce:N

forceL

forceR

forceR:N

forceR

forceL:N

forceL

genForceLrxForceL

rxForceRgenForceR

rxForceL:N

rxForceL

forceR

rxForceR:N

rxForceR

forceL

genForceL

genForceRbdd Constraints

«block»Robot

parameterstotalForce:NforceL:NforceR:N

constraints{totalForce=forceL+forceR}

«constraint»TotalForce

parametersforceL:NgenForceL:NrxForceL:N

constraints{forceL=genForceL+rxForceL}

«constraint»ForceLeft

parametersforceR:NgenForceR:NrxForceR:N

constraints{forceR=genForceR+rxForceR}

«constraint»ForceRight

parametersrxForceL:NforceR:N

constraints{rxForceL=forceR}

«constraint»RxForceLeft

parametersrxForceR:NforceL:N

constraints{rxForceR=forceL}

«constraint»RxForceRight

alessandra.bagnato@softeam.fr 19

INTO-CPSDiagrams andINTO-CPSBlocks

alessandra.bagnato@softeam.fr 20

Modelio forINTO-CPS(1/3)

ArchitectureDiagram

21

Modelio forINTO-CPS(2/3)

ConnectionDiagram

22

Modelio forINTO-CPS(3/3)

ModelioINTO-CPSmodule

alessandra.bagnato@softeam.fr

• AGCO,Denmark• Alcatel-Lucent,Ireland• Almende,Netherlands• Altran,UK• Bachmannelectronic,Netherlands• BakkerSliedrecht ElectroIndustrie,Netherlands• Carrier,France• CeTIM,Netherlands• Chemring TS,UK• Conpleks Innovation, Denmark• DredgingInternational,Belgium• DSTL,UK• Goodrich,UK• Grundfos,Denmark

23

InitialIndustrialFollowerGroup

• GNResound,Denmark• HMF,Denmark• Huisman Equipment,Netherlands• Irmato IndustrialSolutions, Netherlands• JaguarLandRover,UK• NationalInstituteofInformatics,Japan• ONERA,France• Rockwell-Collins,France• Rolls-Royce,UK• Seluxit,Denmark• Siemens,Sweden• Terma,Denmark:• Thales,France• UTCAerospaceSystems,UK• WestConsulting,Netherlands

ContactsAlessandraBagnato,SOFTEAMAlessandra.bagnato@softeam.frModelio WebSite:http://www.modelio.orghttp://forge.modelio.org/projects/intocps

INTO-CPSWebSitehttp://into-cps.au.dk/@https://twitter.com/IntoCpshttps://github.com/into-cps

24

ITServices/UMLTools

Research

Management

Standardization

MONDOProject, ascalablemodelingandmodelmanagementontheCloud

www.into-cps.au.dk

Thanks!

25