"The integration of AdaMULTI and RT Secure gives large and small Ada design teams the development tools and run time environment needed to create robust Ada applications for deployment in mission-critical systems requiring true hard real-time response," said Dan O'Dowd, president of Green Hills.

The AdaMULTI development environment features a fully validated Ada 95 compiler (Ada Joint Program Office test ACVC 2.1) that is optimized for 32- and 64-bit embedded applications. The compiler 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. The compiler also implements two optional Ada 95 annexes: The System Programming Annex (C) and The Real-Time Systems Annex (D).

AdaMULTI addresses all aspects of Ada 95 software development.The heart of the AdaMULTI environment is a source-level debugger that is fully aware of both Ada 95 and RT Secure constructs. Featuring task- and system-level debug capability, the debugger lets designers start and stop Ada 95, RT Secure, and Posix threads, set task-specific breakpoints, and monitor kernel resources like buffers, queues, and streams. AdaMULTI also provides a type inheritance browser for object-oriented programming, an automated graphical program builder, version control, a code performance and coverage profiler, source code navigation and cross reference browser, and versatile call graph display features.

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 and is available for both Power PC and Pentium Processors.

"Our experience with secure real-time solutions for military embedded applications has helped us tremendously in the development of RT Secure," remarked Mike Stemig, real time operating systems department manager at Raytheon Sensors and Electronic Systems. Now that RT Secure is integrated with AdaMULTI, we think we have an excellent development and run-time solution for a wide variety of mission-critical embedded applications."

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 System Programming Annex and Real-Time Systems Annex.

For sales information on Green Hills Software's products, please call 1-805-965-6044 or email inquiries to sales@ghs.com.

Raytheon Systems Company

Raytheon Systems Company is a unit of Raytheon Company. With headquarters in Lexington, Mass., Raytheon Company is a global technology leader with world-wide sales of more than US $20 billion and more than 118,000 employees. The company provides state-of-the-art products and services in the areas of commercial and defense electronics, engineering and construction, and business and special mission aircraft. Raytheon has operations throughout the United States and serves customers in more than 80 countries around the world. For more information on Raytheon's RT Secure, contact Mike Stemig at 1-310-334-7680 or email inquiries to mstemig@mail.hac.com.