A Language-based Multi-view Approach for Combining Functional and Security Models - Télécom Paris
Communication Dans Un Congrès Année : 2019

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

Résumé

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

Dates et versions

hal-02337469 , version 1 (29-10-2019)

Identifiants

  • HAL Id : hal-02337469 , version 1

Citer

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⟩
238 Consultations
633 Téléchargements

Partager

More