Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems.

Susanne Kandl Raimund Kirner Peter P. Puschner

Published in: WISES (2006)

Keyphrases

safety critical
embedded systems
embedded software
low cost
fault tolerant
embedded devices
safety analysis
embedded real time systems
formal methods
agent architecture
hw sw
case study
machine learning
software systems
support systems
e learning