AdaCore announced its membership in the RISC-V Foundation, a non-profit organization chartered to standardize and promote the free and open RISC-V instruction set architecture (ISA) together with its hardware and software ecosystem.
In joining the RISC-V Foundation, 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).
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com/