Resumen de Proceso de verificación y validación de software embarcado en satélite: una estrategia basada en propiedades de composición

Javier Fernández Salgado

• español

  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 de aná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ómico El presente trabajo ha formado parte del instrumento Energy Particle Detector (EPD) el cual va abordo de la misión Solar Orbiter.

• English

  Experts in real time of VV process estimate its economic cost near to 50 % of overall cost of the project. Even in under some conditions the costs can be increased. The cause of this economic cost is the intensive tests which aim is to probe the system convert their requirements. In real time system a set of properties are extra-functional type, the most prominent of this group is the execution time. For that reason in real time system the requirements are satisfied when the system respond to the proper action in the proper time. A set of analysis are required in VV form, where the timing requirements are checked. Usually this analysis are: scheduling analysis, performance analysis and WCET analysis. In this thesis we starting of the premise that the manual generation of analysis have a group of risks and associated economic costs. The disadvantages would have been mitigate thankfully to the use of MDE paradigm. This paradigm enables the cohesion among the elements in the VV process, there results is reduce the economic cost.