Model-based Management of Embedded Service Systems - An Applied Approach S. Illner, I. Lück, A. Pohl & H. Krumm A. Bobek, H. Bohn & F. Golatowski

Model-based management MoBaSeC Outline Introduction Model-based management MoBaSeC Designtime modeling Runtime enforcement Demonstrator Components & Implementation Concluding remarks Management of Embedded Service Systems - Andre Pohl 20/09/2018

Embedded service systems, SOA Introduction Embedded service systems, SOA Industrial sensors and actuators Mobile devices SIRENA project UPnP, DPWS (WSD) Context-awareness & adaptability Challenge: Low power, CPU and memory constraints  Approach: Two-phase management Management of Embedded Service Systems - Andre Pohl 20/09/2018

Tool-assisted graphical modeling of context-aware polices Two-Phase Management Tool-assisted graphical modeling of context-aware polices Automated & adaptive runtime management Configuration Management of Embedded Service Systems - Andre Pohl 20/09/2018

Model-based Management Object instance diagram of hosts, services, etc. Nodes represent real-world entities, edges express relationships Building of policy-hierarchies: Starting with abstract, high-level policy Stepwise refinement, tool-assisted, partly automated (via graph transformation) Output: low-level policy based on high-level policy Management of Embedded Service Systems - Andre Pohl 20/09/2018

Model-based Management: Policy hierarchy Corporate management Corporate Policy: All systems should always use the latest available software version. Technical Management Functional Policy: New software versions are to be distributed in 5 hours. Process Policy: check all 10 min: if sw in Repos where sw.v>mo.v then { distribute(sw); install(sw) } Object, Attributes & Rules: if inqueue.lng>c1 then reduce_credit Management of Embedded Service Systems - Andre Pohl 20/09/2018

Model-based Management (cont‘d) Goals System Control Model Modeling Abstraction Refinement Abstraction Refinement Modeling Generation Real System Tool-Support 1. Modeling of system and goals 2. Abstraction: More abstract models 3. Derivation of control elements Management of Embedded Service Systems - Andre Pohl 20/09/2018

Replacement rule Graph transformation ftp avr d1 d2 n1 n2 s:Service v:AvailReq ftp avr d:Daemon d2 wd2 pc2 s:Service v:AvailReq d1 wd1 pc1 n2 d:Daemon w:WatchD p:CheckP n1 Management of Embedded Service Systems - Andre Pohl 20/09/2018

MoBaSeC Model-based Service Configuration Graphical model representation Interactive modeling Interactive model abstraction & refinement Automated completion, analysis & check Generation of low-level management parameters Management of Embedded Service Systems - Andre Pohl 20/09/2018

Runtime policy enforcement infrastructure MoBaSeC (cont’d) Runtime policy enforcement infrastructure Lightweight Java services Based on Service Abstraction Layer UPnP module implemented DPWS planned Management of Embedded Service Systems - Andre Pohl 20/09/2018

Automotive Demonstrator LAN USB CAN WLAN Bluetooth GSM DAB GPS Management of Embedded Service Systems - Andre Pohl 20/09/2018

Automotive Demonstrator (cont’d) Child Safety Seat Scenario Goal: Turn off the airbag if a child safety seat is placed on the front seat Child safety seat with Bluetooth tag Bluetooth-Id scanner to detect seat Airbag device service Policy enforcement services Designtime policy modeling & deployment Management of Embedded Service Systems - Andre Pohl 20/09/2018

Demonstrator: Airbag Deactivation Model Management of Embedded Service Systems - Andre Pohl 20/09/2018

Two-phase management approach for embedded service systems Concluding Remarks Two-phase management approach for embedded service systems Designtime modeling & runtime enforcement Successfully tested in the automotive demonstrator More complex tests have to be conducted Service abstraction platform UPnP based communication Implementation of a DPWS stack for embedded Java platforms finished Abstraction layer integration pending (Fault) Management Patterns  assist in creating fault tolerant service systems Management of Embedded Service Systems - Andre Pohl 20/09/2018

Thank you for your attention! Management of Embedded Service Systems - Andre Pohl 20/09/2018