Certification Together International Conference – AdaCore today announced the release of its GNAT Pro 17.1 development environment for SYSGO’s Real-Time Operating System PikeOS. With GNAT Pro 17.1, Ada users targeting PikeOS will see a number of product enhancements, including upgrades to the underlying code generator and debugger technologies (to GCC 6 and GDB 7.10, respectively), better elaboration order handling, improved stubbing in GNATtest, and enhanced debugger support in the GNAT Programming Studio (GPS) IDE.
AdaCore and SYSGO are longtime partners in the embedded market, with Ada’s reliability benefits providing an excellent match for SYSGO’s safety-critical PikeOS RTOS. Over the past several years, the companies’ joint customers have developed certified Ada applications meeting the highest levels in software standards such as EN 50128 (rail).
GNAT Pro for PikeOS is especially suited for high-assurance embedded applications, thanks to its configurable run-time capability and its high-integrity profiles. The Zero Footprint (ZFP) profile minimizes (and in fact generally eliminates completely) all code in the executable other than the compiler-generated code for the application, and applications needing concurrency support can take advantage of both simple and extended versions of the Ravenscar tasking profile.
“Supporting RTOSes that help our customers build software that matters is part of our core strategy at AdaCore,” said Jamie Ayre, Commercial Team Lead at AdaCore. “Over the years, customers have benefited from a close integration of our technologies and the common goal of providing a solid platform for building high-integrity software.”
“For the past 10 years, SYSGO and AdaCore have enjoyed an effective and synergistic cooperation,” said Markus Jastroch, Director of Marketing at SYSGO AG. “Our shared experience and deep knowledge of safety-critical applications has benefited our customers, in one example helping a multicore project successfully achieve Safety Integrity Level SIL 4.”
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:
1. The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
2. The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
3. The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
4. The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink and Stateflow models, intended for safety-critical control systems.
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains, such as railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.
AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com
SYSGO is the leading European provider of real-time operating systems for critical and certified embedded applications in the Internet of Things (IoT). The company’s software platform PikeOS, a hard real-time operating system with hypervisor functionality, allows critical and non-critical applications to run securely on the same hardware, reducing footprint, hardware cost, energy consumption and weight. PikeOS has been designed from the start for mission-critical projects with certification requirements for various safety and security standards such as DO-178B/C, IEC 61508, EN 50128, and IEC 15408 (Common Criteria).
For more information, please see https://www.sysgo.com/