Search Results for "aerospace"

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) -...

JSDAI is a toolkit for STEP (ISO 10303), the STandard for the Exchange of Product Model data, that enables linking of CAD, CAM, PDM, PLM, CAx systems. JSDAI supports the development of Express data models (ISO 10303-11) and their implementation in Java.

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

Hades aims to become the reference open source environment for developing, validating and deploying PLUTO (Procedure Language for Users in Test and Operations) procedures.

JetSet is a (meta) tool that lets your quickly create model tranformator tools for instances of a given source meta model. For XML to XML transformations you can also specify a target XML schema and JetSet makes sure that your output conforms to this.

GeneSim is a code generator for dynamic systems: it takes an XML description of the system and produces the code that executes it. The typical usage of GeneSim is to generate simulators of engineering systems.

A tool to create C-Source code for arrays containing look up tables e.g. for hardware oriented programming on microcontrollers from a mathmatical function and variable-ranges

Intend to reproduce most of the conversational programming functionality of the Fagor 8055TC lathe controller. Web browser interface for easy portability between different OS. Visit project web-site for demo.

Java Fuzzy Editor is a basic editor to allow creation of fuzzy based rules. It will save to serveral formats including to source code in several languages.

Adatoccpptranslator is a software developped in C++ for Linux, Solaris and Windows which convert Ada 83/95 source code to comprehensive, maintenable C/C++ source code by preserving the readibility and the structure of original code