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, Italyhenry.muccini@univaq.it - @muccinihenry

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

Context, Motivation and Needs

Henry Muccini @ ICSA2017

3

Our practical needs: to engineer crowd

management systems

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

Henry Muccini @ ICSA2017

5crowd monitoring and control5

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

Henry Muccini @ ICSA2017

7: multi-sites of interest7

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

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.

Henry Muccini @ ICSA2017

9

Our Goal: to architect Cyber Physical Spaces

Henry Muccini @ ICSA2017

10Overall: technicalPhysical Space

Cyber Physical Space

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

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

Henry Muccini @ ICSA2017

13

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

Henry Muccini @ ICSA2017

14

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

The CAPS architecture description

View

othermodels

View

Software Architecture Description

View

View

othermodels

other views

Henry Muccini @ ICSA2017

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

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

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

Henry Muccini @ ICSA2017

1818

Physical SpaceMM

SA ModelSAML

HW ModelHWML

Physical Space ModelSPML

HW MM

CAPS Modeling languages and Viewpoints

SA MM

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

19

Henry Muccini @ ICSA2017

20

Let us analyze each single meta-class

Henry Muccini @ ICSA2017

21SAML model

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

Henry Muccini @ ICSA2017

23HW model of SCUNA example

Henry Muccini @ ICSA2017

24Physical Space

2D, 3D Physical space with obstacles

freely positionedwith their own shapewith attenuation coefficients

Henry Muccini @ ICSA2017

25Cyber Physical Space: examples

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

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

Henry Muccini @ ICSA2017

27Correspondence and Weaving

Cyber Physical Space

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

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

graphicaleditor

properties

palettemodels

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

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, Italyhenry.muccini@univaq.it - @muccinihenry

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