Hardware certification for safety-critical real-time systems.

Andrew J. Kornecki Janusz Zalewski

Published in: PDeS (2009)

Keyphrases

real time systems
embedded systems
safety critical
low cost
safety analysis
real time embedded
embedded devices
real time
regulatory requirements
software systems
knowledge base
management system
fault tolerant
formal methods
cooperative
case study
e learning
artificial intelligence