oSCJ : open Safety-Critical Java implementation
has been released.
The oSCJ distribution contains:
- Library
- SCJ Level 0 library implementation
- an RTSJ-compatible implementation for evaluating SCJ on top of RTSJ VMs
- SCJ-compliant VM
- our VM is based on OVM
- we provide support also for FijiVM
- Tools
- Checker - a static checker for proving memory safety of SCJ programs and other properties
- TCK - Technology Compatibility Kit for SCJ
- Benchmark Suite
- HelloWorld example for experimenting with SCJ
- miniCDj - SCJ implementation of our CDx benchmark
No comments:
Post a Comment