@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@InProceedings{kotker-fmcad11,
  author = 	 {Jonathan Kotker and Dorsa Sadigh and Sanjit A. Seshia},
  title = 	 {Timing Analysis of Interrupt-Driven Programs under Context Bounds},
  booktitle = {Proceedings of the IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD)},
  month = {October},
  year = 	 {2011},
  pages = "81--90",
  abstract = {Timing analysis is a key step in the design of dependable
real-time embedded systems, yet existing analysis tools do
not work for interrupt-driven code, which is commonly used in
embedded systems. In this paper, we present a technique for
timing analysis of interrupt-driven software. We show that for
systems that use priority pre-emptive scheduling, if there is a
finite arrival time between interrupts, one can use bounds on
the number of context switches to perform timing analysis. Our
work builds upon prior work on timing analysis for sequential
programs. We present empirical evidence to show that we can
accurately predict the execution time along any path of an
interrupt-driven program on a standard micro-controller.},
}