Time-safety checking for embedded programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2491, Issue , 2002, Pages 76-92

  Henzinger, Thomas A ^a   Kirsch, Christoph M ^a   Majumdar, Rupak ^a   Matic, Slobodan ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); EMBEDDED SOFTWARE; PROGRAM COMPILERS; SEMANTICS;

HIGH PERFORMANCE CONTROL; NEW APPROACHES; PLATFORM INDEPENDENT;

APPLICATION PROGRAMS;

EID: 84948972626     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45828-x_7     Document Type: Conference Paper

References (7)

1. K. Altisen, G. Gossler, A. Pnueli, J. Sifakis, S. Tripakis, and S. Yovine. A framework for scheduler synthesis. In Proc. Real-Time Systems Symp., pp. 154–163. IEEE Computer Society, 1999.
2. J.R. Buchi and L.H. Landweber. Solving sequential conditions by finite-state strategies. Trans. AMS, 138:295–311, 1969.
3. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
4. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: a time-triggered language for embedded programming. In Proc. Embedded Software, LNCS 2211, pp. 166–184. Springer, 2001.
5. T.A. Henzinger and C.M. Kirsch. The embedded machine: predictable, portable real-time code. In Proc. Conf. Programming Languages Design and Implementation, pp. 315–326. ACM, 2002.
6. C. Liu and J. Layland. Scheduling algorithms for multiprogramming in a hard-realtime environment. J. ACM, 20:46–61, 1973.
7. J.W. Thatcher and J.B. Wright. Generalized finite-automata theory with an application to a decision problem in second-order logic. Mathematical Systems Theory, 2:57–81, 1968.