Performance debugging of Esterel specifications

Lei Ju, Bach Khoa Huynh, Abhik Roychoudhury, Samarjit Chakraborty

Publikation: Beitrag in FachzeitschriftArtikelBegutachtung

10 Zitate (Scopus)

Abstract

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", which needs to be validated when Esterel specifications get compiled to real implementations (such as C code). In this work, we present a model-driven and architecture-aware timing analysis framework for C code generated from Esterel and executed on general-purpose processors. By integrating model-level information into the traditional timing analysis, we can efficiently compute accurate time estimates via systematically eliminating a large number of infeasible paths in the generated code. Experimental results show that with our proposed intermediate representation level infeasible path analysis in the model compilation, we obtain up to 16.1 % tighter WCET estimates compared to the traditional assembly code level infeasible path detection with substantially less analysis time. Furthermore, by maintaining the traceability links between Esterel specifications and the generated C code, we are able to map the time-critical computations at the C-level back to the Esterel-level.

OriginalspracheEnglisch
Seiten (von - bis)570-600
Seitenumfang31
FachzeitschriftReal-Time Systems
Jahrgang48
Ausgabenummer5
DOIs
PublikationsstatusVeröffentlicht - Sept. 2012

Fingerprint

Untersuchen Sie die Forschungsthemen von „Performance debugging of Esterel specifications“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren