Login / Signup

Asynchronous programming with futures in C on a safety-critical platform in the railway-control domain.

Oscar Medina DuarteReinhard Hametner
Published in: ETFA (2017)
Keyphrases
  • safety critical
  • formal methods
  • nuclear power plant
  • control system
  • fault tolerant
  • real time
  • embedded systems
  • domain independent
  • safety analysis
  • e learning
  • multi agent
  • programming language