SDL - The IoT Language

  • Edel SherrattEmail author
  • Ileana Ober
  • Emmanuel Gaudin
  • Pau Fonseca i Casas
  • Finn Kristoffersen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9369)


Interconnected smart devices constitute a large and rapidly growing element of the contemporary Internet. A smart thing can be as simple as a web-enabled device that collects and transmits sensor data to a repository for analysis, or as complex as a web-enabled system to monitor and manage a smart home. Smart things present marvellous opportunities, but when they participate in complex systems, they challenge our ability to manage risk and ensure reliability.

SDL, the ITU Standard Specification and Description Language, provides many advantages for modelling and simulating communicating agents – such as smart things – before they are deployed. The potential for SDL to enhance reliability and safety is explored with respect to existing smart things below.

But SDL must advance if it is to become the language of choice for developing the next generation of smart things. In particular, it must target emerging IoT platforms, it must support simulation of interactions between pre-existing smart things and new smart things, and it must facilitate deployment of large numbers of similar things. Moreover, awareness of the potential benefits of SDL must be raised if those benefits are to be realized in the current and future Internet of Things.


Internet of things Modelling Simulation Testing Safety  Reliability Engineering practice 


  1. 1.
    Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54, 2787–2805 (2010). ElsevierCrossRefzbMATHGoogle Scholar
  2. 2.
    Baumgartner, T., Chatzigiannakis, I., Fekete, S.P., Fischer, S., Koninis, C., Kröller, A., Krger, D., Mylonas, G., Pfisterer, D.: Distributed algorithm engineering for networks of tiny artifacts. Comput. Sci. Rev 5(1), 85–102 (2011). Elsevier (Science Direct)CrossRefGoogle Scholar
  3. 3.
    Brumbulli, M., Fischer, J.: Simulation configuration modeling of distributed communication systems. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 198–211. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  4. 4.
    Chatzigiannakis, I., Mylonas, G., Vitaletti, A.: Urban pervasive applications: challenges, scenarios and case studies. Comput. Sci. Rev. 5(1), 103–118 (2011). Elsevier (SciVerse ScienceDirect Journals)CrossRefGoogle Scholar
  5. 5.
    Fischer, J., Redlich, J.-P., Scheuermann, B., Schiller, J., Günes, M., Nagel, K., Wagner, P., Scheidgen, M., Zubow, A., Eveslage, I., Sombrutzki, R., Juraschek, F.: From earthquake detection to traffic surveillance – about information and communication infrastructures for smart cities. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 121–141. Springer, Heidelberg (2013) CrossRefGoogle Scholar
  6. 6.
    Fonseca i Casas, P., Fonseca i Casas, A., Garrido-Soriano, N., Casanovas. J.: Formal Simulation Model to Optimize Building Sustainability. Adv. Eng. Softw. 69, 62–74 (2014). doi: 10.1016/j.advengsoft.2013.12.009
  7. 7.
    Fonseca i Casas, P., Pi, X., Casanovas, J., Jové, J.: Definition of virtual reality simulation models using specification and description language diagrams. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol. 7916, pp. 258–274. Springer, Heidelberg (2013). doi: 10.1007/978-3-642-38911-5 CrossRefGoogle Scholar
  8. 8.
    Hecht, J.: The internet of **** things. Nat. Phys. 10(7), 538–538 (2014)CrossRefGoogle Scholar
  9. 9.
    ISO 16484–1:2010: Building Automation and Control Systems (BACS) - Part 1: Project Specification and Implementation, ISO 2010Google Scholar
  10. 10.
    ITU-T: Z.100 Series for SDL 2010, International Telecommunications Union 2011–2015Google Scholar
  11. 11.
    KNX Association: System Specifications (2014).
  12. 12.
    Kuhn, T., Geraldy, A., Gotzhein, R., Rothländer, F.: ns+SDL – the network simulator for SDL systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 103–116. Springer, Heidelberg (2005) CrossRefGoogle Scholar
  13. 13.
    Kuhn, T., Gotzhein, R., Webel, C.: Model-driven development with SDL – process, tools, and experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 83–97. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  14. 14.
    Neal, M., Blanchard, T., Hubbard, A., Chauché, N., Bates, R., Woodward, J.: A hardware proof of concept for a remote-controlled glacier-surveying boat. J. Field Robot. 29(6), 880–890 (2012). Wiley PeriodicalsCrossRefGoogle Scholar
  15. 15.
    Ortiz, O., Castells, F., Sonnemann, G.: Sustainability in the construction industry: a review of recent developments based on LCA. Constr. Build. Mater. 23(1), 28–39 (2009)CrossRefGoogle Scholar
  16. 16.
    Pefhany, S.: Modbus Protocol, vol. 5. Penthon Media Inc. (2000)Google Scholar
  17. 17.
    Reaper, D.: Google IO 2015 Live Conference Keynote - Brillo & Weave. YouTube Video, 11:08 minutes, May 2015. Accessed 4 Jun 2015
  18. 18.
    The Royal Academy of Engineering and The British Computer Society: The Challenges of Complex IT Projects. The Report of a Working Group from The Royal Academy of Engineering and The British Computer Society, The Royal Academy of Engineering (2004). Accessed 4 Jun 2015

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Edel Sherratt
    • 1
    Email author
  • Ileana Ober
    • 2
  • Emmanuel Gaudin
    • 3
  • Pau Fonseca i Casas
    • 4
  • Finn Kristoffersen
    • 5
  1. 1.Aberystwyth UniversityAberystwythWales, UK
  2. 2.IRITUniversité Paul SabatierToulouseFrance
  3. 3.PragmaDev SARLParisFrance
  4. 4.Universitat Politècnica de CatalunyaBarcelonaSpain
  5. 5.Cinderella ApSHvidovreDenmark

Personalised recommendations