oSCJ is an open-source prototype implementation of a restricted subset of Safety-Critical Java developed at Purdue University. This project is originating from the JSR-302.
oSCJ includes:
oSCJ is released under the New BSD License.
oSCJ includes:
- SCJ - A subset of Safety-Critical Java Virtual Machine implementation, we focus on Level 0
- TCK - Technology Compatibility Kit (TCK) for SCJ
- Checker - Static Checker for SCJ Annotations based on Java 7 Checker Framework.
- Benchmark Suite - A suite of SCJ benchmarks.
oSCJ is released under the New BSD License.
News
Loading...