Data2l is a language neutral, platform neutral way for describing large sets of proprietary binary data. An example of this kind of data is car navigation data, which is about 1GB to 15GB in a typical embedded navigation. With Data2l you can easily describe almost any binary data format using primitive description blocks like basic type, array, structure, or alternative and using a functional dependency description language. Using such a description, one can generate source code optimized for certain tasks, like a lightweight data reading layer, fast querying code, or code suitable for data generation and transformation.
MyCCM-HI is a component framework developed by Thales targeting mission- and safety-critical distributed real time embedded software. It integrates components written in C, and generates code for handling inter-component communication, threads (priorities, periods), locks, and mode-based reconfiguration. In addition to the software components, MyCCM-HI takes as input a model of the application in a so-called Component-Oriented Architecture Language.
Neko is a high-level dynamically typed programming language. It can be used as an embedded scripting language. It has been designed to provide a common runtime for several different languages. Learning and using Neko is very easy. You can easily extend the language with C libraries. You can also write generators from your own language to Neko and then use the Neko Runtime to compile, run, and access existing libraries. Neko is a good way for language designers to focus on design and reuse a fast and well-designed runtime, as well as existing libraries for accessing filesystem, network, databases, XML, etc. It has a compiler and a virtual machine. The virtual machine is very lightweight and well optimized. The VM can be easily embedded into any application, and your libraries can be accessed using the C foreign function interface.
TIMES is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviors for real-time systems. Given a system design model consisting of a set of application tasks (required to meet mixed timing, precedence, and resource constraints), a network of timed automata describing the task arrival pattern and a preemptive or non-preemptive scheduling policy, TIMES will generate a scheduler, and calculate worst-case response times for the tasks. The design model may be further validated using a model checker and then compiled to executable C-code.
Transformation Manager is a stand-alone suite of meta-data code generator programs that provides for the authoring, testing, and debugging of data transforms between virtually all types of data, whether XML, databases, flat files, Java classes, or spreadsheets. It has flexible deployment options in both J2EE and .NET architectures. TM's suite of tools provides a complete development environment to author, test, and debug transforms rapidly.
The Virgil Programming Language is designed for building robust, flexible, and scalable software systems on embedded hardware platforms such as microcontrollers. Virgil builds on ideas from object-oriented, statically typed languages like Java, providing a clean, consistent source language. Its compiler system provides an efficient implementation for resource-constrained environments.