Efficient WCRT analysis of synchronous programs using reachability

Proceedings - Design Automation Conference

Volumn , Issue , 2011, Pages 480-485

  Kuo, Matthew ^a   Sinha, Roopak ^a   Roop, Partha ^a  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

Reachability; Synchronous; Worst Case Analysis

Indexed keywords

COMPUTER AIDED DESIGN; MODEL CHECKING;

INTEGER LINEAR PROGRAMMING; REACHABILITY; REACHABILITY ANALYSIS; REAL TIME EXECUTION; SYNCHRONOUS; SYNCHRONOUS PROGRAM; WORST-CASE ANALYSIS; WORST-CASE COMPLEXITY;

INTEGER PROGRAMMING;

EID: 80052686753     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2024724.2024837     Document Type: Conference Paper

References (10)

1. S. Andalam, P. S. Roop, and A. Girault. Predictable multithreading of embedded applications using PRET-C. Proceedings of ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), July,2010.
2. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, number 3185 in LNCS, pages 200-236. Springer-Verlag, Sept. 2004.
3. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. De Simone. The synchronous languages 12 years later. Proceedings of the IEEE, 91(1):64 - 83, Jan. 2003.
4. V. Bertin and et al. Taxys = Esterel + Kronos - a tool for verifying real-time properties of embedded systems. In IEEE Conference on Decision and Control, 2001.
5. M. Boldt, C. Traulsen, and R. Von Hanxleden. Worst case reaction time analysis of concurrent reactive programs. Electronic Notes in Theoretical Computer Science, 203(4):65-79, June 2008. (Pubitemid 351749888)
6. L. Ju, B. Huynh, S. Chakraborty, and A. Roychoudhury. Context-sensitive timing analysis of esterel programs. In Design Automation Conference, 2009. DAC '09. 46th ACM/IEEE, pages 870 -873, July 2009.
7. L. Ju, B. K. Huynh, A. Roychoudhury, and S. Chakraborty. Performance debugging of Esterel specifications. In CODES+ISSS, pages 173-178, 2008.
8. L. Ju, B. K. Huynh, A. Roychoudhury, and S. Chakraborty. Timing analysis of esterel programs on general-purpose multiprocessors. In Proceedings of the 47th Design Automation Conference, DAC '10, pages 48-51, New York, NY, USA, 2010. ACM.
9. Micrium. uC-OSII and Xilinx Microblaze processor, Application Note AN-1013, 2008.
10. P. S. Roop, S. Andalam, R. Von Hanxleden, S. Yuan, and C. Traulsen. Tight WCRT analysis for synchronous C programs. In Proceedings of the International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES'09), Grenoble, France, October 2009. IEEE.