The Effect of Hardware Platform Selection on Safety-Critical Software in Embedded Systems: Empirical Evaluations.

Falk Salewski Stefan Kowalewski

Published in: SIES (2007)

Keyphrases

embedded systems
safety critical
empirical evaluation
safety analysis
embedded software
low cost
software systems
real time systems
hardware software
embedded real time systems
formal methods
field programmable gate array
agent architecture
databases
distributed systems
software engineering
object oriented