Tag Archives: GNAT Pro

AdaCore Ada Web Server for Wind River VxWorks

AdaCore rolled out Ada Web Server (AWS) for Wind River’s VxWorks Real-Time Operating System (RTOS). AWS for VxWorks, when used with the GNAT Pro development environment, enables developers to easily implement a user interface to embedded systems through regular web browsers. With AWS for VxWorks, users can connect through a direct TCP/IP link to board-level applications flike system control, configuration, and maintenance. The two-way interface is both lightweight and flexible. AWS for Wind River VxWorks is available now.

Continue reading

AdaCore GNAT Pro for SYSGO PikeOS

AdaCore rolled out the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS safety-critical real-time operating system (RTOS). PikeOS is an embedded platform where multiple virtual machines can run simultaneously in a secure environment. The Safe and Secure Virtualization (SSV) technology enables multiple operating system APIs, called “Personalities”, to run concurrently on one machine (ie: ARINC-653 application with Linux). GNAT Pro High-Integrity Edition for PikeOS provides ZFP and Ravenscar run-times for both PikeOS Native and APEX (ARINC 653) personalities.

Continue reading