Proceso de verificación y validación de software embarcado en satéliteuna estrategia basada en propiedades de composición

  1. FERNÁNDEZ SALGADO, JAVIER
Dirixida por:
  1. Óscar Rodríguez Polo Director
  2. Sebastián Sánchez Prieto Co-director

Universidade de defensa: Universidad de Alcalá

Fecha de defensa: 25 de novembro de 2016

Tribunal:
  1. Daniel Meziat Luna Presidente/a
  2. Agustín Martínez Hellín Secretario
  3. Segundo Esteban San Román Vogal
  4. Antonio da Silva Fariña Vogal
  5. Guillem Bernat Nicolau Vogal
Departamento:
  1. Automática

Tipo: Tese

Resumo

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.