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

  1. Mendizabal Samper, Jon
Dirigée par:
  1. Juan Meléndez Lagunilla Directeur/trice
  2. Saioa Arrizabalaga Co-directeur/trice

Université de défendre: Universidad de Navarra

Fecha de defensa: 27 avril 2012

Jury:
  1. Pedro Crespo Bofill President
  2. Antonio Salterain Ezquerra Secrétaire
  3. Fernando Alonso Blázquez Rapporteur
  4. Pablo Cabezas Lorenzo Rapporteur
  5. Jon Legarda Macon Rapporteur

Type: Thèses

Teseo: 114035 DIALNET

Résumé

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.