Software specialist AdaCore in New York is working with NVIDIA Corp. in Santa Clara, Calif., to implement the Ada and SPARK programming languages for security- and safety-critical firmware in applications like avionics and self-driving cars.
Some NVIDIA system-on-a-chip product lines will migrate to a new architecture using the RISC-V instruction set architecture (ISA). Also, NVIDIA plans to upgrade security-critical firmware software, rewriting it from C to Ada and SPARK.
To read more, please visit: https://www.militaryaerospace.com/articles/2019/02/safety-critical-software-programming-languages.html.
Stay Connected With RISC-V
We send occasional news about RISC-V technical progress, news, and events.
Copyright © 2023 RISC-V International®. All rights reserved. RISC-V, RISC-V International, and the RISC-V logos are trademarks of RISC-V International. For trademark usage guidelines, please see our Brand Guidelines and Privacy Policy