Book
SDL - The IoT Language
| Title: | SDL - The IoT Language |
|---|---|
| Authors: | Sherratt, Edel, Ober, Ileana, Gaudin, Emmanuel, Fonseca Casas, Pau, Kristoffersen, Finn |
| Contributors: | Universitat Politècnica de Catalunya. Departament d'Estadística i Investigació Operativa, Universitat Politècnica de Catalunya. LIAM - Laboratori de Modelització i Anàlisi de la Informació, Centre National de la Recherche Scientifique - CNRS (FRANCE), Cinderella (DENMARK), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Universitat Politècnica de Catalunya - UPC (SPAIN), Aberystwyth University - Aber (UNITED KINGDOM), PragmaDev (FRANCE), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) |
| Source: | Lecture Notes in Computer Science ISBN: 9783319249117 UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC) Recercat. Dipósit de la Recerca de Catalunya instname |
| Publisher Information: | Springer International Publishing, 2015. |
| Publication Year: | 2015 |
| Subject Terms: | Internet of things, Matemàtiques i estadística::Investigació operativa::Programació matemàtica [Àrees temàtiques de la UPC], Testing, Classificació AMS::94 Information And Communication, 0102 computer and information sciences, 02 engineering and technology, Interface homme-machine, Engineering practice, 7. Clean energy, 01 natural sciences, Modelling, Architectures Matérielles, Programació (Matemàtica), 0202 electrical engineering, electronic engineering, information engineering, Génie logiciel, Àrees temàtiques de la UPC::Matemàtiques i estadística::Investigació operativa::Programació matemàtica, Programming (Mathematics), Circuits::94C Circuits, Classificació AMS::94 Information And Communication, Circuits::94C Circuits, networks, Modélisation et simulation, Reliability, Systèmes embarqués, 94 Information And Communication, Circuits::94C Circuits, networks [Classificació AMS], 13. Climate action, networks, Cryptographie et sécurité, Safety, Simulation |
| Description: | 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. |
| Document Type: | Part of book or chapter of book Conference object Other literature type |
| File Description: | application/pdf |
| DOI: | 10.1007/978-3-319-24912-4_3 |
| DOI: | 10.1007/978-3-319-24912-4 |
| DOI: | 10.13039/100010661 |
| Access URL: | http://hdl.handle.net/2117/81529 http://hdl.handle.net/2117/81878 https://hal.archives-ouvertes.fr/hal-01332271 https://oatao.univ-toulouse.fr/15419/ https://link.springer.com/chapter/10.1007/978-3-319-24912-4_3/fulltext.html https://hal.archives-ouvertes.fr/hal-01332271/document https://link.springer.com/chapter/10.1007/978-3-319-24912-4_3 https://dblp.uni-trier.de/db/conf/sdl/sdl2015.html#SherrattOGCK15 https://oatao.univ-toulouse.fr/15419/ https://hdl.handle.net/2117/81878 https://doi.org/10.1007/978-3-319-24912-4 https://hdl.handle.net/2117/81529 https://doi.org/10.1007/978-3-319-24912-4 |
| Rights: | Springer TDM CC BY NC ND |
| Accession Number: | edsair.doi.dedup.....2cc60b9a59a6216a50efd5ab74a43bb5 |
| Database: | OpenAIRE |
| DOI: | 10.1007/978-3-319-24912-4_3 |
|---|