Login / Signup

Handling index-out-of-bounds in safety-critical embedded C code using model-based development.

Gunter Blache
Published in: Softw. Syst. Model. (2019)
Keyphrases
  • safety critical
  • embedded systems
  • fault tolerant
  • formal methods
  • safety analysis
  • support systems
  • agent architecture
  • nuclear power plant
  • learning systems
  • database
  • source code
  • object oriented
  • low cost
  • software systems