RT info:eu-repo/semantics/doctoralThesis
T1 Proceso de verificación y validación de software embarcado en satélite: Una estrategia basada en propiedades de composición
A1 Fernández Salgado, Javier
K1 Dispositivos de control
K1 Sistemas en tiempo real
K1 El Sol
K1 Informática
K1 Computer science
AB Las últimas estimaciones de costes del proceso de verificación y validación (VV) de sistemas de tiempo real críticos están entorno al 50% de coste del total económico de los proyectos, siendo incluso mayor en algunos casos. Esta fase es tan costosa debido a las extensas pruebas, que tienen como objetivo comprobar que el sistema cumple con todos sus requisitos. Entre estos requisitos en sistemas de tiempo real, están aquellos que dependen de parámetros cuya naturaleza es de carácter extrafuncional.Veremos en este trabajo que una aproximación de generación manual de modelos deanálisis en la fase de VV conlleva varios riesgos y costes asociados. Riesgos que pueden ser atenuados gracias al uso de técnicas basadas en el paradigma Model-Driven Engineering (MDE). Esta técnica permite que cada elemento del proceso de VV se integre de una manera coherente y cohesionada permitiendo reducir su coste económicoEl presente trabajo ha formado parte del instrumento Energy Particle Detector (EPD) el cual va abordo de la misión Solar Orbiter.
YR 2016
FD 2016
LK http://hdl.handle.net/10017/41766
UL http://hdl.handle.net/10017/41766
LA spa
DS MINDS@UW
RD 25-abr-2024