The increasing importance of embedded software has produced a shift in the testing
activities from system testing towards software testing. This has contributed to testing the …

The purpose of this chapter is to introduce the test methods applied for embedded systems
addressing selected problems in the automotive domain. Model-based test approaches are …

Lifecycle models divide the test process into consecutive test levels that are considered
independently. This strict separation obstructs the view on the test process as a whole and …

Systematic simulation is a technique related and motivated by the formal analysis of hybrid
dynamic systems. It combines the exhaustive and conservative nature of traditional model …

Despite the past few years' intensive efforts of automobile manufacturers and their suppliers
to enhance the quality assurance of their products, the problems of testing systems that, like …

Echtzeit-reaktive und eingebettete Systeme werden gewöhnlich in Bereichen genutzt, in
denen Sicherheit sehr wichtig und die Fehlertoleranz begrenzt ist. Diese Systeme finden …

In the development of software for control systems, code is often generated based on
models from tools like Simulink. A central question for this approach is in how far model and …

In the engineering world, more and more accent is put on the real-time embedded
applications. They are used almost everywhere, in domains as: automotive, robotics, health …

Zukünftige Fahrzeuggenerationen werden, stärker noch als heute, in eine umfassende
Kommunikationsinfrastruktur eingebunden sein, die den Datenaustausch sowohl zwischen …

Die Entwicklung sicherer, komfortabler und flexibel einsetzbarer technischer Systeme wird--
mehr denn je--durch Software und die damit zusammenhängenden …