AdaCore, a trusted provider of software development and verification tools, announced it is working with NVIDIA to implement Ada and SPARK programming languages for select security-critical firmware used for applications that demand stringent safety and security capabilities, like automated and autonomous driving.
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 select security-critical firmware software, rewriting it from C to Ada and SPARK. Both moves are intended to increase verification efficiencies to achieve compliance with the functional safety standard ISO-26262.
At embedded world 2019, IAR Systems, the future-proof supplier of software tools and services for embedded development, will present its ground-breaking technology for IoT security, developed with its sister company Secure Thingz, a global domain expert in device security, embedded systems and lifecycle management. In addition, the company will show its strengthened functional safety offering for automotive, and a preview of upcoming complete tools for RISC-V. The novelties are being presented as demos at IAR Systems (hall 4, booth 4-216) plus, like every year at embedded world, as free technical seminars for embedded developers.
To read more, please visit: http://www.autoconnectedcar.com/2019/02/automotive-cybersecurity-practices-risc-v-sensors-argus-cybersecurity-nvidia/.
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