The increasing number of disruptions to critical infrastructure, like natural disasters, terrorist attacks or internal failure is today a major problem of society. Concern is even greater when considering the interconnected nature of critical infrastructure, which might lead to failure propagation, causing domino and cascade effects. To mitigate such outcomes, critical infrastructure must recover its capacity to function with regard to several criteria. Stakeholders must therefore analyse and improve the resilience of critical infrastructure before any disruption occurs, and base this analysis on different models so as to guarantee society's vital needs. Current resilience assessment methods are mainly oriented toward the context of a single system, thus narrowing their criteria metrics, limiting flexibility and adaptation to other contexts and overlooking the interconnected nature of systems. This article introduces a new tool-equipped approach that makes it possible to define a model to evaluate the functionalities of interconnected systems. The model is then used to assess the resilience of these systems based on simple and generic criteria that can be extended and adapted. Several assertions related to the concept of resilience and some resilience indicators are also introduced. A case study provides the validation performed by experts from several domains.
bstract. Model Based System Engineering (MBSE) is "the formalized application of modeling to support system requirements, design, analysis, verification and validation activities beginning in the conceptual design phase and continuing throughout development and later life cycle phases" [1]. Among other principles, it promotes creating and analyzing models all along systems engineering. These models are used to discuss, to argue and finally to make decisions that impact the achieved system (in terms of functioning, costs, safety, etc.). One of the main expectations of MBSE is to permit engineers to dispose of models with a high level of confidence. For this purpose, several model Verification and Validation (V&V) approaches exist, aiming to ensure models' quality in terms of construction (models are correctly built) and in terms of relevance for reaching design objectives and stakeholders' requirements. This paper aims at discussing and evaluating an approach originally developed in the field of Model Driven Engineering by proposing some adaptations. The approach is illustrated on a well-known functional modeling language dedicated to MBSE field.
Considering Model‐Based Systems Engineering (MBSE) principles and needs, this article focuses on the design of Domain Specific Modeling Languages (DSMLs) aiming to link modeling, verification and validation (V&V) activities. The goal is to ease the work and increase the freedom and autonomy of experts from various domains in the process of creating and managing system models then to supply experts involved in analyses and decision making processes with models characterized by highest level of confidence. This paper introduces and illustrates a tool‐equipped approach, named “xviCore”, that provides MBSE experts with natively verifiable, executable and interoperable DSML named “xviDSML”, i.e., DSML that can be formally and directly checked and simulated requesting no huge efforts or skills.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.