Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
This scenario is based on recent, as yet unpublished, work.
- 3.
It is conceivable that roads and junctions, or vehicles, could negotiate diversions, but establishing that this was safe and effective would require further research.
- 4.
Additional syntax that makes basic SDL more usable is formally defined by means of transformations to the core language.
References
Sherratt, E., Ober, I., Gaudin, E., Fonseca i Casas, P., Kristoffersen, F.: SDL-the IoT language. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds.) SDL 2015. LNCS, vol. 9369, pp. 27–41. Springer, Heidelberg (2015). doi:10.1007/978-3-319-24912-4_3
ITU-T: Z.100 series for SDL 2010, International Telecommunications Union 2011–2015
Williams, A.W., Probert, R.L., Li, Q., Kim, T.-H.: The winning entry of the SAM 2002 design contest. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 387–403. Springer, Heidelberg (2003). doi:10.1007/3-540-45075-0_23
Ellsberger, J., Hogrefe, D., Sarma, A.: SDL: Formal Object-oriented Language for Communicating Systems. Prentice Hall, Upper Saddle River (1997)
Metzger, A.: Feature interactions in embedded control systems. Comput. Netw. 45, 625–664 (2004). Elsevier
Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed extensions for SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 223–240. Springer, Heidelberg (2001). doi:10.1007/3-540-48213-X_14
Bozga, M., Fernandez, J.-C., Ghirvu, L., Graf, S., Krimm, J.-P., Mounier, L., Sifakis, J.: IF: an intermediate representation for SDL and its applications. In: Dssouli, R., Bochmann, G., Lahav, Y. (eds.) SDL 1999 - The Next Millennium, Proceedings of the Ninth SDL Forum, Montreal. Elsevier (1999)
Graf, S.: Expression of time and duration constraints in SDL. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 38–52. Springer, Heidelberg (2003). doi:10.1007/3-540-36573-7_3
Prinz, A.: SDL time extensions from a semantic point of view. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 53–60. Springer, Heidelberg (2003). doi:10.1007/3-540-36573-7_4
Blanchard, T.: Endocrine Inspired Control of Wireless Sensor Networks: Deployment and Analysis Aberystwyth University, Ph.D. thesis (2016)
Kelly, B., Crowther, M., King, J.: Feature interaction detection using SDL models. In: Proceedings of IEEE GLOBECOM, vol. 3, pp. 1857–1861 (1994)
Turner, K.J.: Formalizing graphical service descriptions using SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 183–202. Springer, Heidelberg (2003). doi:10.1007/3-540-45075-0_11
Chan, K.Y., Bochmann, G.V.: Methods for designing SIP services in SDL with fewer feature interactions. In: Proceedings of the 7th Feature Interactions in Telecommunications and Software Systems, pp. 59–76. IOS Press (2003)
Doldi, L.: SDL Illustrated: Laurent Doldi (2001)
Harel, D., Feldman, Y.: Algorithmics: The Spirit of Computing. Pearson Education Ltd., Essex (2004)
Sherratt, E.: SDL in a changing world. In: Amyot, D., Williams, A.W. (eds.) SAM 2004. LNCS, vol. 3319, pp. 96–105. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31810-1_7
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Sherratt, E. (2016). SDL: Meeting the IoT Challenge. In: Grabowski , J., Herbold, S. (eds) System Analysis and Modeling. Technology-Specific Aspects of Models . SAM 2016. Lecture Notes in Computer Science(), vol 9959. Springer, Cham. https://doi.org/10.1007/978-3-319-46613-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-46613-2_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46612-5
Online ISBN: 978-3-319-46613-2
eBook Packages: Computer ScienceComputer Science (R0)