industry news
Subscribe Now

AdaCore Releases GNAT Pro 17 Development Environment for SYSGO’s PikeOS RTOS

TOULOUSE, France, Certification Together International Conference, March 21, 2017 – 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.”

About AdaCore
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

About SYSGO
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).

80% of SYSGO engineers have certification experience, and customers are supported throughout the entire certification process and supply certification details and documentation. These customers are leading players in the aerospace & defense, railway, automotive and industrial automation industries.

SYSGO was founded in 1991 and has been an independent entity within the Thales Group since 2012. SYSGO staff comprises approximately 125 employees in Germany, France, UK and the Czech Republic, and the company is certified for ISO 9001:2015 and ISO/IEC 27001:2013.

For more information, please see https://www.sysgo.com/

Pricing and Availability

The GNAT Pro 17.1 Ada development environment for PikeOS is available now. Please contact AdaCore (info@adacore.com) for information on product pricing and supported configurations.

Leave a Reply

featured blogs
Mar 28, 2024
The difference between Olympic glory and missing out on the podium is often measured in mere fractions of a second, highlighting the pivotal role of timing in sports. But what's the chronometric secret to those photo finishes and record-breaking feats? In this comprehens...
Mar 26, 2024
Learn how GPU acceleration impacts digital chip design implementation, expanding beyond chip simulation to fulfill compute demands of the RTL-to-GDSII process.The post Can GPUs Accelerate Digital Design Implementation? appeared first on Chip Design....
Mar 21, 2024
The awesome thing about these machines is that you are limited only by your imagination, and I've got a GREAT imagination....

featured video

We are Altera. We are for the innovators.

Sponsored by Intel

Today we embark on an exciting journey as we transition to Altera, an Intel Company. In a world of endless opportunities and challenges, we are here to provide the flexibility needed by our ecosystem of customers and partners to pioneer and accelerate innovation. As we leap into the future, we are committed to providing easy-to-design and deploy leadership programmable solutions to innovators to unlock extraordinary possibilities for everyone on the planet.

To learn more about Altera visit: http://intel.com/altera

featured chalk talk

Improving Chip to Chip Communication with I3C
Sponsored by Mouser Electronics and Microchip
In this episode of Chalk Talk, Amelia Dalton and Toby Sinkinson from Microchip explore the benefits of I3C. They also examine how I3C helps simplify sensor networks, provides standardization for commonly performed functions, and how you can get started using Microchips I3C modules in your next design.
Feb 19, 2024
5,363 views