Login / Signup

Split'n'Cover: ISO 26262 Hardware Safety Analysis with SystemC.

Denis UeckerMatthias Jung
Published in: SAMOS (2022)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • control system
  • fault model
  • low cost
  • embedded systems
  • symbolic model checking
  • real time
  • reliability analysis
  • artificial intelligence
  • fuzzy logic