Ada и SPARK выходят на автомобильный рынок по стандарту ISO-26262 совместно с NVIDIA

Эксперты по программным инструментам с высокой степенью надежности, компания AdaCore, рады объявить о внедрении языков программирования Ada и SPARK на рынок автомобильной промышленности. В сотрудничестве со своим партнером NVIDIA они готовятся к публикации справочного процесса, который может стать образцом для подражания. NVIDIA разработала Drive® OS — эталонную операционную систему и сопутствующий программный стек, предназначенный специально для разработки и развертывания приложений автономных транспортных средств.

Языки программирования Ada и SPARK известны своей высокой надежностью и безопасностью, что делает их особенно актуальными для критически важных применений, таких как автономное вождение. Применение этих технологий на практике поможет обеспечить большую безопасность и надежность автономных автомобилей. Внедрение эталонного процесса сможет упростить интеграцию передовых технологий и ускорить их адаптацию на рынке автономных транспортных средств.