La Agencia de Proyectos de Investigación Avanzada de Defensa de Estados Unidos (DARPA) ha adjudicado a la organización de investigación y desarrollo FAST Labs™ de BAE Systems un contrato de 6 millones de dólares como parte del programa Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS).
Las actuales herramientas de métodos formales, un tipo de verificación de software, proporcionan altos niveles de garantía mediante pruebas matemáticas de que se cumplen determinadas propiedades, pero pueden llevar mucho tiempo y ser difíciles de aprender y utilizar. Además, estas pruebas deben reescribirse cada vez que se modifica el código o la especificación, lo cual no es escalable.
El objetivo de PROVERS es poner los métodos formales al alcance de los no expertos (por ejemplo, desarrolladores de software e ingenieros de sistemas tradicionales) minimizando el impacto en sus procesos y rendimiento actuales.
«Las prácticas de ingeniería de sistemas basados en software evolucionan continuamente, al igual que las técnicas de aseguramiento que confirman la corrección y la seguridad de los sistemas», afirma Daniel Mitchell, director técnico de la organización de investigación y desarrollo FAST Labs™ de BAE Systems. «Con PROVERS, la ingeniería de pruebas creará niveles más altos de garantía – ayudando a los sistemas de software críticos del Departamento de Defensa a permanecer libres de ciertos defectos y vulnerabilidades.»
Según los términos del contrato, BAE Systems proporcionará un sistema relevante para el Departamento de Defensa (DoD) para demostrar cómo las herramientas de métodos formales pueden integrarse en el proceso de desarrollo y certificación y proporcionar garantía de corrección. Los ingenieros de software de la empresa también proporcionarán información a los desarrolladores sobre cómo garantizar que las herramientas de métodos formales sean aplicables a los sistemas del DoD y cómo hacer que dichas herramientas sean accesibles para ellos.
El trabajo en este programa tendrá lugar en las instalaciones de BAE Systems en Merrimack, New Hampshire; Burlington, Massachusetts; y Arlington, Virginia.
BAE Systems/Diciembre 04 de 2024
