Risk-Driven Continuous Delivery of Trustworthy Smart Iot Systems — First Version
Total Page:16
File Type:pdf, Size:1020Kb
Grant AgreementRef. Ares(2019)4295935 N° 780351 - 05/07/2019 Title: Risk-driven Continuous Delivery of Trustworthy Smart IoT Systems — First Version Authors: Jacek Dominiak (BAW), Nicolas Ferry (SINTEF), Elena González (BAW), Stéphane Lavirotte (CNRS), Brice Morin (SINTEF), Victor Muntés (BAW), Phu H. Nguyen (SINTEF), Alexander Palm (UDE), Angel Rego (TECNALIA), Jean Yves Tigli (CNRS) Editors: Nicolas Ferry (SINTEF), Phu H. Nguyen (SINTEF) Reviewers: Erkuden Rios (TECNALIA), Uģis Grīnbergs (BOSC) Identifier: Deliverable # D2.2 v1.0 Nature: Report Date: 30 June 2019 Status: Delivered Diss. level: Public Executive Summary D2.2 provides the first version of the ENACT Continuous Delivery toolkit (including the Orchestration and Continuous Deployment Enabler and the Test, Simulation and Emulation Enabler), the Risk Management Enabler, and the Actuation Conflict Management Enabler. In particular, in this document, we provide an overall as well as a technical presentation of each of the enablers developed in WP2. Copyright © 2019 by the ENACT consortium – All rights reserved. The research leading to these results has received funding from the European Community's H2020 Programme under grant agreement n° 780351 (ENACT). ENACT Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems Deliverable # D2.2 Members of the ENACT consortium: SINTEF AS Norway BEAWRE DIGITAL SL Spain MONTIMAGE France EVIDIAN SA France INDRA Sistemas SA Spain Fundación Tecnalia Research & Innovation Spain TellU AS Norway Centre National de la Recherche Scientifique France Universitaet Duisburg-Essen Germany Istituto per Servizi di Ricovero e Assistenza agli Anziani Italy Baltic Open Solution Center Latvia Elektronikas un Datorzinatnu Instituts Latvia Public Final version 1.0, 30/06/2019 2 ENACT Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems Deliverable # D2.2 Revision history Date Version Author Comments 01 December Initial Nicolas Ferry (SINTEF) Outline and summaries 13 February Initial Nicolas Ferry (SINTEF) Introduction 13 May Draft Nicolas Ferry, Brice Almost complete version of section Morin, Phu Nguyen 3 (SINTEF) 24 May Draft Jean-Yves tigli, Stéphane Almost complete version of Section Lavirotte (CNRS) 4 4 June Draft Nicolas Ferry, Phu Final version section 3 Nguyen (SINTEF) 4 June Draft Jacek Dominiak Draft version section 2 5 June Draft Jean-Yves tigli, Stéphane Final version section 4 Lavirotte (CNRS) 5 June Draft Elena González (Beawre) Draft version section 2 5 June Draft Victor Muntés (Beawre) Review draft version section 2 + further contributions to section 2 11 June Draft Nicolas Ferry (SINTEF) Final version of Section 1 and 6 11 June Draft Jean Yves Tigli (CNRS) Update Section 4 after WP2 internal review 19 June Draft Erkuden Rios Internal Review 25 June Draft Ugis Grisberg Internal Review 27 June Final Nicolas Ferry (SINTEF), Update based Internal Reviews Phu Nguyen (SINTEF), Victor Muntes (Beawre), Jean Yves Tigli (CNRS) Public Final version 1.0, 30/06/2019 3 ENACT Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems Deliverable # D2.2 Contents CONTENTS .......................................................................................................................................... 4 1 INTRODUCTION ........................................................................................................................ 6 CONTEXT AND OBJECTIVES .................................................................................................................... 6 ACHIEVEMENTS ...................................................................................................................................... 8 STRUCTURE OF THE DOCUMENT ........................................................................................................... 9 2 AGILE AND CONTINUOUS RISK MANAGEMENT ........................................................... 11 OVERALL PRESENTATION OF THE ENABLER ..................................................................................... 11 Motivation ..................................................................................................................................... 11 Background tool architecture: MUSA ............................................................................... 14 TECHNICAL PRESENTATION AND HIGHLIGHTS ................................................................................. 15 Risk Management Methodology .......................................................................................... 16 SYNTHESIS ............................................................................................................................................. 20 3 CONTINUOUS ORCHESTRATION AND DEPLOYMENT OF SIS .................................. 21 OVERALL PRESENTATION OF THE ENABLER ..................................................................................... 22 Motivating example .................................................................................................................. 22 Overall approach ........................................................................................................................ 25 TECHNICAL PRESENTATION AND HIGHLIGHTS ................................................................................. 27 The GeneSIS Modelling Language ...................................................................................... 27 The GeneSIS execution engine .............................................................................................. 31 Model-based, Platform-independent Logging of the deployed SIS ....................... 37 INTEGRATION WITH EXISTING PLATFORMS ...................................................................................... 48 SYNTHESIS ............................................................................................................................................. 50 4 IDENTIFYING, ANALYSING AND MANAGING ACTUATION CONFLICTS ................ 53 OVERALL PRESENTATION OF THE ENABLER ..................................................................................... 53 Illustration and Motivation ................................................................................................... 53 Overall Approach ....................................................................................................................... 56 Highlights ...................................................................................................................................... 58 TECHNICAL PRESENTATION ................................................................................................................ 59 Actuation Conflict Detection and Solving for large scale SIS ................................. 59 Designing Safe and Reliable Custom Actuation Conflict Manager ....................... 63 ACM Enabler V1 Illustration ................................................................................................. 67 SYNTHESIS ............................................................................................................................................. 70 5 TEST AND SIMULATION FOR SIS ...................................................................................... 72 OVERALL PRESENTATION OF THE ENABLER .................................................................................... 72 Motivation ..................................................................................................................................... 73 Overall approach to Test and Simulation ....................................................................... 75 TECHNICAL PRESENTATION AND HIGHLIGHTS ................................................................................. 75 FUTURE PLANS ..................................................................................................................................... 76 SYNTHESIS ............................................................................................................................................. 78 6 CONCLUSION ........................................................................................................................... 80 Public Final version 1.0, 30/06/2019 4 ENACT Development, Operation, and Quality Assurance of Trustworthy Smart IoT Systems Deliverable # D2.2 APPENDIX A .................................................................................................................................... 81 1 RISK MANAGEMENT -- USER GUIDE ................................................................................ 81 2 GENESIS – USER GUIDE ........................................................................................................ 82 INSTALLATION ...................................................................................................................................... 82 Pre-requisite: ............................................................................................................................... 82 From git: ........................................................................................................................................ 83 From DockerFile: ........................................................................................................................ 83 From the public Docker image: ............................................................................................ 84 TUTORIALS AND EXAMPLES ...............................................................................................................