Meta-models Combination for Reusing Verification Techniques

The design of Cyber-Physical systems (CPS) demands to combine discrete models of pieces of software (cyber) components with continuous models of physical components. Such heterogeneous systems rely on numerous domains with competencies and expertise that go far beyond traditional software engineering: systems engineering. In this paper, we explore a model-based approach 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 the universal language able to capture all aspects of systems, we rather propose to bring together small subsets of languages to focus on specific analysis capabilities while keeping a global consistency of all these small pieces of languages. We take as an example, an industrial process based on Capella, which provides (among others) a large support for functional analysis from the requirements to the deployment of components. Even though, Capella is already quite expressive , it does not provide a direct support for schedulability analysis. However, AADL is an language also dedicated to system analysis. It focuses on schedulability analysis, but that does not provide direct support for functional analysis. Rather than trying to extend either Capella or AADL into always more expressive languages to add the missing features we rather extract a pertinent subset of both languages to build a view adequate for conducting schedulability analysis of Capella functional models. Our language is generic enough to extract pertinent subsets of languages and combine them to build views for different experts. It also maintains a global consistency between the different views.