Cualquiera que sea su rol en el flujo de trabajo de desarrollo de software AUTOSAR, ahora puede usar Polyspace Code Prover en la versión 2018a como una herramienta de análisis estático con capacidad AUTOSAR.
Polyspace Code Prover ejecuta análisis de programa estático en implementaciones de código de los componentes del software AUTOSAR. El análisis busca posibles errores en el tiempo de ejecución y desajustes entre el código y las especificaciones de diseño en AUTOSAR XML (ARXML).
Acceda al artículo original aquí.
Para comentarios, dudas o cotizaciones sobre MATLAB:
Rozzana Almaráz
ralmaraz@multion.com
Ejecutivo MATLAB Académico
+52 (55) 55594050 Ext. 189
Luís Franco
lfranco@multion.com
Ejecutivo MATLAB Académico
+52 (55) 55594050 Ext. 118