|
|
- AdaCore
An Ada Resource Association member, Ada Core Technologies, developer and
maintainer of the Ada 95 GNAT Pro Development Environment, specializes in
high-level support and consulting for commercial users of GNAT.
- AdaGide
AdaGIDE is an Ada GNAT Integrated Development Environment for Microsoft Windows®.
It consists of an editor that interfaces to the GNAT Ada compilers.
- AdaStat
AdaSTAT is a static analysis tool that dramatically reduces the time and resources
required to scan Ada95 code for violations of project-specific language restrictions,
and calculate both object-oriented and functional metrics.
- Aonix
Aonix development tools cover a full
range of real-time development requirements for hard real-time embedded systems,
safety-critical development, and "soft" real-time networked applications.
- ARTiSAN Software
ARTiSAN provides UML modeling tools for real-time embedded systems modeling.
Ada Synchronizer supports the efficient use of ARTiSan's Real-time Studio on
Ada projects. It supports generation, reverse engineering and round-trip
synchronization of Ada.
- C2Ada Sourceforge project
This project is the current home of the C2Ada C to Ada translator program.
C2Ada can translate C headers to produce bindings as well as C programs to
produce translations.
- Compaq Ada
The Compaq Ada family of products is the Ada programming language implementation
from Compaq Computer Corporation. Formerly known as DEC Ada, Compaq Ada is a
native, production-quality compiler that generates highly optimized, shareable,
and position-independent code and provides common functionality on many operating
systems.
- DDC-I
A global provider of software development tools for embedded systems, DDC-I
offers compilers, run-time systems, and a complete range of support services
for application development in Ada, C, and JOVIAL. DDC-I works closely with
developers to maximize the efficiency, security and reliability of safety-critical
real-time applications in industries such as aerospace, air transport, defense,
medical, process control, and rail transport.
- Excel Software
Provides design tools for Modeling Software and Managing Requirements with
Ada 95 support.
- GNAT for Macintosh
Provides a full-featured Ada development environment for the Apple Macintosh
computer.
- Gela ASIS
Provides a compiler-independent implementation of ASIS, including Ada 2005 support.
- GrammaTech, Inc.
GrammaTech provides innovative software development and maintenance tools for
industry, government, and academia. Our tools exploit the rules of a programming
language's syntax and semantics to automate tasks that most engineers still
perform manually with conventional tools.
- Green Hills Software
Green Hills produces real-time
operating systems (RTOS), integrated software development environments, and
optimizing compilers for use in embedded system development.
- IBM Rational Software
IBM Rational Software created Rational Apex,
which is the centerpiece of an extensive family of Ada Developer tools that
provide support for modern software practices throughout the software lifecycle.
- ICS
BX/Ada provides a complete solution for Mofif GUI developers using Ada,
including a GUI builder, Motif Ada bindings, and support for most Ada
compilers.
- IPL's AdaTEST
A software verification product that provides automated facilities for dynamic testing,
coverage and static analysis, AdaTEST has been used on many safety-critical and
high-integrity software development programs. It is available in two versions:
the original AdaTEST product for Ada 83, and AdaTEST 95 for Ada 95.
- Irvine Compiler
Irvine Compiler Corporation provides quality Ada development environments,
hosted on various UNIX, Microsoft Windows, and VAX/VMS systems. Traditionally,
customers of ICC demand high performance on a wide range of hardware for embedded,
real-time, and native applications. ICC Ada flies on several military and commercial aircraft.
- Lattix Inc.
Lattix Inc. is a leading provider of innovative software architecture management
solutions. The solution features new Ada modules
which enable architects, developers and managers to visualize, test,
and maintain the architecture of their complex embedded systems.
- McKae Technologies
McKae Technologies provides a number of Ada tools. The DTraq Ada 95 Software
Development Tool is a data logging
and playback debugging tool providing near realtime data logging and analysis
to aid debugging and validation. Captured, or 'tapped' data from a program can
be viewed live while the program is running or, since it is being logged to
a file, played back or printed out later for off-line review and analysis.
Avatox converts Ada programs to XML (which can then be used for further
analysis).
- Midoan Software Engineering Solutions Ltd.
Provides Mika, an automatic test generation tool for Ada. Mika analyses your Ada code
and generates tests that will exercise all the branches or decision within your
code.
- Objective Interface Systems
Objective Interface is a worldwide leader of embedded and real-time middleware
solutions. We provide CORBA-based development tools to meet the high-performance
needs for telecommunications, data communications, industrial automation,
consumer electronics, military and aerospace markets. Our products, sold
worldwide, are used in a variety of real-time and embedded applications
including telecommunication switches, network management, vehicle control
systems, nuclear fusion ignition facilities and more.
- OC Systems
OC Systems provides heroic state-of-the-art software tools and services that
improve quality and availability of e-business and other mission-critical systems.
- P2Ada Sourceforge Project
A free Pascal-to-Ada translator.
- Polyspace Technologies
Polyspace Technologies provides
the Ada Verifier. The Ada Verifier relies on
unparalleled static analysis techniques to detect runtime errors at compile
time in Ada83, Ada95 applications (Products are also available for C and C++).
Thanks to an earlier detection of errors, the product is highly suitable
for reducing debugging, code inspection, and white-box testing efforts
meanwhile providing dramatic software quality level improvement.
- PragmAda Software Engineering
PragmAda Software Engineering provides the PragmAda Reusable Components (PragmARCs)
as open-source software; you can read a brief description
of the PragmARCs. Ranging from the basic-but-essential to the high-level,
using the PragmARCs reduces the amount of software written for an application
by an average of 50%. (This is a representative figure. Actual results may vary.)
Distributed as source code, the PragmARCs are licensed under the terms
of the GNAT-Modified GPL, which means that the use of the PragmARCs does
not result in software that is covered by the GNU General Public License. The
PragmARCs are pure Ada; they should work with any compiler and operating system
on any platform.
- Praxis SPARK Ada
Praxis Critical Systems Limited, an Ada Resource Association member,
although not primarily a tool vendor, provides
three toolsets for the High-Integrity Development, Validation and Verification
of software systems where these toolsets have been of proven value:
SPARK is a high-integrity subset of the Ada programming language. The SPARK
Examiner checks conformance of code against the rules of SPARK, performs flow
analysis and can generate Verification-Conditions for full formal proof of
SPARK source code. In conjunction with the SPADE Simplifier and the SPADE
Proof Checker, we can provide a suite of tools capable of aiding the development,
testing and verification of safety critical systems written in SPARK Ada. For
more on SPARK, see the SPARK Home page.
- PrismTech
PrismTech is a leading provider of enterprise, real-time and embedded CORBA
technologies. PrismTech's OpenFusion OrbRiver Ada is a high performance,
robust and feature rich Ada Object Request Broker (ORB) specifically
designed for use in safety critical real-time applications.
- Raincode
The Belgian company produces RainCode for Ada,
which is a quality control technology that operates on large amounts of existing
Ada code, both legacy or during development. RainCode detects, counts, and
measures non-trivial things in your Ada code, and it can take any corrective
or preventive action in it.
- Ralston Software Solutions
Offers AdaViz, a plugin to integrate Aonix ObjectAda into Visual Studio, providing
an option for mixed-language Windows programming.
- RAPID
RAPID RAPID is the Rapid Ada Portable Interface Design tool. It generates Ada code
using a platform independent GUI library, which is available for many systems,
including Windows, Linux, and Macintosh.
- RR Software, Inc.
R.R. Software, founded in 1980, was the first company to implement the then
new Ada programming language on a microcomputer. RRS offers Ada 95 development
systems for Windows, MS-DOS, and Unix, and a object-oriented Windows GUI
framework, Claw.
- SCI Tools/Understand for Ada
Understand for Ada is an interactive development environment (IDE) tool
offering reverse engineering, automatic documentation, code navigation and
understanding, metrics, maintenance and cross reference tool for Ada 83 and Ada 95
source code. It is designed to help engineers who have inherited large amounts of
Ada legacy code, or those whose Ada projects have grown to immense size or
complexity.
- Sinelabore
SinelaboreRT generates Ada source code from UML state diagrams.
It is a simple command line tool that fits the requirements of embedded
real-time and low power application developers.
- SofCheck, Inc.
SofCheck, an Ada Resource Association member, was formed by S. Tucker
Taft in April 2002 to support quality-oriented software development teams.
SofCheck specializes in three technology areas: the well-known AdaMagicTM
Technology, Automated Bug Detection Technology and Software Development Portal
Technology.
- Telelogic
Developers of embedded systems developers' tools that can generate Ada programs
from models.
- Vector Software
Vector Software's VectorCAST is an integrated software test solution that
automates tasks associated with testing software components for programs written
in Ada83, Ada95, and other languages. Automation includes: complete test harness
construction, test generation, test execution, code coverage analysis, regression
testing and static measures for code complexity and basis path analysis.
|
Sponsored by the following ARA member companies:
|  |
