Validación y verificación de Software con herramientas avanzadas

Trabajo realizado en la empresa ULMA Embedded Solutions

Cada vez es más importante que los sistemas hardware en la industria del transporte ferroviario superen estrictas pruebas de validación y verificación y con ello cumplir con las especificaciones internacionales de calidad. El software de los sistemas embebidos en particular, juega un papel crítico en este campo y exige la aplicación de diversos procesos de test que evalúen si el sistema cumple o no con los requisitos propuestos inicialmente. El rack VEGA contiene varios submódulos en la que se encuentra la CPU basada en una arquitectura MPC8313. Uno de los códigos fuentes que se ejecutan en ella contiene el nombre de AX00 y es un software genérico que controla la Unidad de Control de Tracción (TCU) que a su vez contiene la Traction Control Core (TCC). Aplicar un proceso de test es de suma importancia si se quiere mantener un control de calidad sobre el software.