Reading Material

Articles to read:

Articles to consider:

• A predictable java profile: rationale and implementations (DropBox)
• Java for safety-critical applications (DropBox)
• Hardware support for safety-critical Java scope checks (DropBox)
• Real-time scheduling on a Java processor (DropBox)
• A profile for safety critical Java (DropBox)
• 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 (afventer René)
• Patterns for Safety-Critical Java Memory Usage (afventer René)
• Memory safety for Safety Critical Java
• The Safety Critical Java Memory Model - A Formal Account
• Garbage Collection in Safety Critical Java
• A real-time Java virtual machine with applications in avionics (DropBox)

Articles that are done:

• A desktop 3d printer in safety-critical Java (DropBox)
• Safety-Critical Java on a Java Processor (DropBox)
• Hardware objects for Java (DropBox)
• A hardware abstraction layer in Java (DropBox)

Articles that are irrelevant

• Harmonizing alternative approaches to safety-critical development with Java (DropBox)
• Restrictions of Java for embedded real-time systems (DropBox)
• SimpCon - a Simple and Efficient SoC Interconnect (DropBox)

Other material

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