The RISC-V Foundation, in collaboration with the Linux Foundation, is hosting free, half-day “Getting Started with RISC-V” events in Tel Aviv, Munich, Berlin, Tallinn, Paris and London from Sept. 16-26. RISC-V Foundation members will give presentations and live demonstrations showcasing innovation RISC-V solutions and implementations. Register today to save your spot!
AdaCore is one of the featured RISC-V Foundation members in the EMEA roadshow, presenting the session, “High reliability C/Ada/SPARK solutions for software development on RISC-V.” AdaCore develops a tool suite for the Ada, C, C++ and Simulink languages, targeting safety-critical and security-critical applications. Its products include a compilation solution for native and cross systems (including RISC-V), a code generator, as well as tools for testing, code coverage, debugging, static analysis and formal proof. Read on to learn more about the company and what it will be showcasing at the events.
What applications or problems does your company’s technology solve for engineers?
- Safety and security-critical software development for Aerospace & Defense, Rail, Automotive, Medical and Finance, as well as Code Development (GNAT Pro)
The GNAT Pro product line offers a comprehensive toolset for Ada, C and C++, and provides a faster, more reliable way to build software. Additionally, the product line helps developers to become productive with Ada more quickly and catches errors earlier in the development cycle to save money in the long run.
Static Analysis & Testing (Code Peer)
CodePeer is an Ada source code analyzer that assesses potential bugs before program execution, helping developers to find errors easily at any stage of the development life-cycle. It also helps improve the quality of the code and makes it easier to perform safety and security analysis. CodePeer is standalone tool that runs on Windows and Linux platforms, and is CWE compatible and qualified for DO-178B and EN 50128.
Formal Verification
SPARK Pro formally defines and automatically verifies software architectural requirements, and guarantees a wide range of software integrity properties such as freedom from run-time errors, enforcement of safety properties or security policies, and full functional correctness (compliance with a formally defined specification).
Model-Based Engineering
QGen is an automatic code generator that preserves the model semantics in the generated code. A single version of QGen supports multiple versions of the Simulink® / Stateflow® environment, from 2011b onwards to today’s latest versions, for both Windows and Linux platforms. Developers can thus choose among modeling tool versions based on their project’s needs, without being forced to migrate to a different code generator.
Certification & Qualification
Our qualifiable tools and high-integrity run-time libraries support software standards such as DO-178B/C, EN 50128 and ECSS-E-ST-40C / ECSS-Q-ST-80C.
What does your company do regarding RISC-V?
- AdaCore is bringing the Ada and SPARK programming languages to the forefront of the technologies available to RISC-V developers, offering a unique environment for safety- and security-critical applications developed on this platform.
- AdaCore’s initial product offerings include GNAT Pro Ada and GNAT Pro C targeted to bare metal RISC-V 32- and 64-bit architectures (for more information see https://www.adacore.com/gnatpro), as well as the GNAT Community edition for bare metal RISC-V 32-bit configurations. The latter is free of charge and can be downloaded from https://www.adacore.com/community. For GNAT Pro customers with software safety certification requirements, run-time library certification and tool qualification materials are available as an add-on for standards in industries such as avionics (DO-178C/ED-12C), railway (EN-50128) and automotive (ISO-26262).
What will attendees learn from your presentation?
- Learn how AdaCore supplies multi-language (Ada, SPARK, C, C++) software development and verification tools for mission-critical, safety-critical and security-critical systems. Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices and financial services. AdaCore is now bringing its time-tested technologies, expertise and services to the RISC-V ecosystem. This talk will present how static analysis, formal verification, a model based code generator, and a certified/qualified compiler can help improve software quality while reducing development cost.