Search Results for "punch time linux"

This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) -...

Pace up your procedural graphics, using command based way to draw all sorts of primitives. This is easy and powerful at the same time. And then export this pseudo code, to Language/Platform of your choice. We aim to support as many, but Qt, wxWidgets, OpenGl, Allegro etc. will be supported

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.

Java Runtime Designer is a visual designer component that can be easily embedded in your application and used to change the layout of the dialog at runtime. The runtime designer allows you to switch at any time between the live and design mode.

JContractS, Java Contract Suite, allows you to easily add contracts to your Java classes. Contracts are specified in Javadoc comments and processed at build time. It is a resurrection of the iContract tool from Reliable Systems.