Deadline analysis of interrupt-driven software

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 198-207

  Brylow, Dennis ^a   Palsberg, Jens ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

multi resolution static analysis; real time; testing oracles

Indexed keywords

CLOCK CYCLES; DEADLINE ANALYSIS; FLIGHT CONTROL; INTERRUPT HANDLING; INTERRUPT-DRIVEN SOFTWARE; MEDICAL DEVICES; MICROCONTROLLER SYSTEMS; MULTI-RESOLUTION STATIC ANALYSIS; MULTI-RESOLUTIONS; PROGRAM POINTS; RAILWAY SIGNALING; REAL-TIME TESTING; SOFTWARE VERIFICATION; STATE SPACE; TESTING EFFORT; TESTING ORACLES; VEHICLE MANAGEMENT; WORST-CASE EXECUTION TIME;

BIOMEDICAL ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEMS; MICROCONTROLLERS; RAILROAD TRANSPORTATION; STATIC ANALYSIS; SWITCHING CIRCUITS; VERIFICATION;

REAL TIME SYSTEMS;

EID: 77954494759     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940098     Document Type: Conference Paper

References (22)

1. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. R. Alur and T. A. Henzinger. Logics and models of real time: A survey. In Real-Time: Theory in Practice, Springer LNCS 600, pp.74-106, 1992.
3. G. Bernat, A. Burns, and A. Wellings. Portable WCET analysis using Java byte code. In Proc. ERTS 2000, pp.81-88, Jun 2000.
4. D. W. Brylow. Static Analysis of Interrupt-Driven Software. PhD thesis, Purdue University, 2003.
5. D. W. Brylow, N. Damgaard, and J. Palsberg. Static checking of interrupt driven software. In Proc. ICSE 2001, pp.47-56, June 2001.
6. L. Cardelli. Type systems. In The Computer Science and Engineering Handbook, chapter 103, pp.2208-2236. CRC Press, Boca Raton, FL, 1997.
7. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, Cambridge, MA, Jan 2000.
8. M. Corti, R. Brega, and T. Gross. Approximation of WCET for preemptive multitasking systems. In Proc. LCTES 2000, Springer LNCS 1985, pp.178-198, 2000.
9. J. Engblom and A. Ermedahl. Modeling complex flows for WCET analysis. In Proc. RTSS 2000, Nov 2000.
10. J. Engblom and B. Jonsson. Processor pipelines and their properties for static WCET analysis. In Proc. EMSOFT 02, Springer LNCS 2491, pp.334-348, 2002.
11. S. Z. Guyer and C. Lin. Client-driven pointer analysis. In Proc. SAS 03, pp.214-236, 2003.
12. M. J. Harrold, J. A. Jones, T. Li, D. Liang, and A. Gujarathi. Regression test selection for Java software. In Proc. OOPSLA 01, pp.312-326. ACM, 2001.
13. T. Lindholm and F. Yellin. The Java Virtual Machine Specification. Addison-Wesley, April 1999.
14. S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
15. S. Petters and G. Färber. Making WCET analysis for hard real-time tasks on state of the art processors feasible. In Proc. RTCSA 99, pp.442-449, 1999.
16. J. Plevyak and A. A. Chien. Precise concrete type inference for object-oriented languages. In Proc. OOPSLA 94, pp.324-340. ACM, 1994.
17. D. J. Richardson, S. L. Aha, and T. O. O'Malley. Specification-based test oracles for reactive systems. In Proc. ICSE 92, pp.105-118. ACM, 1992.
18. Olin Shivers. Control-Flow Analysis of Higher-Order Languages. PhD thesis, CMU, May 1991.
19. H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache and path analyses. Journal of Real-Time Systems, 18(2/3):157-179, 2000.
20. K. W. Tindell, A. Burns, and A. J. Wellings. An extendible approach for analysing fixed priority hard real-time tasks. Journal of Real-Time Systems, 6(2):133-152, Mar 1994.
21. E. Vivancos, C. Healy, F. Mueller, and D. Whalley. Parametric timing analysis. In Proc. LCTES 01, pp.88-93. ACM, 2001.
22. Z. Xu, B. P. Miller, and T. Reps. Safety checking of machine code. In Proc. PLDI 2000, pp.70-82, 2000.