Ada와 SPARK, 자동차 개발 시장 진출: NVIDIA, 안전 프로세스 오픈소스 공개
2025-06-04
AdaCore와 NVIDIA는 협력하여 Ada와 SPARK 프로그래밍 언어를 자동차 시장에 도입하고 ISO 26262 표준 기반의 참조 개발 프로세스를 오픈소스로 공개했습니다. NVIDIA의 Drive OS는 최고 수준의 자동차 안전 인증 요구 사항을 충족하기 위해 중요한 구성 요소에 Ada와 SPARK를 사용합니다. 이 오픈소스 프로세스는 다른 기업들이 Ada와 SPARK를 채택하여 증가하는 복잡성 속에서 자동차 소프트웨어의 안전성을 향상시키는 것을 목표로 합니다.
개발
자동차 소프트웨어 안전