Login / Signup

Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata.

AnnMarie EricssonMikael Berndtsson
Published in: SCW (2006)
Keyphrases
  • real time systems
  • timed automata
  • composite events
  • embedded systems
  • real time embedded
  • real time
  • architectural model
  • case study
  • distributed systems
  • event detection
  • model checking
  • software architecture