SDL – THE IOT LANGUAGE

Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen

What is the IoT?

A collection of things that are able to interact with each other and cooperate with their neighbours to reach common goals

Atzori, Iera, Morabito 2010

IoT Platforms

Brillo – android derivative Weave – language for communicating with Brillo devices

Windows 10

Open IoT Platforms Eclipse IoT project

BUTLER

BETaaS

Kaa

...

The IoT is already here

Smart, connected devices are everywhere

People are making new devices all the time

Some just for fun

Others are safety- or business-critical

IoT in the field

Photo Mark Neal

Sheep tag

Photo Mark Neal

eyeFridge Prototype

Photos Bushra Alolayan

Images uploaded by eyeFridge

At sea

Photo Mark Neal

Aberystwyth Robotics Club

Photo Stephen Fearn

Aberystwyth Robotics Club

Photo Stephen Fearn

Smart Cities

SDL to model and KNX to connect with the buildings’ devices.

0

5

10

15

20

25

30

35

40

45

50

Tem

per

atu

re C

º

Smart Mobility

Improve traffic movement

Address sustainability

https://inlab.fib.upc.edu/en/sensetrack

Health

Microsoft Band 2 - monitoring health and training

Big data and IoT http://inlab.fib.upc.edu/en/blog/big-data-applied-sport

The IoT is a current reality

The IoT is already everywhere

... and it is vulnerable

Novelty and complexity challenge reliability and security

... novelty and complexity are essential characteristics of the IoT

Current practice is inadequate

Smart things are vulnerable

My friend Cayla …

can be hacked via unsecured bluetooth pairing

Samsung TV transmits data as plain text David Lodge Feb. 2015

More severe problems likely when critical smart systems are created

Engineering smart things

Safety, reliability, resilience ...

depend on excellent engineering

that is geared to communicating, embedded systems

Some of SDL’s benefits

Modelling independent agents in an environment populated by other agents

Well established tools for design, simulation, automated testing and deployment

Scalability

A wealth of expertise and documented experience

RTDS deployment simulator

Key points

The IoT is current, physical and vulnerable

Engineering practice is lagging behind development

Z.100 series languages and practices standard in communications and embedded

systems

support for simulation, automated testing and deployment

tools promote excellent engineering practice

expertise and documented case studies

What next?

Simulating heavily loaded communications channels

Modelling security and privacy

Targeting new platforms

Integration with CAD and additive manufacturing

Raising awareness of SDL