Ruizhe

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 ...

A Model Management Framework for Next-Generation Web-based Modeling Tools Abstraction The move towards web technologies has arrived at modeling and especially modeling tools. Several frameworks and platforms have been proposed recently, aiming at the efficient realization of web-based modeling tools, i.e., tools developed with web technologies that natively allow for cloud-based deployment and use in web browsers. Most of these frameworks separate modeling tool functionality like editing, rende ...

An integrated approach for enhanced early-phase space system design and optimization Abstraction The integration of Model-Based Systems Engineering (MBSE) and Multidisciplinary Design Analysis and Optimization (MDAO) presents a powerful opportunity to enhance early-stage system design, particularly for complex space systems. However, the lack of efficient integration between these methods results in limitations such as unclear boundary between domain models, reduced automation, and challenges i ...