Project's goal is to create better tools for diagnosing Linux systems. Diagnostics include first failure data capture, error log analysis, preventative testing, and system inventory gathering.
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
An eco-system of RTSC-based embedded C/C++ components that furnish a rudimentary hardware abstraction layer comprising basic I/O and threading services which can support a wide-range of embedded platforms.
The purpose of the project is to develop a programming language whose semantics is based on a minimal, imperative mathematical machine.