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 metadatas

Cited literature [32 references]  Display  Hide  Download

https://hal.telecom-paristech.fr/hal-02337469
Contributor : Ludovic Apvrille <>
Submitted on : Tuesday, October 29, 2019 - 2:37:17 PM
Last modification on : Tuesday, November 5, 2019 - 9:32:02 AM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02337469, version 1

Citation

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

Share

Metrics

Record views

67

Files downloads

24