Static checking of interrupt-driven software

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 47-56

  Brylow, Dennis ^a   Damgaard, Niels ^a   Palsberg, Jens ^a  

^a Purdue University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FLOW GRAPHS; LIFE CYCLE; MODEL CHECKING; REAL TIME SYSTEMS; STATIC ANALYSIS; ALGORITHMS; DESIGN; MICROCONTROLLERS; PROGRAM PROCESSORS; SOFTWARE PROTOTYPING;

BRUTE FORCE; CELL PHONE; EMBEDDED-SYSTEM; FORCE TESTING; INTERRUPT-DRIVEN SOFTWARE; PALM PILOT; REQUIRED FUNCTIONALITIES; RESOURCECONSTRAINED DEVICES; STATIC CHECKING; SYSTEM COMPONENTS; ASSEMBLY CODE; RESOURCE CONSTRAINED DEVICE;

DATA FLOW ANALYSIS; COMPUTER SOFTWARE;

EID: 0035009290     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919080     Document Type: Conference Paper

References (19)

1. E. Allen Emerson. Temporal and modal logic. In J. van Leeuwen, A. Meyer. M. Nivat, M. Paterson, and D. Pemn, editors, Handbook of Theoretical Computer Science, volume B, pages 995-1072. Elsevier Science Publishers, Amsterdam; and MIT Press, 1990.
2. Handspring. Handspring Developer Technical Information Technical FAQ, 2000. http://www.handspring.com/developers/techfaq.asp#q 13.
3. Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue, Hideaki Komatsu, and Toshio Nakatani. A study of devirtualization techniques for a Javajust-in-time compiler. In Proceedings of the Fifreenth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'OO), 2000.
4. David McAllester. On the complexity analysis of static analyses. In Proceedings of SAS'99, 6th International Static Analysis Symposium, pages 312-329. Springer-Verlag (WVCS 1694), 1999.
5. Sun Microsystems. The Java compiler compiler. www.suntest.com/Jack/, 1997.
6. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In Proceedings of POPL'98, 25th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85-97, 1998.
7. Motorola, Inc. M68000 8416432 Bit Microprocessor User's Manual, 9 edition, 1993. http://ebus.motorola.com/brdatalPDFDB/MICROPROCESSORS/32_BIT/68K-COLDFlREl M680XO/MC68000UM.pdf.
8. Motorola, Inc. MC68328 DragonBall Microprocessor User's Manual (preliminary), November 1997. http://ebus.motorola.com/brdata./PDFDB/MICROPROCESSORS/32BIT/68K-COLDFIREl M683XXJMC68328P.pdf.
9. Steven Muchnick. Advanced Compiler Design and Implementation. Morgan Kaufmann, 1997.
10. George Necula. Proof-carrying code. In Proceedings of POPL'97, 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 106-119, 1997.
11. George Necula and Peter Lee. The design and implementation of a certifying compiler. In Proceedings of ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation, pages 333-344, 1998.
12. Jens Palsberg and Patrick M. O'Keefe. A type system equivalent to flow analysis. ACM Transactions on Programming Languages and Systems, 17(4):576 599, July 1995.
13. Preliminary version in Proceedings of POPL'95. 22nd Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 367-378, San Francisco, Califomia, January 1995.
14. Jens Palsberg and Michael I. Schwartzbach. Safety analysis versus type inference. Informarion and Compurarion, 118(1):128-141, 1995.
15. Andreas Podelski. Model checking as constraint solving. In Proceedings of SAS'OO, 7th International Static Analysis Symposium, pages 22-37. Springer-Verlag (LNCS 1824), 2000.
16. Thomas Reps. Program analysis via graph reachability. Information and Software Technology, 40(11-12):701-726, November 1998. http://www.cs.wisc.edu/wpis/papers/tr 1386.ps.
17. Kevin Tao and Jens Palsberg. The Java tree builder. Purdue University, www.cs.purdue.edu/jtb, 1997.
18. Zhichen Xu, Barton P. Miller, and Thomas Reps. Safety checking of machine code. In Proceedings of ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation, pages 70-82, 2000.
19. Zilog, Incorporated. Z86E30/E31/E40 Preliminary Product Specification. Campbell, CA, 1998. http://www.zilog.com/pdfs/z8otp/e303 14O.pdf.