Login / Signup

Searching Representative and Low Cost Fault Models for Intermittent Faults in Microcontrollers: A Case Study.

Joaquin Gracia-MoranDaniel Gil-TomasJuan Carlos BarazaLuis J. Saiz-AdalidPedro J. Gil-Vicente
Published in: PRDC (2010)
Keyphrases
  • fault models
  • model based diagnosis
  • low cost
  • hardware and software
  • fault model
  • dynamic systems
  • fault management
  • real time
  • constraint programming
  • logic programs
  • model checking
  • horn clauses