logo móvil
Contáctanos

Análisis de seguridad de modelos AADL para sistemas ciberfísicos de red a través de la verificación de modelos de juegos estocásticos

Autores: Wei, Xiaomin; Dong, Yunwei; Sun, Pengpeng; Xiao, Mingrui

Idioma: Inglés

Editor: MDPI

Año: 2019

Descargar PDF

Acceso abierto

Artículo científico
2019

Análisis de seguridad de modelos AADL para sistemas ciberfísicos de red a través de la verificación de modelos de juegos estocásticos


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería Eléctrica y Electrónica

Palabras clave

Seguridad
Sistemas ciberfísicos de red
Peligros
Fallos
Análisis de seguridad
Verificación de modelos probabilística

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 39

Citaciones: Sin citaciones


Descripción
Como sistemas críticos de seguridad, los sistemas ciberfísicos de red (GCPSs) deben garantizar la seguridad de los sistemas relacionados con la energía. Sin embargo, en muchos casos, los GCPSs pueden verse afectados por peligros ambientales inciertos y no deterministas, así como por la calidad variable de los dispositivos. Estos pueden causar fallas y peligros en todo el sistema y poner en riesgo la seguridad del sistema. Por lo tanto, se requiere un análisis de seguridad para garantizar la seguridad del sistema.

Otros recursos que podrían interesarte

Temas Virtualpro