logo móvil
Contáctanos

Generación automática de código de mecanismos de seguridad en el desarrollo dirigido por modelos

Autores: Huning, Lars; Pulvermueller, Elke

Idioma: Inglés

Editor: MDPI

Año: 2021

Descargar PDF

Acceso abierto

Artículo científico
2021

Generación automática de código de mecanismos de seguridad en el desarrollo dirigido por modelos


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería Eléctrica y Electrónica

Palabras clave

Normas regulatorias
Sistemas críticos de seguridad
Mecanismos de seguridad
Desarrollo Dirigido por Modelos
Requisitos de seguridad
Lenguaje de Modelado Unificado

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 29

Citaciones: Sin citaciones


Descripción
Para cumplir con los estándares regulatorios en el ámbito de los sistemas críticos de seguridad, estos sistemas deben incluir un conjunto de mecanismos de seguridad dependiendo del Nivel de Integridad de la Seguridad (SIL). Este artículo propone un enfoque sobre cómo estos mecanismos de seguridad pueden generarse automáticamente a través del Desarrollo Dirigido por Modelos (MDD), mejorando así la productividad del desarrollador y disminuyendo la cantidad de errores que ocurren durante la implementación manual. El enfoque proporciona una forma estructurada de definir requisitos de seguridad, que pueden ser analizados automáticamente y utilizados para la generación de mecanismos de seguridad implementados por software, así como para la configuración inicial de mecanismos de seguridad implementados por hardware.

Otros recursos que podrían interesarte

Temas Virtualpro