Search Results for "aerospace"

TANGO is an object oriented control system for Linux and Windows. It provides a framework in C++, Java and Python for implementing distributed control objects an accessing them via a well-defined API. This sourceforge project a

Mutation testing has been proven to be a reliable method to estimate the quality of a test suite. Most of current mutation tools require the architecture of their target system to be in a certain way in order to apply the technique; thus making it impossible to use them in complex build environments. LittleDarwin is a mutation testing tool designed primarily with the premise of easy deployment in complex systems; in order to provide mutation testing where other tools fail.

Manufactured Analytical Solution Abstraction (MASA): a library for applying the Method of Manufactured Solutions to verification of numerical software used for solving systems of nonlinear algebraic and differential equations.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

The Distributed Real-time Embedded Analysis Method (DREAM) is a tool and method for the real-time verification and performance estimation of distributed real-time embedded (DRE) systems. Publications: http://www.ics.uci.edu/~gabe/publications.html.