MBSE-based complex system fault propagation logic integrated modeling and analysis method

Abstract

The invention provides an MBSE-based complex system fault propagation logic integrated modeling and analysis method, and relates to the field of aircraft airborne system design, and the method comprises the steps: building a system task scene model and a system function architecture model, and carrying out the calculation of all possible abnormal states, such as external risks and system level function activities, which may be encountered in the task process of a system; analyzing all possible abnormal states of the system in a task process, and establishing a system task and function fault propagation model according to an analysis result; performing system function safety analysis based on the system task and function fault propagation model to obtain system function safety requirements; and constructing a system logic architecture model, establishing global fault propagation logic of the system logic architecture based on the system logic architecture model, and rapidly evaluating the system function security demand based on the product reliability data. According to the method, the reliability and safety integrated modeling analysis and architecture design optimization capability of the complex system is effectively improved.

Description

Technical Field

[0001] This invention relates to the field of aircraft airborne system design technology, specifically to an integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE. Background Technology

[0002] Aircraft avionics systems involve numerous subsystems, including mechanical, electronic, electrical, and mechatronic systems, making them typical complex systems. With the development of aircraft technology, the intelligence and integration of avionics systems are continuously improving, and the complexity of system composition and interconnections is also rapidly increasing. The use of Model-Based Systems Engineering (MBSE) methods for designing complex systems has gained widespread acceptance in the field. In the system design process using MBSE, standard modeling language specifications (such as SysML) can be used to establish system requirement models, functional architecture models, logical architecture models, and physical architecture models, achieving a unified design process for system functionality and performance.

[0003] In the field of system reliability and safety design, traditional document-based design analysis methods are no longer adequate for analyzing the failure mechanisms, impacts, and improvement measures of complex systems. In recent years, many experts and scholars in the field of general quality characteristics have made some progress in exploring model-based reliability, safety, and testability design analysis methods. For example, existing technologies such as CN111639436, CN114218781, and CN117688730 all mention using a model-based approach to establish the failure propagation logic between different levels of the system, thereby assisting in reliability design improvement and testability performance evaluation.

[0004] However, the methods described above all rely on the system's logical architecture model to model and analyze the internal fault propagation logic, failing to integrate it with models of system tasks and use cases. This results in a lack of logic regarding the impact on system functions and top-level tasks within the fault propagation relationships. Furthermore, they lack modeling and analysis of the impact on external risks, as well as support for system functional safety analysis. These issues prevent model-based system reliability and security modeling and analysis from achieving a complete integration with model-based systems engineering, hindering efficient fault-safety analysis at complex system levels and failing to assist in system architecture design optimization and reliability and security verification. Summary of the Invention

[0005] In view of this, this application provides an integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE, in order to solve the problems of insufficient consideration of the fault propagation relationship of system functions and top-level tasks, insufficient consideration of the impact of external risks, and insufficient support for system functional safety analysis in current analysis methods, thereby improving the ability of integrated modeling and analysis of reliability and security of complex systems and optimization of architecture design.

[0006] This application provides the following technical solution: a method for integrated modeling and analysis of fault propagation logic in complex systems based on MBSE, including: Based on the system's design goals, a system task scenario model is constructed. Based on the system task scenario model, task scenario analysis is performed to obtain the system's functional requirements. Based on the system's functional requirements, a system functional architecture model is established. Based on the system task scenario model and the system functional architecture model, the external risks that the system may encounter during the task, all possible abnormal states of system-level functional activities, and all possible abnormal states of the system during the task and their fault propagation relationships are analyzed respectively. Based on the analysis results, a system task and function fault propagation model is established. Based on the system task and function fault propagation model, a system functional safety analysis is performed to obtain the system functional safety requirements. Construct a system logical architecture model, and establish global fault propagation logic for the system logical architecture based on the system logical architecture model; Based on the system logical architecture model and the global fault propagation logic, the functional safety requirements of the system are quickly assessed using product reliability data.

[0007] According to one embodiment of this application, an analysis of external risks that the system may encounter during a task is performed, including: Based on the system task scenario model, the external risks that the system may encounter during the task are analyzed. According to the set of external risk events obtained from the analysis, the system task scenario model is supplemented by extending the definition of external risk event models using SysML's profile syntax. The external risks include external environmental risks and emergency event risks.

[0008] According to one embodiment of this application, an analysis is performed on all possible abnormal states of system-level functional activities, including: Based on the system functional architecture model, all possible abnormal states of system-level functional activities are analyzed. According to the abnormal state set of system functional activities obtained from the analysis, the system functional architecture model is supplemented by extending the functional activity model using SysML's profile syntax.

[0009] According to one embodiment of this application, the system analyzes all possible abnormal states during the task process, including: Based on the system task scenario model, all possible abnormal states of the system task process are analyzed. According to the set of abnormal states of system task activities obtained from the analysis, the system task scenario model is supplemented by extending the definition of the task activity model using SysML's profile syntax.

[0010] According to one embodiment of this application, the external risks that the system may encounter during the task, all possible abnormal states of system-level functional activities, and all possible abnormal states of the system during the task and their fault propagation relationships are analyzed, including: Establish the logical relationship between external risk events and abnormal states of system functions. Based on this logical relationship, establish the fault propagation relationship between different levels within the system functional architecture model. Then, propagate upwards to establish the fault propagation relationship between tasks and functions across levels and the fault propagation relationship between different levels within the system task scenario model. Based on the established fault propagation relationship, establish the system task and function fault propagation model.

[0011] According to one embodiment of this application, system functional safety analysis is performed based on the system task and function fault propagation model, including: Preliminary conclusions of the FHA analysis were automatically generated based on the aforementioned system task and function fault propagation model; Qualitative and quantitative analysis was conducted on the preliminary conclusions of the FHA analysis based on the fault propagation subtree. Based on the qualitative and quantitative analysis results, design improvement measures are proposed and the system functional safety requirements are communicated.

[0012] According to one embodiment of this application, a system logical architecture model is constructed, and a global fault propagation logic for the system logical architecture is established based on the system logical architecture model, including: Analyze the abnormal states of the basic components and input / output ports within the system, and establish local fault propagation logic; Based on the local fault propagation logic, the fault propagation relationship between multi-level logical architectures and the cross-level fault propagation relationship between functions and logic are established to obtain the global fault propagation logic of the system logical architecture.

[0013] According to one embodiment of this application, the global fault propagation logic covers the complete fault propagation path from the logical unit to the top-level task, supporting system-level security assessment and design optimization.

[0014] According to one embodiment of this application, a rapid assessment of the system's functional safety requirements based on product reliability data includes: Using the abnormal state of system functional activities as the top event, an FTA model is constructed based on the global fault propagation logic. Based on the FTA model, the system functional safety requirements are quantitatively and qualitatively analyzed.

[0015] According to one embodiment of this application, the method further includes: proposing targeted design improvement measures based on the content of security analysis and evaluation.

[0016] Compared with the prior art, the beneficial effects that at least one technical solution adopted in the embodiments of this specification can achieve include at least: (1) This invention provides an integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE. Based on the system task scenario model and functional architecture model of SysML language specification, it realizes integrated modeling of fault propagation logic, constructs the safety impact path of external risk events and internal system functional failures, and provides reliability and security designers with a modeling tool for in-depth analysis of system functional architecture. (2) The present invention provides an integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE. Based on the task and function fault propagation relationship model, it supports the rapid development of system functional hazard analysis (FHA) and FTA qualitative and quantitative analysis, identifies weak links in system design, proposes design improvement measures, and conveys system functional safety requirements. (3) The present invention provides an integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE. Combining task scenario model, functional architecture model and logical (or physical) architecture model, a multi-level global fault propagation model of "logical unit-functional unit-top-level task" is constructed, which fully describes the fault mechanism inside the complex system and provides reliability and safety designers with a modeling tool for deeply participating in system design analysis and quickly carrying out general quality characteristic analysis. (4) The present invention provides an integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE. Based on the global fault propagation model of the system, it supports the rapid development of qualitative and quantitative FTA analysis, identifies weak links in system design, proposes design improvement measures, and combines with quantitative analysis data of product reliability to support the rapid assessment of system security requirements. Attached Figure Description

[0017] To more clearly illustrate the technical solutions of the embodiments of this application, the drawings used in the embodiments will be briefly introduced below. Obviously, the drawings described below are only some embodiments of this application. For those skilled in the art, other drawings can be obtained based on these drawings without creative effort.

[0018] Figure 1 This is a flowchart illustrating the integrated modeling and analysis method for fault propagation logic in complex systems based on MBSE, as proposed in this invention. Figure 2 This is a flowchart illustrating an embodiment of the integrated modeling and analysis method for fault propagation logic in complex systems based on MBSE of the present invention. Figure 3 This is a schematic diagram of the fault propagation relationship of the multi-level functional architecture in an embodiment of the present invention; Figure 4 This is a schematic diagram of the fault propagation relationship in a multi-level task scenario model in an embodiment of the present invention; Figure 5 This is a schematic diagram illustrating the cross-level fault propagation relationship between tasks and functions with abnormal branches in an embodiment of the present invention; Figure 6 This is a schematic diagram of the global fault propagation logic in an embodiment of the present invention. Detailed Implementation

[0019] The embodiments of this application will now be described in detail with reference to the accompanying drawings.

[0020] The following specific examples illustrate the implementation of this application. Those skilled in the art can easily understand other advantages and effects of this application from the content disclosed in this specification. Obviously, the described embodiments are only a part of the embodiments of this application, and not all of them. This application can also be implemented or applied through other different specific embodiments, and the details in this specification can also be modified or changed based on different viewpoints and applications without departing from the spirit of this application. It should be noted that, in the absence of conflict, the following embodiments and features in the embodiments can be combined with each other. Based on the embodiments in this application, all other embodiments obtained by those skilled in the art without creative effort are within the scope of protection of this application.

[0021] like Figure 1 As shown, this embodiment of the invention provides an integrated modeling and analysis method for fault propagation logic in complex systems based on MBSE, including: S101. Based on the system's design goals, construct a system task scenario model, perform task scenario analysis based on the system task scenario model, obtain the system's functional requirements, and establish a system functional architecture model based on the system's functional requirements. S102. Based on the system task scenario model and the system functional architecture model, analyze the external risks that the system may encounter during the task, all possible abnormal states of system-level functional activities, and all possible abnormal states of the system during the task and their fault propagation relationships, and establish a system task and function fault propagation model based on the analysis results. S103. Based on the system task and function fault propagation model, perform system functional safety analysis to obtain system functional safety requirements; S104. Construct a system logical architecture model, and establish global fault propagation logic for the system logical architecture based on the system logical architecture model; S105. Based on the system logical architecture model and the global fault propagation logic, quickly assess the system functional safety requirements using product reliability data.

[0022] This invention provides an integrated modeling and analysis method for fault propagation logic in complex systems based on MBSE. It solves the problems of insufficient consideration of the fault propagation relationship between system functions and top-level tasks, insufficient consideration of the impact of external risks, and insufficient support for system functional safety analysis in current analysis methods. This improves the ability of integrated modeling and analysis of reliability and security of complex systems and the optimization of architecture design.

[0023] In one specific embodiment, such as Figure 2 As shown in this embodiment, a method for integrated modeling and analysis of fault propagation logic in complex systems based on MBSE includes the following steps: Step 1: Construct the system task scenario model and functional architecture model.

[0024] Starting from the system's design goals, analyze the tasks the system needs to perform and establish a system task scenario model. In model-based system design, SysML activity diagrams are typically used to construct the system task scenario model, describing each stage of the system's task execution and the related events and activities.

[0025] Furthermore, the functional requirements of the system are obtained through task scenario analysis, and a system functional architecture model is established. In model-based system design, SysML activity diagrams, use case diagrams, sequence diagrams, etc., are typically used to construct the system functional architecture model, expand the event activities at each stage, and analyze the specific functional activities that the system needs to execute in each event activity.

[0026] Step 2: Establish system task and function fault propagation logic.

[0027] (1) External risk analysis and modeling Based on the system task scenario model, the external risks that the system may encounter during the task are analyzed, including but not limited to external environmental risks (such as rapid cooling, rapid heating, wind shear, lightning strikes, etc.) and emergency event risks (such as bird strikes, forced landing on water, external attacks, etc.).

[0028] Based on the set of external risk events obtained from the analysis This supplements the system task scenario model. This represents the i-th external risk event. Indicates an event The probability of occurrence.

[0029] Preferably, external risk modeling can be achieved by extending the definition of external risk event models based on SysML's profile syntax.

[0030] (2) Functional abnormality analysis and modeling Based on the system functional architecture model, all possible abnormal states of system-level functional activities are analyzed, including but not limited to complete loss of function, partial loss of function, functional error, functional deviation, and non-instruction operation of functions. For systems with high complexity, they can also be divided into several subsystems, and the abnormal states of the functional activities of the subsystems can be analyzed.

[0031] Based on the analysis of the system functional activity abnormal state set This involves supplementing the system functional architecture model with modeling. This represents the j-th abnormal state of the i-th function in the system. The abnormality criteria indicating this abnormal state. This indicates the probability of this abnormal state occurring.

[0032] Preferably, in the early design stage and A preliminary estimate can be made using information from similar historical products, and iterative improvements can be made as more detailed design information becomes available later.

[0033] Preferably, the abnormal state attributes of the functional activity model can be extended based on the SysML profile syntax definition to realize the modeling of abnormal functional states.

[0034] (3) Modeling the logical relationship between external risks and functional abnormalities From the perspective of system functional safety analysis, external risk events only affect the safe operation of the system if they impair the normal functioning of the system. Therefore, it is necessary to establish a logical relationship between external risk events and abnormal system functional states. .

[0035] (4) Fault propagation relationship modeling of multi-level functional architecture model Depending on the complexity of the actual system, the system functional architecture model may have multiple functional levels. In this case, it is also necessary to establish the fault propagation relationships between different levels within the system functional architecture model. Taking system A as an example... abnormal state Taking an example, we analyze how abnormal states of system sub-functions lead to abnormal functional states. The logic of establishing fault propagation logic is as follows: Figure 3 As shown, its mathematical expression is: ,in It represents logical operations, mainly including AND, OR, NOT, XOR, and voting.

[0036] Preferably, the fault propagation relationship of the functional architecture model can be extended based on the SysML profile syntax definition to achieve multi-level functional architecture model fault propagation relationship modeling.

[0037] (5) Task anomaly analysis and modeling Based on the system task scenario model, all possible abnormal states of the system task process are analyzed, and the set of abnormal states of system task activities obtained from the analysis is determined. This involves supplementing the system task scenario model with additional modeling. This represents the j-th abnormal state of the i-th task activity in the system. The abnormality criteria indicating this abnormal state. This indicates the probability of this abnormal state occurring. This indicates the security impact level or severity level of the abnormal state of the top-level task. It is defined only for the abnormal state of the top-level task and needs to be determined according to the analysis standards specified in the project (such as ARP4761, GJB1391).

[0038] Preferably, the abnormal state attributes of the task activity model can be extended based on the SysML profile syntax definition to realize the modeling of abnormal states of task activities.

[0039] (6) Fault propagation relationship modeling of multi-level task scenario model Depending on the depth of the system task scenario analysis, the system task scenario model may have multiple levels, such as top-level task, task phase, and task event levels. In this case, it is also necessary to establish the fault propagation relationship between different levels within the task. Taking a typical flight task i in task state 1 as an example, the fault propagation logic is established as follows: Figure 4 As shown, its mathematical expression is: .

[0040] Preferably, the fault propagation relationship of the task scenario model can be extended based on the SysML profile syntax definition to achieve multi-level fault propagation relationship modeling of the task scenario model.

[0041] (7) Modeling the cross-level fault propagation relationship between tasks and functions Based on the established external risk event-functional activity failure propagation logic, the failure propagation relationship model between abnormal states of task activities and abnormal states of functional activities is further improved. Ultimately, the abnormal state of a top-level task can correspond to a complete function-task failure propagation logic subtree (including external risk events), where the base events are either abnormal states of functional activities of subsystems or external risk events. .

[0042] It is important to note that complex systems with high safety and reliability requirements often include dedicated functions to handle abnormal events. For example, airborne pressurization systems may include normal hydraulic pressurization and emergency nitrogen pressurization to address hydraulic pressurization failures during flight. In such cases, it is crucial to model the fault propagation relationships of abnormal branch activities. Taking an airborne power supply system as an example, under normal circumstances, DC power is used. When the DC power supply fails, the battery is activated for emergency power. The fault propagation logic should be established as follows: Figure 5 As shown.

[0043] Step 3: Conduct system functional safety analysis based on task and functional fault propagation logic.

[0044] (1) Model-based FHA analysis Through steps one and two, a complete logic for the propagation of system task and functional failures was established. This logic is essentially a model-based description of the impact propagation path of system functional failure modes.

[0045] According to the assertion rules shown in Table 1, preliminary conclusions of the system FHA analysis can be automatically generated, enabling rapid system security analysis.

[0046] Table 1 Security Analysis Table

[0047] Preferably, intermediate nodes (abnormal functional or mission activity states in the intermediate layer) along the fault propagation path can be included as part of the "impact on aircraft, crew, and passengers" to enhance the logical consistency of the impact analysis.

[0048] (2) Improvement of system functional architecture design Taking the abnormal state of the top-level task as the top event, the FTA analysis of the event can be quickly carried out based on the task function failure propagation logic subtree: 8; a) Qualitative analysis of the minimum cut set of FTA, focusing on the security risks of the first-order minimum cut set (single point of failure); b) Conduct a preliminary quantitative assessment based on the initial probability data of each bottom event to determine whether the impact level of the abnormal state of the top-level task is met. Safety requirements; Based on the conclusions of qualitative and quantitative analysis, targeted design improvement measures are proposed to assist in the optimization of system functional architecture design.

[0049] (3) Communication of functional safety requirements Based on the latest system functional architecture design optimization results, the conclusions of the latest system FHA analysis are clarified, and the system functional safety impact and impact level are passed on to the system detailed design level as system-level security requirements.

[0050] Step 4: Construct a system logical architecture (or physical architecture) model.

[0051] Establish a logical architecture (or physical architecture) model for the detailed system design, describing the internal components, input / output ports, and port variables (information / matter / energy) involved in the interconnection and transmission. For relatively simple subsystems with ample historical reference information, a physical architecture model can be directly established. However, for newly developed subsystems with complex functional interactions and compositions, a logical architecture model is generally preferred.

[0052] Step 5: Establish the fault propagation logic for the system's logical architecture (or physical architecture).

[0053] (1) Anomaly analysis and local fault propagation logic modeling of basic components of the architecture model The basic building blocks (i.e., the lowest level units) in the architecture model are the smallest entities that carry functions. For the basic building blocks, it is necessary to analyze and define: the abnormal states of the unit, the abnormal states of the input port variables, and the abnormal states of the output ports.

[0054] Analyze and establish the local fault propagation logic of the basic components. This logic describes how the input port state and the unit's own state affect the output port state.

[0055] Preferably, the abnormal state of the unit itself can be defined with reference to the fault clues of "complete loss, partial loss, error or over-tolerance, and non-instruction operation"; Preferably, the abnormal states of input / output port variables can be defined with reference to the fault clues such as "no output, not working within the specified working time, working outside the specified working time, unstable output, excessive output, and excessive output".

[0056] (2) Modeling of fault propagation relationships in multi-level logical architecture Depending on the complexity of the actual system, the system logical architecture model may have multiple levels. In this case, it is also necessary to establish the fault propagation relationship between different levels within the system logical architecture model.

[0057] For intermediate-layer modules that are not basic building blocks, they are not entities that carry functions, but rather a system scope that represents functional clustering. Therefore, by establishing logical relationships between the abnormal states of output port variables of intermediate-layer modules and the abnormal states of output port variables of lower-layer modules, fault propagation relationship modeling of multi-level logical architectures can be achieved.

[0058] (3) Modeling the relationship between functional and logical cross-level fault propagation In the system functional architecture model, the objects of analysis are the system's functional activities and their abnormal states. In the system logical architecture model, the output ports corresponding to the system-level modules also represent the system's external functional presentation. By establishing the correlation between the abnormal states of the output port variables of the logical architecture system-level modules and the abnormal states of the functional activities in the swimlanes of the functional architecture system-level modules, it is possible to model the cross-level fault propagation relationship between function and logic.

[0059] (4) Generate a global fault propagation model for the system Based on steps one through five, and by fully utilizing the system task scenario model, functional architecture model, and logical (or physical) architecture model, fault propagation relationship modeling from the bottom-level modules of the logical (or physical) architecture to the top-level task was achieved, constructing a multi-level global fault propagation model of "logical unit - functional unit - top-level task" (e.g., Figure 6 As shown in the figure, it fully describes the fault mechanism inside the complex system.

[0060] Step Six: System Functional Safety Requirements Assessment Based on Product Reliability Data In step three, system FHA analysis can be carried out based on the system task function fault propagation model, and security requirements can be passed down to lower levels. After completing the system logical (or physical) architecture model and establishing the global fault propagation logic in steps four and five, system security assessment can be further carried out based on product reliability data.

[0061] (1) The focus of quantitative analysis of product reliability is to assess the probability of occurrence of various failure modes of the product by analyzing the physical laws of product failure and historical failure data, that is, the probability of occurrence of failure state of basic components in the architecture model. (2) Taking the abnormal state of system function activity as the top event, the FTA model can be quickly constructed according to the system fault propagation logic. Its bottom events are the fault state of the basic components in the architecture model or the abnormality of external input. (3) Based on the FTA model, quantitative analysis can be carried out to assess whether the probability level of abnormal states of system functional activities (i.e. system functional failure modes) meets the system security requirements. (4) Based on the FTA model, qualitative analysis can be carried out to assess the single-point failure risk of the first-order minimal cut set, the key common-cause failures that recur in the cut set, and the common-mode risk of AND gate events, etc. (5) Based on the content of the safety analysis and assessment, propose targeted design improvement measures.

[0062] The above description is merely a specific embodiment of this application, but the scope of protection of this application is not limited thereto. Any variations or substitutions that can be easily conceived by those skilled in the art within the technical scope disclosed in this application should be included within the scope of protection of this application. Therefore, the scope of protection of this application should be determined by the scope of the claims.

Claims

1. A method for integrated modeling and analysis of fault propagation logic in complex systems based on MBSE, characterized in that, include: Based on the system's design goals, a system task scenario model is constructed. Based on the system task scenario model, task scenario analysis is performed to obtain the system's functional requirements. Based on the system's functional requirements, a system functional architecture model is established. Based on the system task scenario model and the system functional architecture model, the external risks that the system may encounter during the task, all possible abnormal states of system-level functional activities, and all possible abnormal states of the system during the task and their fault propagation relationships are analyzed respectively. Based on the analysis results, a system task and function fault propagation model is established. Based on the system task and function fault propagation model, a system functional safety analysis is performed to obtain the system functional safety requirements. Construct a system logical architecture model, and establish global fault propagation logic for the system logical architecture based on the system logical architecture model; Based on the system logical architecture model and the global fault propagation logic, the functional safety requirements of the system are quickly assessed using product reliability data.

2. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, An analysis of potential external risks the system may encounter during the task is conducted, including: Based on the system task scenario model, the external risks that the system may encounter during the task are analyzed. According to the set of external risk events obtained from the analysis, the system task scenario model is supplemented by extending the definition of external risk event models using SysML's profile syntax. The external risks include external environmental risks and emergency event risks.

3. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, Analyze all possible abnormal states of system-level functional activities, including: Based on the system functional architecture model, all possible abnormal states of system-level functional activities are analyzed. According to the abnormal state set of system functional activities obtained from the analysis, the system functional architecture model is supplemented by extending the functional activity model using SysML's profile syntax.

4. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, Analyze all possible abnormal states of the system during the task process, including: Based on the system task scenario model, all possible abnormal states of the system task process are analyzed. According to the set of abnormal states of system task activities obtained from the analysis, the system task scenario model is supplemented by extending the definition of the task activity model using SysML's profile syntax.

5. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, The system analyzes the external risks it may encounter during the task, all possible abnormal states of system-level functional activities, and all possible abnormal states and their fault propagation relationships during the task, including: Establish the logical relationship between external risk events and abnormal states of system functions. Based on this logical relationship, establish the fault propagation relationship between different levels within the system functional architecture model. Then, propagate upwards to establish the fault propagation relationship between tasks and functions across levels and the fault propagation relationship between different levels within the system task scenario model. Based on the established fault propagation relationship, establish the system task and function fault propagation model.

6. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, Based on the aforementioned system task and function fault propagation model, a system functional safety analysis is performed, including: Preliminary conclusions of the FHA analysis were automatically generated based on the aforementioned system task and function fault propagation model; Qualitative and quantitative analysis was conducted on the preliminary conclusions of the FHA analysis based on the fault propagation subtree. Based on the qualitative and quantitative analysis results, design improvement measures are proposed and the system functional safety requirements are communicated.

7. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, Construct a system logical architecture model, and establish global fault propagation logic for the system logical architecture based on the system logical architecture model, including: Analyze the abnormal states of the basic components and input / output ports within the system, and establish local fault propagation logic; Based on the local fault propagation logic, the fault propagation relationship between multi-level logical architectures and the cross-level fault propagation relationship between functions and logic are established to obtain the global fault propagation logic of the system logical architecture.

8. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 7, characterized in that, The global fault propagation logic covers the complete fault propagation path from logical units to top-level tasks, supporting system-level security assessment and design optimization.

9. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 1, characterized in that, A rapid assessment of the system's functional safety requirements is performed based on product reliability data, including: Using the abnormal state of system functional activities as the top event, an FTA model is constructed based on the global fault propagation logic. Based on the FTA model, the system functional safety requirements are quantitatively and qualitatively analyzed.

10. The integrated modeling and analysis method for fault propagation logic of complex systems based on MBSE as described in claim 9, characterized in that, The method also includes: proposing targeted design improvement measures based on the content of security analysis and assessment.

Images