Ruizhe

AADL-Based safety analysis using formal methods applied to aircraft digital systems Abstraction Model-based engineering tools are increasingly being used for system-level development of safety-critical systems. Architectural and behavioral models provide important information that can be leveraged to improve the system safety analysis process. Model-based design artifacts produced in early stage development activities can be used to perform system safety analysis, reducing costs, and providing ...

Failure mode and effect analysis improvement: A systematic literature review and future research agenda Abstraction Failure mode and effects analysis (FMEA) is a reliability management technique commonly utilized in various industries to guarantee the security and reliability of systems, services and projects. Nonetheless, the classical risk priority number (RPN) method has been criticized for many inherent deficiencies in the literature. Over the last decades, plenty of models and approaches h ...

Modeling of Satellite Constellation in Modelica and a PHM System Framework Driven by Model Data Hybrid Abstraction The new generation of low-earth-orbit (LEO) satellite constellation systems has the characteristics of low delay, strong signal and global coverage, and it is an important direction for the development of next-generation communication technology. A major disadvantage is that the constellation system is huge, often composed of hundreds or thousands of satellites, which puts forward ...

Inclusion of Reliability and Safety Analysis Methods in Modelica Abstraction A method is developed to combine techniques of reliability and safety analysis with the Modelica language, which is now widely used for the modelling and simulation of technical systems. The method allows to perform a reliability or safety analysis on the system model that is created and used for simulation studies. The procedure automatically determines the so called minimal path sets or minimal cut sets of a system, ...

Guided simulation for dynamic probabilistic risk assessment of complex systems: Concept, method, and application Abstraction Probabilistic risk assessment (PRA) is a systematic process of examining how engineered systems work to ensure safety. With the growth of the size of dynamic systems and the complexity of the interactions between hardware, software, and humans, it is extremely difficult to enumerate risky scenarios by the traditional PRA methods. In this study, a new dynamic probabilistic ...

Simple analysis of complex system safety based on Finite State Machine Network and phase space theory Abstraction Safety analysis of complex systems, such as aero-engines, has always been a challenging problem. In particular, the risk propagation caused by system functional interactions has become increasingly prominent, leading to the difficulty of traditional safety analysis methods. Existing methods are mostly based on manual experience and deduction with difficulty to completely analyze the ...

Model-based safety analysis with time resolution (MBSA-TR) method for complex aerothermal-mechanical systems of aero-engines Abstraction Current aero-engine safety assessments mostly rely on experience-based safety analysis methods such as Fault Tree Analysis (FTA) or Failure Modes and Effects Analysis (FMEA). The progressively significant dynamic characteristics of aero-engines during their transition between states render these methods incapable of providing accurate quantitative safety guida ...

Hand-Written Code Preservation in Model-to-Text Transformation using Intrinsic Redundancy Abstraction We present a novel language-agnostic approach for integrating and preserving hand-written code in files generated via model-to-text transformation. Unlike existing approaches that only support modification of generated files in predefined locations (e.g., protected regions), the proposed approach allows users to make edits anywhere within generated files. Our handwritten code preservation techn ...

Visual Modeling and Simulation of AUTOSAR Application Layer Models Using Modelica Abstraction As automotive electronic architectures grow increasingly complex and software development costs escalate, AUTOSAR plays a critical role in standardizing and enhancing the reusability of automotive controllers. However, existing AUTOSAR application layer modeling tools, such as the Simulink AUTOSAR Blockset, primarily adopt causal modeling paradigms, which constrain flexibility in capturing intricate sy ...

Dynamic Verification of Space Missions via Flexible Model-Based Co-simulation with Systems Modeling Language and SpaceSim Abstraction This paper presents a model-based framework for the dynamic verification of spacecraft systems, which tightly integrates an executable systems modeling language architectural model with the in-house orbital analysis tool SpaceSim to achieve a closed-loop workflow encompassing system design, analysis, and verification. The method is abstracted into 2 generic types ...