VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting mechanisms from information technology systems, and pen...

Full description

Bibliographic Details
Main Authors: Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
Format: Article
Language:English
Published: MDPI AG 2021-03-01
Series:Systems
Subjects:
cyber resilient systems engineering
model-based architectural analysis and synthesis
assurance case generation
cyber resiliency verification
formal analysis
Online Access:https://www.mdpi.com/2079-8954/9/1/18

Internet

https://www.mdpi.com/2079-8954/9/1/18

Similar Items