Automatic Verification of Real-Time Designs

  title={Automatic Verification of Real-Time Designs},
  author={V{\'i}ctor A. Braberman},
We are working on an automatic approach to verify realtime distributed designs for complex timing requirements which go beyond schedulability. We focus our analysis on designs which adhere to the hypothesis of known analytical theory for fixed-priority scheduling. Unlike previous formal approaches, we profit, from that theory and build rather simple and tractable formal models based on Timed Automata [l]. Therefore, we are integrating scheduling analysis techniques into the framework of… CONTINUE READING