Model-Based Testing for Embedded Systems

Model-Based Passive Testing of Safety-Critical Components 473

16.5 Extended Example (Exercise for Students)

In this section, we want to study a nontrivial but nevertheless not too difficult example to

illustrate some of the features of model-based passive testing, as they have been described

and discussed in the previous sections of this chapter.

Let us take a systolic array (Kung 1982), which can be used, for example, for (N × N)

matrix multiplications, as it is described much in detail in Petkov (1992). Such systolic

array examples are relevant also as far as hardware components—one of the main themes of

this chapter—are concerned, since systolic