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

Abstract

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.