Development and Certification of Dependable Mixed-Criticality Embedded Systems based on DREAMS Architecture

Abstract

El desarrollo de sistemas mixtos de criticidad que integran múltiples funcionalidades con diferentes niveles de criticidad ofrece beneficios en términos de reducción de costes, aumento de la fiabilidad y una mejor escalabilidad. La demanda en alza de sistemas mixed-critical de alto rendimiento ha contribuido a la expansión del rendimiento, capacidad, funcionalidades de este tipo de sistemas. Esta tendencia en alza está sujeta a los procesos de certificación a diferentes niveles de rigurosidad que pueden resultar en un coste prohibitivo del sistema.

Con esto en mente, se presentaran los casos de seguridad modular; de acuerdo con IEC-61508, de un hypervisor, un procesador COTS y una red de comunicaciones mixed-criticality. En cada uno de los casos de seguridad cabe diferenciar dos niveles de abstracción, caso de seguridad genérica y caso de seguridad basada en arquitectura (e.g., DREAMS architecture style).

Por medio estos casos de seguridad, se pretende ofrecer una base común para el desarrollo de cualquier hypervisor, procesador COTS o red de comunicación mixed-criticality safety; siempre en cumplimento del IEC-61508, donde los módulos independientes definidos, pueden ser reutilizados en cualquier desarrollo sin provocar ningún tipo de interferencia en el sistema o entre componentes. De esta manera reduciendo el coste y agilizando el proceso de desarrollo de cualquiera de estos sistemas. Todos los casos de seguridad generados durante este PhD serán validados por una entidad certificadora, en el contexto de un proyecto de investigación.