Integrating safety analysis into the model-based development toolchain of automotive embedded systems.

Matthias Biehl De-Jiu Chen Martin Törngren

Published in: LCTES (2010)

Keyphrases

safety critical
embedded systems
safety analysis
nuclear power plant
embedded software
low cost
embedded devices
embedded real time systems
fault tolerant
formal methods
software systems
hw sw
real time
data structure
agent architecture
communication technologies