Constructing Reliable Embedded Systems Using the Results of System Safety Analysis.

Giuseppe Mauri Stefan Scheer

Published in: Ada-Europe (2000)

Keyphrases

embedded systems
safety critical
safety analysis
nuclear power plant
low cost
embedded software
embedded devices
resource limited
computing power
software systems
field programmable gate array
fault model
case study
control system
cooperative
fault tolerant
symbolic model checking
relational databases