Reported about 9 hours ago
AdaCore has introduced the Ada and SPARK programming languages to the automotive sector in partnership with Nvidia, aiming to meet the ISO-26262 certification standard for safety in vehicle software. This collaboration will provide an open-source reference process for industry adoption, enhancing the functional safety of autonomous vehicle applications developed using Nvidia's technology. The focus is on maximizing software safety as the automotive industry shifts from mechanical to software-driven features.
Source: YAHOO