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
Zuzendaria:
  1. Óscar Rodríguez Polo Zuzendaria
  2. Sebastián Sánchez Prieto Zuzendarikidea

Defentsa unibertsitatea: Universidad de Alcalá

Fecha de defensa: 2016(e)ko azaroa-(a)k 25

Epaimahaia:
  1. Daniel Meziat Luna Presidentea
  2. Agustín Martínez Hellín Idazkaria
  3. Segundo Esteban San Román Kidea
  4. Antonio da Silva Fariña Kidea
  5. Guillem Bernat Nicolau Kidea
Saila:
  1. Automática

Mota: Tesia

Laburpena

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.