Resumen

Los simuladores operativos desempeñan un papel fundamental en los programas espaciales. Durante la operación de un satélite, estos simuladores son esenciales para validar maniobras críticas, probar nuevas versiones del software de a bordo y apoyar el diagnóstico de anomalías. Con el fin de reutilizar los simuladores operativos, el Instituto Nacional Brasileño de Investigaciones Espaciales ha propuesto una nueva norma para la especificación de los componentes que deben integrarse en sus simuladores desarrollados internamente. La nueva norma describe el comportamiento de los subsistemas de los satélites mediante tablas de causa-efecto que relacionan los telecomandos, los interruptores eléctricos, los estados de funcionamiento de los equipos, el consumo de energía, las telemetrías y los modos de funcionamiento del subsistema. Utilizando este nuevo estándar como entrada, este trabajo propone un enfoque que fusiona las pruebas basadas en modelos y la verificación de modelos para comprobar la correcta implementación de nuevos componentes en el simulador de satélites. El enfoque de verificación consiste en extraer las máquinas de estado de las tablas causa-efecto y utilizarlas para derivar automáticamente un conjunto de casos de prueba. Para validar la propuesta, la aplicamos a tres subsistemas de satélite diferentes y evaluamos los resultados obtenidos en las campañas de pruebas. En los tres casos, el enfoque propuesto identificó errores en los componentes del simulador que no fueron detectados inicialmente por el enfoque de pruebas tradicional utilizado en el Instituto Nacional Brasileño de Investigaciones Espaciales.

• Materias:Máquina de vectores Estudio numérico Controlador Método computacional Modelado matemático
• Subjects:Vector machine Numerical study Controller Computational method Mathematical modeling
• Palabras claves:Instituto Nacional Brasileño, nueva norma, Investigación Espacial, tablas de efectos, versiones de software de a bordo, diferentes subsistemas de satélites, conjunto de casos de prueba, enfoque tradicional de pruebas, enfoque, causa
• Keywords:Brazilian National Institute, new standard, Space Research, effect tables, board software versions, different satellite subsystems, test case suite, traditional testing approach, approach, cause