Login / Signup

Ensuring code safety without runtime checks for real-time control systems.

Sumant KowshikDinakar DhurjatiVikram S. Adve
Published in: CASES (2002)
Keyphrases
  • control system
  • real time
  • safety analysis
  • real time systems
  • source code
  • low cost
  • safety critical
  • texas instruments
  • high level
  • multi agent
  • control strategy
  • real environment
  • air traffic