Skip to Main content Skip to Navigation
New interface
Conference papers

Introducing a multi-layered model-based design approach towards safety-security co-engineering

Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Megha Quamara Connect in order to contact the contributor
Submitted on : Tuesday, September 27, 2022 - 11:28:54 AM
Last modification on : Friday, September 30, 2022 - 4:00:56 AM


Files produced by the author(s)



Megha Quamara, Gabriel Pedroza, Brahim Hamid. Introducing a multi-layered model-based design approach towards safety-security co-engineering. IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩. ⟨cea-03789133⟩



Record views


Files downloads