04/10/2013
(Infodefensa.com) Madrid MathWorks ha ampliado su familia de productos Polyspace con la presentación de dos nuevas herramientas de verificación de código: PolyspaceCodeProver y Polyspace Bug Finder.
Disponibles con la versión 2013b de la empresa, estos productos ofrecen prestaciones de verificación de extremo a extremo para su uso en etapas tempranas del desarrollo y abarcan la localización de errores, la comprobación de reglas de codificación y la demostración de la ausencia de errores en tiempo de ejecución. Estas prestaciones garantizan la robustez del software embebido que deba funcionar con los niveles más altos de calidad y seguridad, explican desde la compañía.
PolyspaceCodeProver es una herramienta de verificación basada en métodos formales que demuestra que el código es correcto. Los ingenieros responsables de la seguridad y certificación de su código pueden servirse de ella para determinar fehacientemente dónde se producirán o no errores en tiempo real. Los resultados, codificados por color y basados en
Si todavía no se ha suscrito, pinche aquí, el registro es totalmente gratuito. En caso contrario, introduzca sus datos:
¿Olvidó su contraseña? Haga clic aquí para restablecerla.
© Information & Design Solutions, S.L. Todos los derechos reservados. Este artículo no puede ser fotocopiado ni reproducido por cualquier otro medio sin licencia otorgada por la empresa editora. Queda prohibida la reproducción pública de este artículo, en todo o en parte, por cualquier medio, sin permiso expreso y por escrito de la empresa editora.
MathWorks ofrece soporte para DO-178C con el diseño basado en modelos
Mathworks lanza un servicio de asesoría para el desarrollo de sistemas de alta integridad
MathWorks incorpora la generación y verificación de código HDL en MATLAB
Más de 25 compañías de aeronáutica, defensa y energía participan en el MATLAB Tour