Static checking of Safety Critical Java annotations

ACM International Conference Proceeding Series

Volumn , Issue , 2010, Pages 148-154

  Tang, Daniel ^a   Plsek, Ales ^a   Vitek, Jan ^a  

^a PURDUE UNIVERSITY   (United States)

Author keywords

Annotations; Memory safety; Safety Critical Systems; Verification

Indexed keywords

ANNOTATIONS; MEMORY SAFETY; PROTOTYPE IMPLEMENTATIONS; SAFETY CRITICAL SYSTEMS; SAFETY-CRITICAL; STATIC CHECKING;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; REAL TIME SYSTEMS; SOFTWARE PROTOTYPING; SPECIFICATIONS;

EMBEDDED SYSTEMS;

EID: 77957943860     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1850771.1850792     Document Type: Conference Paper

References (10)

1. Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, and Tian Zhao. Scoped types and aspects for real-time Java memory management. Realtime Systems Journal, 37(1), 2007.
2. Greg Bollella, James Gosling, Benjamin Brosgol, Peter Dibble, Steve Furr, and Mark Turnbull. The Real-Time Specification for Java. Addison-Wesley, June 2000.
3. Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Jr., and Martin Rinard. Ownership types for safe region-based memory management in real-time java. In Programming Language Design and Implementation (PLDI), 2003.
4. JSR 308 Expert Group. Type Annotations specification (JSR 308). http://types.cs.washington.edu/jsr308/, September 12, 2008.
5. JSR 302. Safety critical Java technology, 2007.
6. Tomas Kalibera, Jeff Hagelberg, Filip Pizlo, Ales Plsek, and Jan Vitek Ben Titzer and. CDx: A family of real-time Java benchmarks. In International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES), September 2009.
7. Kelvin Nilsen. A type system to assure scope safety within safety-critical Java modules. In International workshop on Java technologies for real-time and embedded systems (JTRES), 2006.
8. Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, and Jan Vitek. High-level programming of embedded hard real-time devices. In EuroSys Conference, 2010.
9. RTCA and EUROCAE. Software considerations in airborne systems and equipment certification. Radio Technical Commision for Aeronatics(RTCA), European Organization for Civil Aviation Electronics (EUROCAE), DO178-B, 1992.
10. Tian Zhao, James Noble, and Jan Vitek. Scoped types for real-time Java. In Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS), 2004.