Slide 1 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer...

Software Engineering of Safety-Critical Adaptive Embedded Systems

Copyright © Fraunhofer IESE 2007

Software Engineering of Safety-Critical Adaptive

Embedded Systems

Rasmus Adler

[email protected].: 0631 - 6800 2172



Overview

• Classification

• Constructive Modeling Methodology

• Software Engineering of Adaptive Systems

• Motivation for Dynamic Adaptation



Classification

dynamic adaptation

dynamicreconfiguration

dynamicbehavior adaptation

hardware-basedreconfiguration

(e.g. FPGA)

software-basedreconfiguration

predetermined reconfiguration (static decision)

on-line determined reconfiguration

(dynamic decision)

dynamic configuration of

collaboration


behavior


parameters

dynamic configuration of HW/SW binding



Motivation for Dynamic Adaptation

Quality levelQuality level Runtimeadaptation

Runtimeadaptation

• Driving situation• HW-Fault• SW-Fault

• Safety• Survivability• Adaptation to driving situation

MARS Adaptation: dynamic

configuration of collaboration


behavior


parameters



Modeling of Adaptation Behavior

esensorValuvYaw

2ch

2

v1vCar

l

vCarstAnglevYaw

stAngle

vCar

vYaw

Module vYawconfig. measured

config. vCar_stAngle

vYaw



data type semantics vYaw is the angular

speed of a vehicle around its z-axis.

Quality-Extended Datatypes for Adaptive Systems:Dative = <data type , semantic , quality type>

Modes: classes of variants that have the same semantics

quality type

Mode

Mode-Attributes: provide mode-specific description of the signal-quality

Mode-Attribute




configuration 2

Module M1

configuration 1

configuration 2

configuration n

...

data quality

signal

parameter 1 … parameter n

qualityqualityqualityquality

qualityqualityqualityquality

data

data




CodeCode

Behavior(Simulink)

Behavior(Simulink)Behavior

(Simulink)

Behavior(Simulink)

Architecure model(UML)

Architecure model(UML)

Architecture model(UML)

Behavior(e.g. Simulink)

CodeFunction

Adaptation

- Adaptation is indistinguishable part of functionality

- adaptation although developers do not know

- influence of adaptation on quality of provided services not considered

Software Engineering of Adaptive ES



FrameworkFramework

Behavior(Simulink)

Behavior(Simulink)Behavior(e.g. Simulink)


Function

Adaptation

Adaptation Behavior SpecificationAdaptation Behavior Specification

- d. a. is explicitly considered in development

- dedicated runtime adaptation framework

- SOP, SOA

Complexity becomes visible

=> How to find adaptation behavior specification




FrameworkFrameworkFunction

Adaptation


Architecture model(MARS / UML)


Adaptation


Behavior(e.g. Simulink)Behavior

(e.g. Simulink)





Testing

executable Model0

0,2

0,4

0,6

0,8

1

1,2

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

Ratio Config==Off

Ratio Config==forwarded

Ratio Config==slowStart

Ratio Config==On

Confidence

Module

Simulation-Step

ActiveConfiguration

Exchanged Signal-Quality

AdaptiveParameter

0

0,2

0,4

0,6

0,8

1

1,2

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

Ratio Config==Off



Ratio Config==On

Confidence

In 38% of all testcases at simulation step 5 Config. On was active




Simulation/ Co-Simulation

Simulink

executable Model0

0,2

0,4

0,6

0,8

1

1,2

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23

Ratio Config==Off



Ratio Config==On

Confidence

TestingModel-transformation

Quarz

Model-Checking

hybrid-CFT

Probabilistic Analyses

SASState transition systemProperty preserving model red.




FrameworkFramework

Behavior(Simulink)

Behavior(Simulink)Behavior(e.g. Simulink)


Function

Adaptation


SE includes:



Adaptation


- constructive modeling methodology

- Analysis and Verification of adaptation behavior

- Quality prediction → control development



Demonstrator



Questions

Rasmus Adler

[email protected]

+49 (0) 631 / 6800 2172

Now

or

later:

Slide 1 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer...

Documents

Transcript of Slide 1 Software Engineering of Safety-Critical Adaptive Embedded Systems Copyright © Fraunhofer...