Login / Signup

On the Necessity of On-Line-BIST in Safety-Critical Applications - A Case Study.

Andreas SteiningerChristoph Scherrer
Published in: FTCS (1999)
Keyphrases
  • safety critical
  • embedded systems
  • safety analysis
  • formal methods
  • agent architecture
  • fault tolerant
  • nuclear power plant
  • support systems
  • case study
  • real time
  • adaptive systems
  • regulatory requirements
  • databases