Ada y SPARK impulsan el desarrollo automotriz: NVIDIA publica un proceso de seguridad de código abierto
2025-06-04
AdaCore y NVIDIA se han asociado para llevar los lenguajes de programación Ada y SPARK al mercado automotriz, publicando un proceso de desarrollo de referencia basado en el estándar ISO 26262 como código abierto. El sistema operativo Drive de NVIDIA utiliza Ada y SPARK para componentes críticos para cumplir con los más altos niveles de certificación de seguridad automotriz. Este proceso de código abierto tiene como objetivo ayudar a otros a adoptar Ada y SPARK, mejorando la seguridad y confiabilidad del software automotriz frente a la creciente complejidad.
Desarrollo
Seguridad del Software Automotriz