![]() |
| AdaMULTI/Ada 95 for INTEGRITY rtos - (con't) | |
| 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. | |
| INTEGRITY Memory Protection | |
The royalty-free INTEGRITY Real Time Operating System provides full memory protection for user tasks, making it suitable for use in mission-critical applications. INTEGRITY offers the following advanced security features: Secure memory protected operation Secure tasks Secure interprocess communication Secure device drivers Single, thread-safe Ada 95 and C++ run-times for multiple programs running across different address spacesKernel Mode |
|
|