Model-Based Testing for Embedded Systems

560 Model-Based Testing for Embedded Systems

2

LIN.FuelLevel

1

Switch2

Switch1

Integrator

1

s

Gain3

100/250

Gain2

-1/t

Gain1

1/T

Constant3

1

Constant2

0

Constant1

50

>= 2

>= 50

<= 300

<= 18

>= 10

BITWISE

AND

Add2

Add1

BatteryVoltage

3

KeyPosition

2

FuelLevelSensor

1

LIN.FuelLevelValidit

y

FIGURE 19.12

Physical (functional) model of the FLC system.

y

1

(t)=



0.4x

1

(t) −20, for u

1

(t) ∈[50, 300],u

2

(t) > 1,u

3

(t) ∈[10, 18]

0, otherwise

, (19.9)

y

2

(t)=



0, for u

1

(t) ∈[50, 300],u

2

(t) > 1,u

3

(t) ∈[10, 18]

1, otherwise

. (19.10)

It is easy to observe, that the system processes both discrete and continuous signals.

The behavior of the system is a combination of two different types: discrete combina-

tional ...