Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering

The integration of safety and security concerns in critical domains (e.g., Cyber-Physical Systems (CPSs)) is of utmost importance, and should be conducted in early design phases of system engineering process. Within a Model-Based System Engineering (MBSE) context, safety and security requirements cascade-down across models and views, thus contributing to the detailed missions, functions, and lastly, the architecture. Such enrichment process is often complex and lacks guidance to consistently breakdown high-level mission-centric system specifications into the detailed architecture. In particular, non-savvy safety and security engineers require support to facilitate integration and verification of stringent safety constraints and security exigencies. In this regard, we propose a multi-layered design approach that leverages existing techniques like Model-Driven Engineering (MDE) and formal methods, to facilitate integrated verification of high-level safety and security objectives that can be further specialized across different representations (i.e. mission, functional, and architectural) of the system. The overall approach is validated based upon a Connected Driving Vehicles (CDVs) case study, and using Eclipse Papyrus and Rodin as experimentation tools.