Skip to Main content Skip to Navigation
New interface
Conference papers

Multi-layered model-based design approach towards system safety and security co-engineering

Abstract : 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, nonsavvy 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.
Document type :
Conference papers
Complete list of metadata

https://hal-cea.archives-ouvertes.fr/cea-03789160
Contributor : Megha Quamara Connect in order to contact the contributor
Submitted on : Tuesday, September 27, 2022 - 11:36:32 AM
Last modification on : Friday, September 30, 2022 - 4:00:57 AM

File

MoDeVVA'21.pdf
Files produced by the author(s)

Identifiers

Citation

Megha Quamara, Gabriel Pedroza, Brahim Hamid. Multi-layered model-based design approach towards system safety and security co-engineering. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩. ⟨cea-03789160⟩

Share

Metrics

Record views

18

Files downloads

8