Dept. of Computer ScienceUniversity of Dortmund

Germany

Dept. of Electrical EngineeringUniversity of Rostock

Germany

Model-based Management of Embedded Service Systems -

An Applied Approach

S. Illner, I. Lück, A. Pohl & H. KrummA. Bobek, H. Bohn & F. Golatowski

Slide 2Management of Embedded Service Systems - Andre Pohl 19/04/23

Outline

IntroductionModel-based managementMoBaSeC

Designtime modelingRuntime enforcement

DemonstratorComponents & Implementation

Concluding remarks

Slide 3Management of Embedded Service Systems - Andre Pohl 19/04/23

Introduction

Embedded service systems, SOAIndustrial sensors and actuatorsMobile devices

SIRENA projectUPnP, DPWS (WSD)

Context-awareness & adaptabilityChallenge: Low power, CPU and memory constraints

Approach: Two-phase management

Slide 4Management of Embedded Service Systems - Andre Pohl 19/04/23

Two-Phase Management

Tool-assisted graphicalmodeling of

context-aware polices

Configuration

Automated & adaptiveruntime management

Slide 5Management of Embedded Service Systems - Andre Pohl 19/04/23

Model-based Management

Object instance diagram of hosts, services, etc.Nodes represent real-world entities, edges express relationshipsBuilding of policy-hierarchies:

Starting with abstract, high-level policyStepwise refinement, tool-assisted, partly automated (via graph transformation)Output: low-level policy based on high-level policy

Slide 6Management of Embedded Service Systems - Andre Pohl 19/04/23

Model-based Management: Policy hierarchy

Corporate managementCorporate Policy:All systems should always use the latest available software version.

Technical ManagementFunctional 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

Slide 7Management of Embedded Service Systems - Andre Pohl 19/04/23

Model-based Management (cont‘d)

System ControlModel

Modeling

Modeling

Abstraction

AbstractionRefinement

Refinement

Real System

Goals

Tool-Support1. Modeling of system and goals2. Abstraction: More abstract models3. Derivation of control elements

Generation

Slide 8Management of Embedded Service Systems - Andre Pohl 19/04/23

Graph transformation

Replacement rules:Service v:AvailReq

d:Daemon

s:Service v:AvailReq

d:Daemon w:WatchD p:CheckP

ftp avr

d1d2

n1n2

ftp avr

wd2

d1

d2

n1

n2pc1wd1

pc2

Slide 9Management of Embedded Service Systems - Andre Pohl 19/04/23

MoBaSeCModel-based Service Configuration

Graphical model representationInteractive modelingInteractive model abstraction & refinementAutomated completion, analysis & checkGeneration of low-level management parameters

Slide 10Management of Embedded Service Systems - Andre Pohl 19/04/23

MoBaSeC (cont’d)

Runtime policy enforcement infrastructureLightweight Java servicesBased on Service Abstraction Layer

UPnP module implementedDPWS planned

Slide 11Management of Embedded Service Systems - Andre Pohl 19/04/23

Automotive Demonstrator

LANUSBCANWLANBluetoothGSMDABGPS

Slide 12Management of Embedded Service Systems - Andre Pohl 19/04/23

Goal: Turn off the airbag if a child safety seat is placed on the front seat

Child safety seatwith Bluetooth tagBluetooth-Id scanner to detect seatAirbag deviceservicePolicy enforcementservicesDesigntime policymodeling & deployment

Automotive Demonstrator (cont’d)Child Safety Seat Scenario

Slide 13Management of Embedded Service Systems - Andre Pohl 19/04/23

Demonstrator: Airbag Deactivation Model

Slide 14Management of Embedded Service Systems - Andre Pohl 19/04/23

Concluding Remarks

Two-phase management approach for embedded service systems

Designtime modeling & runtime enforcementSuccessfully tested in the automotive demonstratorMore complex tests have to be conducted

Service abstraction platformUPnP based communicationImplementation of a DPWS stack for embedded Java platforms finishedAbstraction layer integration pending

(Fault) Management Patterns assist in creating fault tolerant service systems

Slide 15Management of Embedded Service Systems - Andre Pohl 19/04/23

Thank you for your attention!