|
|
Core Pack:
- Validated Ada 95 Compiler
- Annexes A, B, C and D
- Optimizing Compiler
- Graphical and command line interfaces
- Library configuration tool
- Program builder
- Source browsing engine
- Source registration and un-registration tool
- Source code reference tool
- Integrated Symbolic Debugger
- Integrated Syntactic Editor
- On line documentation
- CM integration packages
Project Pack:
- Core Pack plus...
- POSIX, Threads support
- AdaNav Source Analysis Toolset
- AdaJNI - Ada to Java Binding Generation Tool
- ASIS
Test Pack:
- Project Pack plus...
- VectorCAST/Ada
Pinnacle Bundle:
- Project Pack plus...
- Ada-ASSURED - Powerful language sensitive edito
|


- Product Literature
- • AonixADT Product Line Overview (PDF, 915K)
- • ObjectAda for Windows Product Overview (PDF, 819K)
- • ObjectAda for Unix Fact Sheet (PDF, 432K)
- • ObjectAda for Linux Fact Sheet (PDF, 432K)
- • ObjectAda Real-Time Product Brief (PDF, 1,065K)
- • ObjectAda Real-Time for VxWorks Fact Sheet (PDF, 307K)
- • ObjectAda Real-Time RAVEN Fact Sheet (PDF, 381K)
- • ObjectAda Real-Time RAVEN for VxWorks 653 Fact Sheet (PDF, 145K)
- • The Ravenscar Tasking Profile for High Integrity Real-Time Programs (PDF, 87K)
- • Safety-critical Solutions Brochure (PDF, 989K)
- • Safety Critical Background Information (PDF, 63K)
- • ObjectAda Real-Time/RAVEN DO178B Level-A Certification Factsheet (PDF, 165K)
- • AdaCover Factsheet (PDF, 500K)
- • VectorCAST/Ada Factsheet (PDF, 321K)
- • VectorCAST/C Factsheet (PDF, 1400K)
- • DO178B Level A Certified Kernels
- Success Stories
-
|
|
|
|
|