SDL: meeting the IoT challenge

Research output: Chapter in Book/Report/Conference proceedingConference Proceeding (Non-Journal item)

3 Citations (SciVal)
198 Downloads (Pure)


SDL 2010 offers excellent support for modelling, simulating and testing systems of communicating agents. However, it is not perfectly adapted to meeting the specific challenges presented by the Internet of Things (IoT). Three areas that pose a challenge are considered, and language adaptations that aim to address the specific needs of IoT systems developers are explored.

The first challenge concerns signal delay or signal loss on crowded networks. Signals in SDL 2010 are by default delayed by an indeterminate duration, but a facility to model delays that depend on network traffic would be desirable. A modification is proposed to enable this.

The second concerns undesirable interactions with external IoT systems. SDL 2010 supports modelling of a system within an environment populated by multiple agents. It also allows modelling of multiple interacting subsystems. However, it would be useful to be able to model interactions with external agents in a way that supported identification of threats to reliability, privacy and security of an IoT system. An adaptation of channel substructures, a construct that was dropped from SDL 96, is proposed to facilitate this.

The third and final challenge concerns the signal handling by multiple recipients. Different approaches to supporting this are considered with a view to further investigation to determine their desirability.
Original languageEnglish
Title of host publicationSystem Analysis and Modeling
Subtitle of host publicationTechnology-Specific Aspects of Models
EditorsJens Grabowski, Steffen Herbold
PublisherSpringer Nature
VolumeLNCS 9959
ISBN (Electronic)978-3-319-46613-2
ISBN (Print)978-3-319-46612-5, 3319466127
Publication statusPublished - 2016
Event9th System Analysis and Modelling Conference (SAM 2016) - Saint Malo, France
Duration: 03 Oct 201604 Oct 2016

Publication series

NameLecture Notes in Computer Science


Conference9th System Analysis and Modelling Conference (SAM 2016)
CitySaint Malo
Period03 Oct 201604 Oct 2016


Dive into the research topics of 'SDL: meeting the IoT challenge'. Together they form a unique fingerprint.

Cite this