| |    
Commercial Products
This page and sub-pages list products and services offered by companies and
institutions using ANDF in their products or are related to ANDF. It is not intended to be a simple advertisement list, though most
of them are commercial offers. This page might help you to find the appropriate
business contact for ANDF related products.
- AVS: ANDF validation suite
- Open Software Foundation, France
- Useful for validating installers, TDF 4.0.
There are special license conditions for researchers
- Ada 95 Cross Development Systems for PowerPC by DDC-I, Denmark
& USA
- The SCORE (Safety Critical Object-oriented Real-time Embedded) Ada
Cross Compiler for an embedded PowerPC provides a complete high
quality Ada development environment which is based on the ANDF
(Architectural Neutral Distribution Format) technology. The SCORE
family provides not only Ada development, but it also facilitates
embedded development with mixed languages including C and C++.
SCORE Ada is optimized for hard deadline systems where safety is required.
The ANDF technology provides a supporting state-of-the-art tool chain, and
thereby a complete development environment is established. See also product
page.
- SCORE - Environment
- Flexible Solutions for Safety Critical Real-Time Embedded Needs:
The SCORE development environment has been designed to address the needs of safety-critical, real-time, embedded systems. The environment
provides support for the development of reusable components written in different languages targeting both native and embedded platforms. The
key to this strategy and the flexibility to cover multiple targets, hosts, and languages, is the ANDF technology (Architecture Neutral
Distribution Format) which defines a common intermediate format used by the compilers and associated tools.
See also product page.
- REAP - Reverse Program Engineering Service
- ANDF Tools by Interglossa Ltd., UK.
Based on ANDF C code is generated e.g. from assembler or PROM formats,
especially for microcontrollers.
- ANDF Analysis Tools by iXpoint
- iXpoint GmBH, Germany
- ANDF Static Code Analyser tool that works on ANDF 4.0 level. Checks e.g.
recursive structures, use of function pointers.
- Code Integrity - Code analysis tool, API checking
- Mortice Kern (MKS) Canada.
- Code analysis tool based on TenDRA machine (evaluation kit seems to be
mostly identical to DRA's internet kit).
- ANDF Interpreter
- Interpreter tool by Etnoteam, Italy
- For TDF 3.X only, no update planned
|
