Rapita Systems Ltd. is a specialist in real-time systems analysis, its innovative RapiTime product makes Rapita Systems the leader in measurement based worst-case execution time analysis solutions. RapiTime provides a practical performance analysis that works for complex embedded software running on the latest generation of advanced microprocessors.

RapiTime from Rapita is a software toolkit that provides a unique solution to the problem of worst-case execution time analysis and performance profiling, a solution that works for complex software running on advanced embedded microprocessors. www.rapitasystems.com


back to top>>



Aonix Ada Solutions

ObjectAda is an Ada development environment that provides an extremely effective solution for developing portable, highly reliable, and efficient applications. It supports both native and embedded platforms, targeting industry standard OS/RTOSs and the Aonix certifiable RAVEN kernel. 

ObjectAda features a fast, open library model that is fully compatible with other languages, high-speed intelligent compilation, hyperlinked semantic browsers, syntax-directed editors, integration with configuration managers, and access to standard APIs. Application generation is optimized for reliable, seamless execution of thread-aware applications within a safe and secure operational environment.

Integration of Ada components with components written in Java, C, C++, FORTRAN, and other languages for multi-lingual development is supported.

ObjectAda allows developers to choose between the traditional Aonix IDE and the new AonixADT Eclipse plug-ins.

AonixADT incorporates Ada-project awareness, an Ada-language sensitive editor, Ada-language compile and build capabilities, and a complete Ada debugger interface, enabling Ada developers to enjoy state-of-the-art interface capabilities, provided by the industry standard Eclipse IDE, geared to maximize developer ease and efficiency.

ObjectAda Real-Time RAVEN supports the development of hard real-time and safety-critical applications. The design and implementation of RAVEN is focused on deterministic behavior, which is a key requirement for safety-critical systems. As a result, RAVEN satisfies the highest levels of criticality.

Full certification evidence is available for RAVEN kernel for DO-178B Level A, CENELEC 50128 SIL 4 and other safety standards.

ObjectAda Real-Time RAVEN supports the development of Ada applications designed to run directly on a bare target board or within an ARINC 653 partition.

For more information: http://www.aonix.com/Ada_Solutions


embedded systems development tools

Ada to C Conversion Tools

AdaMagic® is an Ada to C conversion tool that gives developers the ability to automatically convert legacy software written in Ada to the C programming language. This automatic code conversion process eliminates the need for a costly and tedious code re-write which provides development companies with extensive cost and time savings.

AdaMagic's key features include keeping “static” trees as symbolic expressions rather than evaluating them to literal values. It also retains the original comments in the generated C code and keeps “.h” information as separate files. It will also preserve the original Ada names (globals and locals) as much as possible in the generated C and offers user configurable options, such as suppressing all run-time checks in generated C, to improve performance. Furthermore AdaMagic can make use of C++ exceptions rather than setjmp/longjmp and make use of C++ namespaces rather than using prefixed names. www.sdcsystems.com

back to top>>

 



 

embedded system