Tesis doctoral de Jon Mendizabal Samper
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.
Datos académicos de la tesis doctoral «Methodology and tools for the design and verification of sil4 sw based on mdd«
- Título de la tesis: Methodology and tools for the design and verification of sil4 sw based on mdd
- Autor: Jon Mendizabal Samper
- Universidad: Navarra
- Fecha de lectura de la tesis: 27/04/2012
Dirección y tribunal
- Director de la tesis
- Juan Melendez Langunilla
- Tribunal
- Presidente del tribunal: pedro Crespo bofill
- Fernando Alonso blázquez (vocal)
- pablo Cabezas lorenzo (vocal)
- jon Legarda macon (vocal)