Поискал на лоре, вроде не было. nVidia разработала DriveOS в 7млн строк кода на SPARK, для систем на базе AGX. Эта версия системы прошла сертификацию ASIL-D, прописанную в ISO 26262, стандарте для функциональной безопасности автомобилей.
Растишка? Это для айтишников с их сервачками и балмерами, прыгающим по сцене, как обезьяны. Серьезным дядям и тётям нужна формальная верификация, солидные коммерческие поставщики и проверенные временем решения, а не хипстерские тренды и дешёвый хайп на лохотронах.
