@inproceedings{815fd972216a4598b07d70d797530162,
title = "Investigating time properties of interrupt-driven programs",
abstract = "In design of dependable software for real-time embedded systems, time analysis is an important but challenging problem due in part to the randomicity and nondeterminism of interrupt handling behaviors. Time properties are generally determined by the behavior of the main program and the interrupt handling programs. In this paper, we present a small but expressive language for interrupt-driven programs and propose a timed operational semantics for it which can be used to explore various time properties. A number of algebraic laws for the computation properties that underlie the language are established on top of the proposed operational semantics. We depict a number of important time properties and illustrate them using the operational semantics via a small case study.",
keywords = "interrupt, operational semantics, time",
author = "Yanhong Huang and Yongxin Zhao and Jianqi Shi and Huibiao Zhu and Shengchao Qin",
year = "2012",
doi = "10.1007/978-3-642-33296-8\_11",
language = "英语",
isbn = "9783642332951",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "131--146",
booktitle = "Formal Methods",
note = "15th Brazilian Symposium on Formal Methods, SBMF 2012, Colocated with Third Brazilian Conference on Software:Theory and Practice, CBSoft 2012 ; Conference date: 23-09-2012 Through 28-09-2012",
}