Skip to Main content Skip to Navigation
Conference papers

Meta-models Combination for Reusing Verification Techniques

Abstract : The design of Cyber-Physical systems (CPS) demands to combine discrete models of piecesof software (cyber) components with continuous models of physical components. Such hetero-geneous systems rely on numerous domains with competencies and expertise that go far beyondtraditional software engineering: systems engineering. In this paper, we explore a model-basedapproach to systems engineering that advocates the composition of several heterogeneous arti-facts (called views) into a sound and consistent system model. Rather than trying to build theuniversal language able to capture all aspects of systems, we rather propose to bring togethersmall subsets of languages to focus on specific analysis capabilities while keeping a global con-sistency of all these small pieces of languages. We take as an example, an industrial processbased on Capella, which provides (among others) a large support for functional analysis fromthe requirements to the deployment of components. Even though, Capella is already quite ex-pressive, it does not provide a direct support for schedulability analysis. However, AADL is anlanguage also dedicated to system analysis. It focuses on schedulability analysis, but that doesnot provide direct support for functional analysis. Rather than trying to extend either Capellaor AADL into always more expressive languages to add the missing features we rather extract apertinent subset of both languages to build a view adequate for conducting schedulability anal-ysis of Capella functional models. Our language is generic enough to extract pertinent subsetsof languages and combine them to build views for different experts. It also maintains a globalconsistency between the different views.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-02080768
Contributor : Frédéric Mallet <>
Submitted on : Tuesday, May 28, 2019 - 12:47:22 PM
Last modification on : Monday, October 12, 2020 - 10:30:41 AM

Identifiers

Citation

Hui Zhao, Ludovic Apvrille, Frédéric Mallet. Meta-models Combination for Reusing Verification Techniques. MODELSWARD 2019 - 7th International Conference on Model-Driven Engineering and Software Development, Feb 2019, Prague, Czech Republic. pp.39-50, ⟨10.5220/0007261000390050⟩. ⟨hal-02080768⟩

Share

Metrics

Record views

162

Files downloads

1153