Continous Delivery toolkit
ENACT will deliver two enablers that aim at improving the continuous delivery of smart IoT systems, with a specific focus on (i) agile and continuous evolution and (ii) ensuring the proper design of the system before delivery. A particular attention will be given to support the testing of smart IoT systems and the gradual migration from the test to the operation environment.
Agile Operation Toolkit
ENACT will deliver three innovative enablers to significantly reduce the burden of managing and maintaining smart IoT systems. A specific attention will be given (i) to ensure the trustworthiness of such systems and (ii) to automate operation activities as much as possible.
ENACT will deliver a set of enablers addressing specific crosscutting trustworthiness concerns such as ensuring proper robustness, security and privacy of smart IoT systems.
ENACT Co-organize the third edition of the MDE4IoT workshop. This year the workshop will be co-located with MODELS'19 in Munich. The objective of this workshop is to: (i) 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, (ii) bring together researchers from the model-driven software development and IoT communities, as well as to promote discussions between theoreticians and practitioners, (iii) discuss the transfer and/or applicability of research results from the MDE community to IoT industrial case studies.
DevOps has recently emerged as a software development practice that encourages developers to continuously patch, update, or bring new features to the system under operation without sacrificing quality. Software development and delivery of IoT systems would greatly benefit from DevOps as devices and IoT services requirements for reliability, quality, security and safety are paramount. However, even if DevOps is not bound to any application domain, many challenges appear when the IoT intersects with DevOps. As a result, DevOps practices are far from widely adopted in IoT, in particular, due to thea lack of key enabling tools. In this workshop, we would like to invite speakers and panellists from both academia and industry to discuss with IoT Week 2019 attendees the future of the software development and operation of IoT systems. In particular, we will promote discussions about aspects related to the challenges and benefits of adopting DevOps for IoT system, the important tools to enable it, and the challenges and solutions to guarantee IoT systems trustworthiness.
Numerous Iot Applications now manage connected objects, not restricted anymore to collect data from field, but having the capacity to act on their surrounding environment. Thereby, large scale IoT systems, become critical. Continuous deployment and integration solutions (DevOps) require new tools for enforcing the operational security and the degree of validation of the applications. Challenge 1: IoT software composition lies on shared hardware/software services. Concurrent accesses to these services lead deployed software applications to behave in a non-deterministic fashion. Synchronous languages offer a formal approach to constrain accesses and validate the deterministic behavior of the applications and the services. Challenge 2: Meanwhile, DEVS formalism provides capabilities to model and simulate discrete, continuous or hybrid complex systems, hence allowing: (i) To model complex physical interactions between actuators through a real physical environment (e.g. heater/cooler), and (ii) To model asynchronous software components to verify some properties through tests and simulations (case applicable to the modeling of the execution machine of a FSM).
A Cyber Physical Systems (CPS) typically relies on a highly heterogeneous interconnection of platforms and devices offering a diversity of complementary capabilities: from cloud server with their virtually unlimited resources to tiny microcontrollers supporting the connection to the physical world. This tutorial presents a tool supported Model-Driven Software Engineering (MDSE) approach targeting the heterogeneity and distribution challenges associated with the development of CPS. The approach is based on a domain specific modelling languages called ThingML. The foundations and rational of ThingML have been elaborated over the past years based on a set of experiences and projects aiming applying the state of the art in MDSE in practical contexts and with different industry partners. The aim of the tutorial is (i) to reflect on these experiences to motivate the approach and its implementation, (ii) to describe the approach and its usage by the actors involved in the development of CPS and (iii) to provide handson experience with the associated tools.
ENACT Co-organize the second edition of the MDE4IoT workshop. This year the workshop will be co-located with MODELS'18 in Copenhagen. The objective of this workshop is to: (i) 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, (ii) bring together researchers from the model-driven software development and IoT communities, as well as to promote discussions between theoreticians and practitioners, (iii) discuss the transfer and/or applicability of research results from the MDE community to IoT industrial case studies.