This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.
This book constitutes the proceedings of the 18th International System Design Language Forum, SDL 2017, held in Budapest, Hungary, in October 2017. The 10 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The selected papers cover a wide spectrum of topics related to system design languages ranging from the system design language usage to UML and GRL models; model-driven engineering of database queries; network service design and regression testing; and modeling for Internet of Things (IoT) data processing.
This book focuses on software reuse and the chances, dependability tests and recommendations for best reuse practice. A short introduction of the Ecodesign of hardware is given combined with the latest update of relevant EU legislation and standardization. It also describes the combination of different states of software in a E&E system in order to guarantee dependability of the product to be resold.
This book constitutes the refereed proceedings of the 17th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2021, held in Kherson, Ukraine, during September 28–October 2, 2021. The 12 full papers were included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: The Fundamentals of ICT; Natural Language Processing for the Ukrainian Language; The Applications of Novel ICT; and ICT in Teaching and Learning.
Internet of Things (IoT) is an ecosystem comprised of heterogeneous connected devices that communicate to deliver capabilities making our living, cities, transport, energy, and other areas more intelligent. This book delves into the different cyber-security domains and their challenges due to the massive amount and the heterogeneity of devices. This book introduces readers to the inherent concepts of IoT. It offers case studies showing how IoT counteracts the cyber-security concerns for domains. It provides suggestions on how to mitigate cyber threats by compiling a catalogue of threats that currently comprise the contemporary threat landscape. It then examines different security measures that can be applied to system installations or operational environment and discusses how these measures may alter the threat exploitability level and/or the level of the technical impact. Professionals, graduate students, researchers, academicians, and institutions that are interested in acquiring knowledge in the areas of IoT and cyber-security, will find this book of interest.
This proceedings book showcases the latest research work presented at the Second Edition of the Mediterranean Symposium on Smart City Application (SCAMS 2017), which was held in Tangier, Morocco on October 15–27, 2017. It presents original research results, new ideas and practical development experiences that concentrate on both theory and practice. It includes papers from all areas of Smart City Applications, e.g. Smart Mobility, Big Data, Smart Grids, Smart Homes and Buildings, clouds, crowds, mashups, social networks, and security issues. The conference stimulated cutting-edge research discussions among pioneering researchers, scientists, industrial engineers, and students from all around the world. The topics covered in this book also focus on innovative issues at the international level by bringing together experts from different countries. The scope of SCAMS 2017 included methods and practices that combine various emerging internetworking and data technologies to capture, integrate, analyze, mine, annotate, and visualize data in a meaningful and collaborative manner. A series of international workshops were organized as invited sessions during the SCAMS 2017:The 2nd International Workshop on Smart Learning & Innovative EducationsThe 1st International Workshop on Smart HealthcareThe 1st International Workshop on Mathematics for Smart CityThe 1st International Workshop Industry 4.0 and Smart Manufacturing
This book constitutes the proceedings of the 17th International System Design Language Forum, SDL 2015, held in Berlin, Germany, in October 2015. The 15 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: smart cities and distributed systems; specification and description language; domain specific languages; goal modeling; use-case modeling; and model-based testing.
This book constitutes the refereed proceedings of the 11th International Conference on System Analysis and Modeling, SAM 2019, held in Munich, Germany, in September 2019. The 12 full papers and 2 work in progress papers presented together with one keynote talk were carefully reviewed and selected from 28 submissions. The papers discuss the most recent innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages — including UML, ASN.1, TTCN, SysML, and the User Requirements Notation (URN). SAM 2019’s theme was “Languages, Methods, and Tools for Industry 4.0.”
This book constitutes the thoroughly refereed proceedings of the 4th Ibero-American Congress, ICSC-CITIES 2021, held in Cancún, Mexico, in November - December 2021. Due to the COVID-19 pandemic the conference was partially held online. The 21 full papers and one short paper presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on computational intelligence for smart cities; urban informatics; internet of things, smart energy and smart grid.
