Methodology and tools for the design and verification of sil4 sw based on mdd
- Autores: Jon Mendizabal Samper
- Directores de la Tesis: Juan Meléndez Lagunilla (dir. tes.), Saioa Arrizabalaga (codir. tes.)
- Lectura: En la Universidad de Navarra ( España ) en 2012
- Idioma: español
- Tribunal Calificador de la Tesis: Pedro Crespo Bofill (presid.), Antonio Salterain Ezquerra (secret.), Pablo Cabezas Lorenzo (voc.), Jon Legarda Macon (voc.), Fernando Alonso Blázquez (voc.)
- Materias:
- Texto completo no disponible (Saber más ...)
- 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.
