Welcome to the MDE4IoT Workshop!
By 2020, Gartner envisions that 21 billion Internet-of-Things (IoT) endpoints will be in use, representing great business opportunities. However, complex challenges remain to be solved to efficiently exploit the full potential of the rapidly growing IoT infrastructure. In particular, the next generation IoT systems need to perform distributed processing and coordinated behavior across IoT, edge and cloud infrastructures, manage the closed loop from sensing to actuation, and cope with vast heterogeneity, scalability and dynamicity of IoT systems and their environments.
On the one hand, Model-driven engineering (MDE) techniques can support the design, deployment, and operation of IoT systems. For instance, to manage abstractions in IoT systems definition and to provide means to automate some of the development and operation activities of IoT systems, e.g. domain specific modeling languages can provide a way to represent different aspects of systems leveraging a heterogeneous software and hardware IoT infrastructure and to generate part of the software to be deployed on it. On the other hand, the application of modeling techniques in the IoT poses new challenges for the model-driven software development community. For instance, a question is how to properly identify, analyze and manage potential actuation conflicts. Actuation conflicts can occur when concurrent applications have a shared access to an actuator and (ii) when actuators produce actions within a common physical and local environment, whose effects are contradictory.
The objective of this workshop is to:
- foster work in its early stage on novel topics covering fundamental as well as applied research that attempts to apply model-driven techniques in the IoT domain,
- bring together researchers from the model-driven software development and IoT communities, as well as to promote discussions between theoreticians and practitioners,
- discuss the transfer and/or applicability of research results from the MDE community to IoT industrial case studies.
We are seeking contributions that reports research results or experiences on the application of model-driven techniques to all aspects related to the development and operation of IoT systems. The (non-holistic) list of topics of interest are as follows:
- Runtime models and operation of IoT systems
- Model-based Deployment and Orchestration IoT Systems
- Model-based Testing for IoT
- Relationships between physical and virtual models
- Multi-view modeling for IoT
- Simulation of physical systems and things
- DSLM for IoT systems
- Model-based analysis, verification and validation techniques
- Trustworthiness of IoT systems
- Integration of IoT, Fog, and Cloud Computing spaces
The workshop participants will be selected based on their experience and ideas related to this topic. You are invited to apply for attendance by sending:
- a full paper (6 pages) on original research, lessons learned from realizing an approach,
- a position paper (3 pages) covering a well-argued vision or position,
- a demo paper (2 pages) describing a demonstration to be shown at the workshop.
All papers must conform to the MODELS'18 formatting guidelines and be submitted via Easychair. All accepted submissions will be discussed in the workshop. Publication requires at least one of the authors to be present at the workshop.
Workshop proceedings will be published in CEUR.