Abstract Model transformations have proved to be powerful in the development of critical
systems. According to their intents, they have been used in many domains such as models …

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the
safety of power-related systems. However, in many cases, GCPSs may be subject to …

Abstract The Architecture Analysis and Design Language (AADL) has emerged as a
potential future standard in aerospace, automobile and avionics industries for model-based …

Purpose This study aims to solve the problem that the traditional hierarchically performed
hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the …

Flight control systems (FCSs) are safety-critical systems, which require high reliability
requirements. Probabilistic model checking techniques use mathematical reasoning to …

Software reliability models are one of the most generally used mathematical tool for
estimation of reliability, failure rate and number of remaining faults in the software. Existing …

This paper focuses on the challenges relating to the overall safety instrumentation and
control (I&C) architectural design and more specifically the modelling and assessment of …