Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering

The integration of safety and security concerns in critical domains is of utmost importance, and should be conducted in early design phases of System Engineering (SE) process. However, within a Model-Based System Engineering (MBSE) realm, this goal is hindered by the complex requirement enrichment p...

Full description

Saved in:
Bibliographic Details
Main Authors: Quamara, Megha, Pedroza, Gabriel, Hamid, Brahim
Format: Conference Proceeding
Language:English
Subjects:
co-engineering
Conferences
design
formal methods
Model driven engineering
Reliability engineering
Safety
security
Software quality
Software reliability
Systems engineering and theory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The integration of safety and security concerns in critical domains is of utmost importance, and should be conducted in early design phases of System Engineering (SE) process. However, within a Model-Based System Engineering (MBSE) realm, this goal is hindered by the complex requirement enrichment process across system models/views that often lacks guidance for non-savvy engineers to facilitate integration and verification of stringent safety and security exigencies. In this regard, we present a multi-layered design approach that leverages existing techniques like Model-Driven Engineering (MDE) and formal methods, to facilitate integrated verification of safety and security properties that can be further specialized across different representations (i.e. mission, functional, and component) of a System Under Design (SUD). Our research is in progress and further results are expected to be presented soon.
ISSN:2693-9371
DOI:10.1109/QRS-C55045.2021.00175