Methodology and tools for the design and verification of sil4 sw based on mdd

  1. Mendizabal Samper, Jon
Dirigida por:
  1. Juan Meléndez Lagunilla Director
  2. Saioa Arrizabalaga Codirectora

Universidad de defensa: Universidad de Navarra

Fecha de defensa: 27 de abril de 2012

Tribunal:
  1. Pedro Crespo Bofill Presidente
  2. Antonio Salterain Ezquerra Secretario/a
  3. Fernando Alonso Blázquez Vocal
  4. Pablo Cabezas Lorenzo Vocal
  5. Jon Legarda Macon Vocal

Tipo: Tesis

Teseo: 114035 DIALNET

Resumen

En algunos casos, debido a la criticidad de las tareas a desempeñar por los sistemas embebidos, estos son denominados sistemas embebidos de seguridad o sistemas de misión crítica. Este tipo de sistemas son sistemas en los que un fallo o un comportamiento incorrecto podrían acarrear catástrofes tales como grandes pérdidas económicas, importantes daños ambientales, daños humanos importantes o muertes. La Comisión Electrotécnica Internacional define la norma IEC61508, la cual identifica un conjunto de requisitos de aplicación en el ciclo de vida de sistemas eléctricos, electrónicos o sistemas electrónico programables de misión crítica. Este trabajo se centra en la búsqueda de una metodología y herramientas para el diseño y verificación del software de sistemas embebidos seguros de una forma avanzada y viable basada en el Diseño Dirigido por Modelos. Se definen y validan los procesos y las herramientas necesarias para el modelado y verificación del diseño de arquitectura software usando técnicas de Diseño Dirigido por Modelos. Los procedimientos y las herramientas definidas se validan mediante su aplicación en el diseño de un votador dos de tres Un votador dos de tres es un tipo de sistema tolerante a fallos, en el que tres sistemas realizan un mismo proceso y su resultado se vota para obtener una única salida.