Sign in

Multi-core Devices for Safety-critical Systems: A Survey.

Jon Pérez-CerrolazaRoman ObermaisserJaume AbellaFrancisco J. CazorlaKim GrüttnerIrune AgirreHamidreza AhmadianImanol Allende
Published in: ACM Comput. Surv. (2020)
Keyphrases
  • safety critical
  • embedded systems
  • formal methods
  • safety analysis
  • nuclear power plant
  • fault tolerant
  • support systems
  • mobile devices
  • real time
  • management system
  • computational intelligence