SDL – The IoT Language - sdlforum2015.informatik.hu...
Transcript of SDL – The IoT Language - sdlforum2015.informatik.hu...
![Page 1: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/1.jpg)
SDL – THE IOT LANGUAGE
Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen
![Page 2: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/2.jpg)
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
![Page 3: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/3.jpg)
IoT Platforms
Brillo – android derivative Weave – language for communicating with Brillo devices
Windows 10
Open IoT Platforms Eclipse IoT project
BUTLER
BETaaS
Kaa
...
![Page 4: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/4.jpg)
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
![Page 5: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/5.jpg)
IoT in the field
Photo Mark Neal
![Page 6: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/6.jpg)
Sheep tag
Photo Mark Neal
![Page 7: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/7.jpg)
eyeFridge Prototype
Photos Bushra Alolayan
![Page 8: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/8.jpg)
Images uploaded by eyeFridge
![Page 9: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/9.jpg)
At sea
Photo Mark Neal
![Page 10: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/10.jpg)
Aberystwyth Robotics Club
Photo Stephen Fearn
![Page 11: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/11.jpg)
Aberystwyth Robotics Club
Photo Stephen Fearn
![Page 12: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/12.jpg)
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
º
![Page 13: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/13.jpg)
Smart Mobility
Improve traffic movement
Address sustainability
https://inlab.fib.upc.edu/en/sensetrack
![Page 14: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/14.jpg)
Health
Microsoft Band 2 - monitoring health and training
Big data and IoT http://inlab.fib.upc.edu/en/blog/big-data-applied-sport
![Page 15: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/15.jpg)
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
![Page 16: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/16.jpg)
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
![Page 17: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/17.jpg)
Engineering smart things
Safety, reliability, resilience ...
depend on excellent engineering
that is geared to communicating, embedded systems
![Page 18: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/18.jpg)
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
![Page 19: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/19.jpg)
RTDS deployment simulator
![Page 20: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/20.jpg)
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
![Page 21: SDL – The IoT Language - sdlforum2015.informatik.hu ...sdlforum2015.informatik.hu-berlin.de/wp-content/uploads/2015/10/S1...IoT Platforms Brillo – android derivative Weave –](https://reader031.fdocuments.net/reader031/viewer/2022022423/5a9f5b617f8b9a76178cb6a7/html5/thumbnails/21.jpg)
What next?
Simulating heavily loaded communications channels
Modelling security and privacy
Targeting new platforms
Integration with CAD and additive manufacturing
Raising awareness of SDL