Uso de ingeniería dirigida por modelos en procesos de validación y verificación de software de ´ámbito espacial
En toda misión espacial, el \textit{software} es un componente crítico que debe ser desarrollado teniendo en cuenta todas las circunstancias que se pueden dar una vez esté funcionando en vuelo. Para conseguir este objetivo, los procesos de validación y verificación de \textit{software} espacial han...
| Autor: | |
|---|---|
| Formato: | tesis doctoral |
| Fecha de publicación: | 2024 |
| País: | España |
| Recursos: | Universidad de Alcalá (UAH) |
| Repositorio: | e_Buah Biblioteca Digital Universidad de Alcalá |
| Idioma: | español |
| OAI Identifier: | oai:ebuah.uah.es:10017/63962 |
| Acesso em linha: | http://hdl.handle.net/10017/63962 |
| Access Level: | acceso abierto |
| Palavra-chave: | Logicales de ordenadores Informática Computer science |
| Resumo: | En toda misión espacial, el \textit{software} es un componente crítico que debe ser desarrollado teniendo en cuenta todas las circunstancias que se pueden dar una vez esté funcionando en vuelo. Para conseguir este objetivo, los procesos de validación y verificación de \textit{software} espacial han de ser muy exhaustivos y prolijos, pues todo problema que no se detecte en las pruebas tierra será muy complicado de corregir más adelante. Por todo ello, existen diversos estándares que definen las actividades a realizar y los documentos a generar durante los procesos de validación y verificación. Estos estándares se deben cumplir de forma obligatoria, y para hacerlo se utilizan herramientas software de soporte en tierra que bien se realizan \textit{ad hoc} para cada misión, o bien se personalizan para cada misión mediante la integración de nuevos módulos de código fuente. El desarrollo de estas herramientas implica un esfuerzo importante, sobre todo si se quieren introducir técnicas de automatización para diluir los posibles errores humanos que puedan darse durante las campañas de pruebas. Esta tesis presenta un entorno de desarrollo basado en modelos que cubre el proceso de validación y verificación de \textit{software} de ámbito espacial de acuerdo el estándar \ac{ECSS} de aplicación las misiones de la ESA. El entorno integra todos los metamodelos, modelos y transformaciones necesarios para poder dar soporte específicamente a las fases de definición de requisitos y de definición pruebas de validación funcional a nivel sistema. El entorno, además, integra una herramienta software denominada MASSIVA, que también ha sido desarrollada como parte de esta tesis, que permite automatizar la ejecución de las pruebas y generar los informes de resultados requeridos por el proceso de verificación. El entorno propone un flujo de trabajo que cumple con los estándares de la ESA y genera la documentación a entregar. Además, realiza de forma automática varias de las actividades más tediosas y propensas a errores del proceso de validación y verificación del software, aportando un entorno robusto, pero que gracias al uso de modelos es flexible y adaptable a distintos proyectos. |
|---|