|
 |
|
| AdaMULTI/Ada 95 for RT Secure - (con't) | |
|
» Download Ada MULTI RT Secure datasheet (PDF)
|
|
| Certified Ada 95 Compilers | |
|
Green Hills Software's optimizing Ada 95 compilers were the first 32-bit embedded compilers to successfully pass the ACVC 2.1 validation tests, and are conformance certified by the ACAA. The Green Hills Ada 95 compiler family implements all of the new enhancements defined in the ANSI/ISO/IEC-8652:1995 Ada 95 specification. These include object-oriented programming, hierarchical library organization, type extensions of tagged types and child library units, and new task and synchronization features such as protected types. In addition, the compilers implement two optional Ada 95 annexes: The System Programming Annex (C); and The Real-Time Systems Annex (D). Seamless Mixed Language Support AdaMULTI also fully supports any one of Green Hills Software's proven C, C++, or FORTRAN optimizing compilers, making it completely fluent in any combination of Ada 95, C, C++, FORTRAN and Assembly. The entire family of Green Hills Software's compilers share advanced optimization and code generation technology. Green Hills compilers produce the fastest, tightest and most reliable code for embedded real-time applications and have been field proven on millions of lines of application code. | |
| RT Secure Real-Time Kernel | |
|
RT Secure is a real-time, pre-emptive multitasking microkernel. Written in Ada, RT Secure is optimized for mission-critical applications that require true hard real-time response. RT Secure provides complete memory protection between multiple programs, and between programs and the kernel. Its design is based on the F-22 Avionics Operating System, a multi-level secure operating system consistent with a TCSEC level B3 security solution. RT Secure features priority-based scheduling with 256 priority levels, high-speed interrupt response and context switching, timer resolution as fine as 1 usec, and versatile interprocess communications mechanisms that include semaphores, events, signals, and mutexes. RT Secure supports a subset of the POSIX 1003.5b bindings. AdaMULTI, including the Ada 95 Optimizing Compiler, is tightly integrated with the RT Secure real-time operating system. A library supplied with AdaMULTI enables Ada programmers to access RT Secure's hard real-time capabilities in a transparent fashion through standard system calls that comply with Ada 95's Systems Programming Annex and Real-Time Systems Annex. | |
| Product Availability and Support | |
|
The Green Hills Ada 95 Optimizing Compilers and AdaMULTI Integrated Development Environment are available for Sun SPARC/Solaris 2.x and Windows 95/98/NT hosts. Green Hills Software provides training, support, and product upgrades on all its embedded software tools.
» Return to Ada for RT Secure Development home page
|
 |
|
 |
