1. Automotive Cruise Control System in SCJ
2. Collision Detections in SCJ (Level 1)
3. Cardiac Pacemaker in SCJ and Ada
4. Tokeneer ID Station in SCJ (Level 1): code and report
5. Multiple Mode Pattern Example Application (Level 2)
- Space Shuttle in SCJ
- AirCraft Program Description
6. SCJ Producer-Consumer Example Application: FlatBuffer - Circus Model and Program Description (Level 2)
7. SCJ Level 2 Examples and Translations. Extra Material for Safety-Critical Java Level 2 Programs: Application, Modelling, and Verification, Matt Luckcuck
8. Leader Election in SCJ for LEGO® MINDSTORMS®: report and presentation
9. More SCJ examples and documents
10. Leader Election in SCJ for tutorial.
LEGO®, the LEGO® logo, the Brick, DUPLO®, and MINDSTORMS® are trademarks of the LEGO® Group. ©2012 The LEGO® Group.