Ensuring code safety without runtime checks for real-time control systems

Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES '02

Volumn , Issue , 2002, Pages 288-297

  Kowshik, Sumant ^a   Dhurjati, Dinakar ^a   Adve, Vikram ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Compiler; Control; Programming language; Real time; Security; Static analysis

Indexed keywords

CODE SAFETY; COMPILER IMPLEMENTATION; COMPILER TECHNOLOGY; CONTROL CODES; CONTROL SOFTWARE; DYNAMIC MEMORY ALLOCATION; EXPERIMENTAL CONTROL; GARBAGE COLLECTION; LANGUAGE DESIGN; MEMORY OPERATIONS; MEMORY SAFETY; OFFLINE; ONLINE SOFTWARE; ONLINE TECHNIQUE; POINTER-BASED DATA STRUCTURES; PROGRAMMING LANGUAGE; REAL-TIME; REAL-TIME SECURITY; RUN-TIME CHECKS; SAFE PROGRAMMING; SECURITY VIOLATIONS; STATIC CHECKING;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; CONTROL THEORY; DATA STRUCTURES; JAVA PROGRAMMING LANGUAGE; LINGUISTICS; ONLINE SYSTEMS; PROGRAM COMPILERS; REAL TIME CONTROL; REFUSE COLLECTION; STATIC ANALYSIS; SYNTHESIS (CHEMICAL); WASTE DISPOSAL;

EMBEDDED SYSTEMS;

EID: 29144517425     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581630.581678     Document Type: Conference Paper

References (24)

1. TinyOS, a component-based OS for the Networked Sensor Regime. See web site at: http://webs.cs.berkeley.edu/tos/.
2. T. M. Austin, S. E. Breach, and G. S. Sohi. Efficient detection of all pointer and array access errors. In Proc. 1994 Conf. on Prog. Lang. Design and Implementation, Orlando, FL, June 1994.
3. R. Bodik, R. Gupta, and V. Sarkar. ABCD: eliminating array bounds checks on demand. In SIGPLAN Conference on Programming Language Design and Implementation, pages 321-333, 2000.
4. G. Bollella and J. Gosling. The real-time specification for Java. Computer, 33(6):47-54, 2000.
5. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, pages 13(4):451-490, October 1991.
6. R. DeLine and M. Fahndrich. Enforcing high-level protocols in low-level software. In Proc. SIGPLAN '01 Conf. on Programming Language Design and Implementation, Snowbird, UT, June 2001.
7. D. Gay and A. Aiken. Memory management with explicit regions. In SIGPLAN Conference on Programming Language Design and Implementation, pages 313-323, Montreal, Canada, June 1998.
8. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Sun Microsystems, 2nd edition, 2000.
9. D. Grossman, G. Morrisett, T. Jim, M. Hicks, Y. Wang, , and J. Cheney. Region-based memory management in cyclone. In Proc. SIGPLAN '02 Conf. on Programming Language Design and Implementation, Berlin, Germany, June 2002.
10. T. A. Henzinger and C. M. Kirsch. The embedded machine: Predictable, portable real-time code. In Proc. 2002 Conf. Prog. Lang. Design and Implementation, Berlin, Germany, June 2002.
11. International Organisation for Standardisation. Ada95 Reference Manual, 1995. International Standard ISO/IEC 8652:1995.
12. T. Jim, G. Morrisett, D. Grossman, M. Hicks, J. Cheney, , and Y. Wang. Cyclone: A safe dialect of C. In Proc. USENIX Annual Technical Conference, Monterey, CA, June 2002.
13. W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpeisman, and D. Wonnacott. The Omega Library Interface Guide. Technical report, Computer Science Dept., U. Maryland, College Park, Apr. 1996.
14. C. Lattner and V. Adve. Automatic Pool Allocation for Disjoint Data Structures. In Proc. ACM SIGPLAN Workshop on Memory System Performance, Berlin, Germany, Jun 2002.
15. C. Lattner and V. Adve. The LLVM Instruction Set and Compilation Strategy. Tech. Report UIUCDCS-R-2002-2292, Computer Science Dept., Univ. of Illinois at Urbana-Champaign, Aug 2002.
16. S. Lim, K. Lee, and L. Sha. Ensuring integrity and serivce availability in a web based control laboratory. To appear in Journal of Parallel and Distributed Computing Practices.
17. G. C. Necula. Proof-carrying code. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL '97), pages 106-119, Paris, Jan. 1997.
18. G. C. Necula and P. Lee. The design and implementation of a certifying compiler. In Proceedings of the 1998 ACM SIGPLAN Conference on Prgramming Language Design and Implementation (PLDI), pages 333-344, 1998.
19. G. C. Necula, S. McPeak, and W. Weimer. Ccured: Type-safe retrofitting of legacy code. In Proc. 29th ACM Symp. Principles of Programming Languages (POPL02), London, Jan. 2002.
20. W. Pugh. A practical algorithm for exact array dependence analysis. Commun. ACM, 35(8):102-114, Aug. 1992.
21. L. Sha. Dependable system upgrades. In Proceedings of IEEE Real Time System Symposium, 1998.
22. L. Sha. Using simplicity to control complexity. IEEE Software, July/August 2001.
23. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, pages 132(2):109-176, Feb. 1997.
24. D. Wagner, J. S. Foster, E. A. Brewer, and A. Aiken. A first step towards automated detection of buffer overrun vulnerabilities. In Network and Distributed System Security Symposium, pages 3-17, San Diego, CA, February 2000.