Introducing a multi-layered model-based design approach towards safety-security co-engineering - Advancing Rigorous Software and System Engineering
Communication Dans Un Congrès Année : 2021

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

Résumé

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.
Fichier principal
Vignette du fichier
QRS2021CameraReady.pdf (936.12 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-03789133 , version 1 (27-09-2022)

Identifiants

Citer

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⟩
214 Consultations
107 Téléchargements

Altmetric

Partager

More