Advanced RTOS, embedded real-time OS, compact OS, IDE, Software development toolkits, embedded c compilers, Multicore debugger, hardware probes, static source code analysis tool, secure hypervisor, virtual prototyping platform
AdaMULTI/Ada 95 for INTEGRITY rtos - (con't)
» Download Ada INTEGRITY 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.
 
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 spaces

Kernel Mode
For applications not requiring protected memory, and needing an absolute minimum footprint and maximum efficiency, INTEGRITY can be used in kernel mode. In this mode, INTEGRITY offers:
Small code footprint
Fast kernel services
Low interrupt latency
Preemptive multitasking
Guaranteed fair scheduling
Interface to AdaMULTI multi-task debugger
Easy portability to custom hardware platforms



» Return to Ada for INTEGRITY Development home page



» RTOS 
» MULTI IDE
» AdaMULTI IDE
» Compilers
» Communications Software
» Custom Development