Reading Material

Articles to read:

• Pending...

Articles to consider:

• A real-time Java virtual machine with applications in avionics
• A predictable java profile: rationale and implementations
• Java for safety-critical applications
• Harmonizing alternative approaches to safety-critical development with Java
• Hardware support for safety-critical Java scope checks
• Real-time scheduling on a Java processor
• Restrictions of Java for embedded real-time systems
• A hardware abstraction layer in Java
• Hardware objects for Java
• A profile for safety critical Java
• The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar
• Safety-critical Java for low-end embedded platforms
• Memory Management for Safety-Critical Java (DropBox)
• Private memory allocation analysis for safety-critical Java

Articles that are done:

• A desktop 3d printer in safety-critical Java (DropBox)
• Safety-Critical Java on a Java Processor (DropBox)

Other material

• JOP Handbook (DropBox)
• Safety-Critical Java Technology Specification (DropBox)