engineering cyber physical spaces

30
CAPS: Architecture Description of Situational Aware Cyber Physical Systems @ICSA 2017, April 2017 Henry Muccini and Mohammad Sharaf DISIM Department University of L’ Aquila, L’Aquila, Italy [email protected] - @muccinihenry Slides available at: http://www.slideshare.net/henry.muccini/

Upload: henry-muccini

Post on 13-Apr-2017

139 views

Category:

Technology


1 download

TRANSCRIPT

Page 1: Engineering Cyber Physical Spaces

CAPS: Architecture Description of Situational Aware Cyber Physical Systems@ICSA 2017, April 2017

Henry Muccini and Mohammad SharafDISIM Department

University of L’ Aquila, L’Aquila, [email protected] - @muccinihenry

Slides available at: http://www.slideshare.net/henry.muccini/

Page 2: Engineering Cyber Physical Spaces

Context, Motivation and Needs

Page 3: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

3

Our practical needs: to engineer crowd

management systems

Page 4: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

4

spin-off of the University of L’Aquila

Crowd management Indoor | outdoor

Queue forecast and avoidance

Multi-site crowd management

Digital Booking and Ticketing

Page 5: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

5crowd monitoring and control5

Page 6: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

6crowd monitoring and control6

Q: How long will take to get into the entrance?

do: people counting tech

to know: arrival frequency

to know: pick hours

Q: How long took to visit the place?

do: people tracking tech

to know: time spent in averageto know: time spent in areas

Page 7: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

7: multi-sites of interest7

Q: How to load balance? Q: how to re-route people?

Page 8: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

8The context of this research Situational Awareness (SiA)

• a person’s awareness of what is going on in her surroundings,the meaning of these surroundings, and using this informationto decide and act.

SiA in numbers• Big market share of USD 32,6 billion by 2022 [Allied Market Research]

Situational Aware CPS• In ICT terms:

• Sensed data, • received from IoT devices interacting in a prescribed open or closed

physical space, • used to observe the (user’s) surroundings and make detailed assessments

about his environment.

Page 9: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

9

Our Goal: to architect Cyber Physical Spaces

Page 10: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

10Overall: technicalPhysical Space

Cyber Physical Space

Page 11: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

11Overall: conceptualMulti-stakeholdersMulti-competenciesMulti-viewpointsInterdisciplinary

View

othermodels

View

Software Architecture Description

View

View

othermodels

other viewsSystem

IntegratorsSystem

Integrators

Software EngineersSoftware Engineers

Psychology

Statistics

Mobile App

Mobile App

WSN engineers

WSN engineers

Page 12: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

12Overall: decision making- Which solution is more e.g. energy efficient?

- Which architecture decisions may limit the amount of data created, transferred, and analyzed?

- Which communication topology to use? Cyber Physical Space

Page 13: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

13

Concrete projects: Uffizi GalleriesGoals:– Reduce the waiting time to get in – Optimize internal human flow– Multi-museum load balancing

Page 14: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

14

Concrete projects: NdR L’AquilaGoals:– Urban safety– Multi-site load balancing– Recommendation system

Page 15: Engineering Cyber Physical Spaces

The CAPS architecture description

View

othermodels

View

Software Architecture Description

View

View

othermodels

other views

Page 16: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

16Our reference: ISO/IEC/IEEE 42010: 2011

ISO/IEC/IEEE 42010 - International Standard for Systems and Software Engineering Architectural Description, 2011

Page 17: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

17SoftwareVP

HardwareVP

Physical SpaceVP

HWML SPML

Software Architect

Developer System Integrators

System Engineer

Space coverage

Data exchangeNetworking and communication

Energy Consumption

Viewpoints System Concerns

Stakeholders

The Modeling Languages

DSLDSL DSLDSL

SAML

DSLDSL

Smart Building / Physical Space modelers

(Sensor network & IoT ) experts

MAPML DEPML

CAPS

Page 18: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

1818

Physical SpaceMM

SA ModelSAML

HW ModelHWML

Physical Space ModelSPML

HW MM

CAPS Modeling languages and Viewpoints

SA MM

Page 19: Engineering Cyber Physical Spaces

COMMitMDE @ MODELS 2016 - http://tinyurl.com/commitmde

19

Page 20: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

20

Let us analyze each single meta-class

Page 21: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

21SAML model

Page 22: Engineering Cyber Physical Spaces

componentsportsconnectionsapplication datamessagesoperations

Events-conditions-actionsactions:

sense, actuate, send msgs, start/stop timer, fork&join, synch/asynch calls

RFID reader, people counter,smart card reader, …

Modesmode transitionsenter/exit mode

Page 23: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

23HW model of SCUNA example

Page 24: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

24Physical Space

2D, 3D Physical space with obstacles

freely positionedwith their own shapewith attenuation coefficients

Page 25: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

25Cyber Physical Space: examples

https://www.youtube.com/watch?v=tgULkozh32UOngoing work at Turku University, Finland

Page 26: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

26SPML model of SCUNA example

The physical space represents theoverall environment in the (3Dspace/2D space) in which the SiA-CPS node will be deployedThe Space contains a set ofObstacles and Areas

Page 27: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

27Correspondence and Weaving

Cyber Physical Space

Page 28: Engineering Cyber Physical Spaces

COMMitMDE @ MODELS 2016 - http://tinyurl.com/commitmde

28CAPS Tool support SAML Graphical and Tree-based editor for SAML

graphicaleditor

properties

palettemodels

Page 29: Engineering Cyber Physical Spaces

Henry Muccini @ ICSA2017

29Future Work

To predict energy consumption, data traffic, and other concerns

CAPS @work

Simulation

Run-TimeTo connect models with a run-time IoT execution platform

Page 30: Engineering Cyber Physical Spaces

CAPS: Architecture Description of Situational Aware Cyber Physical Systems@ICSA 2017, April 2017

Henry Muccini and Mohammad SharafDISIM Department

University of L’ Aquila, L’Aquila, [email protected] - @muccinihenry

Slides available at: http://www.slideshare.net/henry.muccini/