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