Skip to Main content Skip to Navigation
Conference papers

A Language-based Multi-view Approach for Combining Functional and Security Models

Abstract : The design flaws and attacks on Cyber-Physical Systems (CPSs) can lead to severe consequences. Thus, security and safety (S&S) issues should be taken into account with functional design as early as possible during the developing process. However, it's rare to see "one-size-fits-all" modeling language and/or design tool. One way to solve this issue is to integrate different nature models into one model system, but this requires a unified semantic among modeling languages. We explore a model-based approach for systems engineering that facilitates the composition of several heterogeneous artifacts (called views) into a sound and consistent system model. Rather than trying to extend either SysML or SysML-sec into more expressive languages to add the missing features, we extract proper subsets of both languages to build a view adequate for conducting a security and safety analysis of Capella (SysML-based) functional models. Our language is generic enough to extract proper subsets of languages and combine them to build views for different experts. Moreover, it maintains a global consistency between the different views.
Complete list of metadata

Cited literature [32 references]  Display  Hide  Download
Contributor : Ludovic Apvrille Connect in order to contact the contributor
Submitted on : Tuesday, October 29, 2019 - 2:37:17 PM
Last modification on : Sunday, June 26, 2022 - 2:42:03 AM
Long-term archiving on: : Thursday, January 30, 2020 - 8:02:15 PM


Files produced by the author(s)


  • HAL Id : hal-02337469, version 1


Hui Zhao, Frédéric Mallet, Ludovic Apvrille. A Language-based Multi-view Approach for Combining Functional and Security Models. APSEC 2019 - Asia-Pacific Software Engineering Conference, Dec 2019, Putrajaya, Malaysia. ⟨hal-02337469⟩



Record views


Files downloads