DO-178C nears finish line, with credit for modern tools and technologies, Military and Aerospace Electronics, 2010. ,
The Real-Time Specification for Java, p.195, 2000. ,
, The Java? Programming Language, 2005.
Differentiating Features of the PERC Virtual Machine ,
Making Effective Use of the Real-Time Specification for Java, Atego White Paper, 2004. ,
, Meeting minutes, notes, and preliminary materials related to an early draft specification for safety-critical Java
, , 2008.
, A. Wellings. Safety-Critical Java Technology Specification, Public Draft, 2011.
Use of PERC Pico for Safety Critical Java, Conference Proceedings: Embedded Real-Time Software and Systems, 2010. ,
Improving Abstraction, Encapsulation, and Performance within Mixed-Mode Real-Time Java Applications, Conference Proceedings: Java Technology for Embedded Real-Time Systems, 2007. ,