Performance Debugging of Esterel Specifications

Download Now Free registration required

Executive Summary

Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based on the underlying "Synchrony hypothesis", where the computation/communication associated with the processing of all events occurring within the same "Clock tick" are assumed to happen instantaneously (or in zero time). In reality, Esterel specifications get compiled to implementations (such as C code) which do not satisfy the perfect synchrony assumption. Hence, platform-specific timing analysis of such implementations is an important research topic. Interest in this area has lately been renewed with the recent advances in Worst-Case Execution Time (WCET) analysis techniques.

  • Format: PDF
  • Size: 340.2 KB