Loading...
Please wait, while we are loading the content...
Similar Documents
A Systematic Classification and Detection of Infeasible Paths for Accurate WCET Analysis of Esterel Programs
| Content Provider | Semantic Scholar |
|---|---|
| Author | Chakraborty, Lei Ju Bach Khoa Huynh Abhik Roychoudhury Samarjit |
| Copyright Year | 2008 |
| Abstract | Synchronous programming languages like Esterel are widely used in safetycritical domains like avionics. However, it is only with the recent development of mature worst-case execution time (WCET) analysis tools that progress is being made on systematically studying the WCET analysis problem for languages like Esterel. In this context, we present techniques for methodically classifying and detecting different types of infeasible paths that arise while compiling Esterel programs into executable code, via high-level languages such as C. Our experimental results with well-known benchmarks show that the infeasible paths detected using our techniques result in as much as 36.5% reduction in the WCET estimates, compared to when no infeasible path detection is employed. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.comp.nus.edu.sg/~abhik/pdf/sinfra09.pdf |
| Language | English |
| Access Restriction | Open |
| Subject Keyword | Avionics Best, worst and average case Classification Compiler Esterel Estimated Executable High- and low-level Programming Languages Run time (program lifecycle phase) Sensor Synchronous programming language Worst-case execution time |
| Content Type | Text |
| Resource Type | Article |
