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 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.