Ship information system reliability modeling method with software definition based on GO method

Abstract

The invention discloses a ship information system reliability modeling method with software definition based on a GO method, and the method comprises the following steps: 1), analyzing a ship information system fault behavior which comprises fault transmission between software and hardware and a common cause fault of an information system; 2) obtaining a modeling operator of a ship information system, and establishing a GO graph; 3) verifying the established GO graph model; and 4) calculating the reliability of the information system based on the GO model. According to the method, based on a basic operator of GO, a GO model of a software and hardware fault transmission process between software and hardware coupling characteristic information systems is established, and a system reliability accurate calculation method considering system common cause failure is provided.

Description

Technical Field

[0001] The invention relates to system modeling technology, and in particular to a reliability modeling method of a ship information system with software definition based on a GO method. Background Art

[0002] Ship information systems are characterized by large components, multiple functions, and complex control. Especially with the development of information technology, the characteristics of functional software development are becoming more and more prominent. The new ship information system with software-defined characteristics has the characteristics of resource sharing and reuse, function reconstruction on demand, loose coupling of software and hardware, and business integration. Traditional reliability modeling and analysis methods are difficult to adapt to changes in component functions, dynamic system structure, and uncertain failure correlations, and cannot achieve analysis and accurate evaluation of factors affecting mission reliability.

[0003] The GO method is a success-oriented system reliability analysis method, which is particularly suitable for reliability analysis of systems with multiple states, signal feedback, time series changes, dynamics and complex correlations. It directly translates the system structure diagram or schematic diagram into a GO graph model according to certain rules. Although the research on complex system reliability modeling and analysis technology based on the GO method is still in its infancy, given the advantages of the GO method, the development of complex system reliability modeling based on the GO method is a direction worthy of attention and exploration in the field of reliability. It not only provides a new technical approach for complex system reliability engineering problems, but also meets the requirements of complex system reliability key technology research, and is of great significance in the engineering field. Summary of the invention

[0004] The technical problem to be solved by the present invention is to provide a reliability modeling method of a ship information system with software definition based on the GO method in view of the defects in the prior art.

[0005] The technical solution adopted by the present invention to solve the technical problem is: a reliability modeling method of a software-defined ship information system based on the GO method, comprising the following steps:

[0006] 1) Analyze the failure behavior of the ship information system, which includes the fault transmission between software and hardware and the common cause failure of the information system;

[0007] Among them, fault transmission between software and hardware refers to software fault caused by hardware fault, and common cause fault of information system refers to fault that causes failure of two or more system component units due to common reasons;

[0008] 2) Obtain modeling operators of the ship information system and establish a GO graph;

[0009] 2.1) The modeling symbols of the ship information system are defined based on the basic functional operators and logical operators;

[0010] The details are as follows:

[0011] 2.1.1) Type A operators;

[0012] Type A operators simulate a unit with 1 input and 1 output signal. The unit itself has 2 states. When the unit is in normal working state, the signal can pass through and the unit can perform work normally; when the unit is in fault maintenance state, the signal cannot pass through or the unit cannot perform work normally. The simulated unit is represented by A+digital serial number.

[0013] The steady-state analysis calculation formula corresponding to the type A operator is:

[0014]

[0015] Among them, 1 represents the normal state and 2 represents the fault state; P S Indicates that the signal passes, P S (1) represents the probability that the signal can pass, P S (2) represents the probability that the signal cannot pass, P C Indicates the unit performs work, P C (2) represents the probability that the unit cannot perform its work normally; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state;

[0016] 2.1.2) Type B operators;

[0017] Type B operators simulate input units in information system modeling. This operator has no input and only one output signal.

[0018] The steady-state analysis calculation formula corresponding to the type B operator is:

[0019]

[0020] Among them, 1 represents the normal state and 2 represents the fault state; P R (1) represents the probability that the unit is in normal working state; P R (2) represents the probability that the unit's working state is a fault state; P C (1) represents the probability that the unit performs its work normally, P C (2) represents the probability that the unit cannot perform its work normally;

[0021] 2.1.3) Type O operator;

[0022] The type O operator simulates the state combination unit of the interaction between the input signal state and the component state itself, which is determined according to the actual working conditions of the component; when the combination of the input signal and the component state value meets a given state value combination, there is a corresponding output; when the combination of the input signal and the component state value does not meet the given state value combination, the current state value of the component is output;

[0023] The input signal S1 includes a normal state and a fault state, and the component state value S2 includes three states: permanent fault, temporary fault and normal;

[0024] The probability that S2 fault is a permanent fault is p, the probability that S2 fault is a temporary fault is (1-p), and when S2 has a temporary fault, the probability of causing a unit failure is q;

[0025] Steady-state calculation formula:

[0026]

[0027] Among them, P S1 is the state of the input signal, P S2 is the state of the component, P C is the output of the state combination unit; P R (1) represents the probability that the unit is in normal working state; P R (2) represents the probability that the unit's working state is a fault state; P S1 (1) is the probability that the state of the input signal is normal, P S2 (1) represents the probability that the component itself is in a normal state, P S2 (2) represents the probability that the component itself is in a faulty state; P C (1) Indicates the output corresponding to a given combination of state values ​​when the input signal and the state value of the component meet the given combination of state values;

[0028] 2.1.4) Type I operators;

[0029] Type I operators are used to simulate the logic unit of the OR gate, which has M input signals and 1 output signal, indicating the logical relationship between input and output. The OR gate describes the logical relationship that there are multiple parallel connections in the information system, and as long as one of the connections is normal, the parallel structure is normal.

[0030] Steady-state analysis calculation formula:

[0031]

[0032] Among them, P Si Represents the input signal Si, P Si (2) represents the probability that the input signal Si is abnormal; P R (1) represents the probability that the unit is in normal working state; PR (2) The probability that the working state of the unit is a fault state;

[0033] 2.1.5) Type J Operator

[0034] The type J operator is used to simulate the unit of AND gate logic, which has M inputs and 1 output signal, indicating the logical relationship between input and output. The AND gate logic unit describes the logical relationship that if one input signal is abnormal in the information system, the output signal is abnormal.

[0035] Steady-state analysis calculation formula:

[0036]

[0037] Among them, P Si Represents the input signal Si, P Si (1) represents the probability that the input signal Si is normal; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state;

[0038] 2.1.6) Type M operators;

[0039] For type M operators, the definition is as follows: S h and R H They represent the input and output signals of the type M operator, h = 1, 2, ..., H, where S h Represents different functional modes of the same coefficient, R H Represents the output of the integrated system of different functional modes; S h and R H There are two states, state 1 is the normal state, and state 2 is the fault state. It can describe the logical relationship when there are multiple functional modes in the information system.

[0040] Steady-state analysis calculation formula:

[0041]

[0042] Where P RH (1) R H The probability of success; P RH (2) R H The failure probability P Sh (1) S h probability of success; is the operating frequency of the functional mode;

[0043] 2.2) Based on the above operators, use the GO method to directly create a GO diagram from the system schematic, flow chart or engineering drawing through system analysis;

[0044] 3) Verify the established GO graph model. The correct GO graph meets the following rules:

[0045] 3.1) Operators in the GO graph must be marked with their type number and number, and the number is unique.

[0046] 3.2) There must be at least one input operator (type B) in the GO graph; operator numbering usually starts with the input operator (not required);

[0047] 3.3) The input signal of any operator in the GO graph must be the output signal of another operator. All signal flows are numbered and the numbers are unique.

[0048] 3.4) The signal flow in the GO diagram should start from the input operator and end at the signal flow representing the system output. The signal flow sequence is not allowed to have loops;

[0049] 3.5) When the units are connected in series, select operator J; when the units are connected in parallel, select operator I;

[0050] 3.6) When analyzing multiple functions, select the type M operator for synthesis;

[0051] 3.7) Operators that consider the characteristics of software and hardware should choose type O;

[0052] 4) Calculation of information system reliability based on GO model;

[0053] The system reliability is calculated based on the success probability of each signal flow in the GO graph model;

[0054] 4.1) Calculate the success probability of each signal flow in the system reliability GO graph model. The probability calculation uses the steady-state analysis calculation formula corresponding to the GO model proposed in step 2);

[0055] 4.2) For the GO method quantitative analysis of complex systems with common cause failure redundant structures, the GO method algorithm with common cause failure is adopted; the specific steps are as follows:

[0056] The complex system units with common cause failures are divided into common cause failure group units and non-common cause failure group units. The output signal flow of the complex system with m common cause failure groups is the signal flow with m common cause failure groups, denoted as (P SI ;P S10 ,P S11 ;L;P Sm0 ,P Sm1 ), where P SI For non-common cause failure group units, P S10 ,P S11 ;L;P Sm0 ,PSm1 There are m common cause failure groups. According to the above common cause failure GO algorithm signal flow operation rules, GO operation is performed to obtain (P SI ;P S10 ,P S11 ;L;P Sm0 ,P Sm1 ), then the success probability of the system output, that is, the system reliability is:

[0057]

[0058] In the formula, C i is the common cause failure probability of the ith common cause failure group.

[0059] The beneficial effects produced by the present invention are:

[0060] The method of the present invention is based on the basic operators of GO, establishes a GO model of the software and hardware fault transmission process between information systems with loosely coupled software and hardware characteristics, and proposes an accurate calculation method for system reliability considering common cause failures of the system; compared with traditional reliability modeling methods, the modeling method proposed in the present invention models the information system, can provide a more reasonable and accurate description of the system failure behavior, and effectively improves the accuracy and credibility of reliability analysis. BRIEF DESCRIPTION OF THE DRAWINGS

[0061] The present invention will be further described below with reference to the accompanying drawings and embodiments, in which:

[0062] Figure 1 is a method flow chart of an embodiment of the present invention;

[0063] Figure 2 is a schematic diagram of an information system according to an embodiment of the present invention;

[0064] Figure 3 It is a GO model diagram of a certain information system according to an embodiment of the present invention. DETAILED DESCRIPTION

[0065] In order to make the purpose, technical solution and advantages of the present invention more clearly understood, the present invention is further described in detail below in conjunction with the embodiments. It should be understood that the specific embodiments described herein are only used to explain the present invention and are not used to limit the present invention.

[0066] like Figure 1 As shown, a reliability modeling method of a software-defined ship information system based on the GO method includes the following steps:

[0067] 1) Analyze the failure behavior of the ship information system, which includes the fault transmission between software and hardware and the common cause failure of the information system;

[0068] Among them, fault transmission between software and hardware refers to software fault caused by hardware fault, and common cause fault of information system refers to fault that causes failure of two or more system component units due to common reasons;

[0069] 2) Obtain modeling operators of the ship information system and establish a GO graph;

[0070] 2.1) The modeling symbols of the ship information system are defined based on the basic functional operators and logical operators; among them, the functional operators and logical operators are the 17 standard operators defined by the GO method theory;

[0071] The details are as follows:

[0072] 2.1.1) Type A operators;

[0073] Type A operators simulate a unit with 1 input and 1 output signal. The unit itself has 2 states. When the unit is in normal working state, the signal can pass through and the unit can perform work normally; when the unit is in fault maintenance state, the signal cannot pass through or the unit cannot perform work normally. The simulated unit is represented by A+digital serial number.

[0074] The steady-state analysis calculation formula corresponding to the type A operator is:

[0075]

[0076] Among them, 1 represents the normal state and 2 represents the fault state; P S Indicates that the signal passes, P S (1) represents the probability that the signal can pass, P S (2) represents the probability that the signal cannot pass, P C Indicates the unit performs work, P C (2) represents the probability that the unit cannot perform its work normally; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state;

[0077] 2.1.2) Type B operators;

[0078] Type B operators simulate input units in information system modeling. This operator has no input and only one output signal.

[0079] The steady-state analysis calculation formula corresponding to the type B operator is:

[0080]

[0081] Among them, 1 represents the normal state and 2 represents the fault state; P R(1) represents the probability that the unit is in normal working state; P R (2) represents the probability that the unit's working state is a fault state; P C (1) represents the probability that the unit performs its work normally, P C (2) represents the probability that the unit cannot perform its work normally;

[0082] 2.1.3) Type O operator;

[0083] The type O operator simulates the state combination unit of the interaction between the input signal state and the component state itself, which is determined according to the actual working conditions of the component; when the combination of the input signal and the component state value meets a given state value combination, there is a corresponding output; when the combination of the input signal and the component state value does not meet the given state value combination, the current state value of the component is output;

[0084] The input signal S1 includes a normal state and a fault state, and the component state value S2 includes three states: permanent fault, temporary fault and normal;

[0085] The probability that S2 fault is a permanent fault is p, the probability that S2 fault is a temporary fault is (1-p), and when S2 has a temporary fault, the probability of causing a unit failure is q;

[0086] Steady-state calculation formula:

[0087]

[0088] Among them, P S1 is the state of the input signal, P S2 is the state of the component, P C is the output of the state combination unit; P R (1) represents the probability that the unit is in normal working state; P R (2) represents the probability that the unit's working state is a fault state; P S1 (1) is the probability that the state of the input signal is normal, P S2 (1) represents the probability that the component itself is in a normal state, P S2 (2) represents the probability that the component itself is in a faulty state; P C (1) Indicates the output corresponding to a given combination of state values ​​when the input signal and the state value of the component meet the given combination of state values;

[0089] 2.1.4) Type I operators;

[0090] Type I operators are used to simulate the logic unit of the OR gate, which has M input signals and 1 output signal, indicating the logical relationship between input and output. The OR gate describes the logical relationship that there are multiple parallel connections in the information system, and as long as one of the connections is normal, the parallel structure is normal.

[0091] Steady-state analysis calculation formula:

[0092]

[0093] Among them, P Si Represents the input signal Si, P Si (2) represents the probability that the input signal Si is abnormal; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state;

[0094] 2.1.5) Type J Operator

[0095] The type J operator is used to simulate the unit of AND gate logic, which has M inputs and 1 output signal, indicating the logical relationship between input and output. The AND gate logic unit describes the logical relationship that if one input signal is abnormal in the information system, the output signal is abnormal.

[0096] Steady-state analysis calculation formula:

[0097]

[0098] Among them, P Si Represents the input signal Si, P Si (1) represents the probability that the input signal Si is normal; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state;

[0099] 2.1.6) Type M operators;

[0100] For type M operators, the definition is as follows: S h and R H They represent the input and output signals of the type M operator, h = 1, 2, ..., H, where S h Represents different functional modes of the same coefficient, R H Represents the output of the integrated system of different functional modes; S h and R H There are two states, state 1 is the normal state, and state 2 is the fault state. It can describe the logical relationship when there are multiple functional modes in the information system.

[0101] Steady-state analysis calculation formula:

[0102]

[0103] Where P RH (1) R HThe probability of success; P RH (2) R H The failure probability P Sh (1) is S h probability of success; is the operating frequency of the functional mode;

[0104] 2.2) Based on the above operators, use the GO method to directly create a GO diagram from the system schematic, flow chart or engineering drawing through system analysis;

[0105] 3) Verify the established GO graph model. The correct GO graph meets the following rules:

[0106] 3.1) Operators in the GO graph must be marked with their type number and number, and the number is unique.

[0107] 3.2) There must be at least one input operator (type B) in the GO graph; operator numbering usually starts with the input operator (not required);

[0108] 3.3) The input signal of any operator in the GO graph must be the output signal of another operator. All signal flows are numbered and the numbers are unique.

[0109] 3.4) The signal flow in the GO diagram should start from the input operator and go to the signal flow representing the system output. The signal flow sequence is not allowed to have loops; the signal flow numbering usually starts from the output signal of the input operator (not required);

[0110] 3.5) When the units are connected in series, select operator J; when the units are connected in parallel, select operator I;

[0111] 3.6) When analyzing multiple functions, select the type M operator for synthesis;

[0112] 3.7) Operators that consider the characteristics of software and hardware should choose type O;

[0113] 4) Calculation of information system reliability based on GO model;

[0114] The success probability of each signal flow in the GO graph model is used to calculate the system reliability. The system reliability calculation is a GO operation performed by the GO algorithm according to the system GO graph model and the GO operation rules. As mentioned above, a fault characteristic of a software-defined system is a common cause failure, so common cause failure analysis is a crucial issue in system reliability analysis. The present invention proposes an accurate algorithm for system reliability considering common cause failures as follows:

[0115] 4.1) Calculate the success probability of each signal flow in the system reliability GO graph model. The probability calculation uses the steady-state analysis calculation formula corresponding to the GO model proposed in step 2);

[0116] 4.2) For the GO method quantitative analysis of complex systems with common cause failure redundant structures, the GO method algorithm with common cause failure is adopted; the specific steps are as follows:

[0117] The complex system units with common cause failures are divided into common cause failure group units and non-common cause failure group units. The output signal flow of the complex system with m common cause failure groups is the signal flow with m common cause failure groups; denoted as (P SI ;P S10 ,P S11 ;L;P Sm0 ,P Sm1 ), where P SI For non-common cause failure group units, P S10 ,P S11 ;L;P Sm0 ,P Sm1 There are m common cause failure groups. According to the above common cause failure GO algorithm signal flow operation rules, GO operation is performed to obtain (P SI ;P S10 ,P S11 ;L;P Sm0 ,P Sm1 ), then the success probability of the system output, that is, the system reliability is:

[0118]

[0119] In the formula, C i is the common cause failure probability of the ith common cause failure group.

[0120] According to the above method, a ship information system consists of detection and sensing equipment, information comprehensive processing software, comprehensive display software, execution equipment, computing service equipment, display equipment, network power supply, etc. Its schematic diagram is as follows: Figure 2 As shown in the figure, computing service equipment, display equipment, and network power supply constitute basic support equipment. The two sets of basic support equipment in the figure are redundant backups for each other. Information comprehensive processing software, comprehensive display software and other software run on basic support equipment. The solid line represents the binding relationship between the software and the main basic support equipment under normal system conditions. The dotted line represents that when the main basic support equipment fails, the backup equipment automatically takes over the execution of the task, and the software is bound to the backup equipment.

[0121] According to the above analysis, the operators corresponding to each hardware and software unit and logical relationship are determined. The detection and perception device, execution device, and network device are described by two state units A. There is a hardware and software fault transmission between the computing service device and the information comprehensive processing software, which is described by the OB operator. There is a hardware and software fault transmission between the display device and the comprehensive display software, which is described by the OB operator. The system GO diagram is as follows: Figure 3 shown.

[0122] The running time t of each hardware and software unit in the system, the failure rate λ and the formula R(t)=e -λt The calculated reliability is shown in Table 1.

[0123] Table 1 System hardware and software unit fault data table

[0124]

[0125] In addition, computing service devices 1 / 2 form a parallel redundant structure, and the redundant backup system may be affected by a common cause, which is recorded as common cause component group 1 (CCF1). Assume that the common cause failure probability of this common cause component is C1, C1 = 0.02. Similarly, display devices 1 / 2 form common cause component group 2 (CCF2), and assume that its common cause failure probability is C2, C2 = 0.05. Assume that when a computing service device and a display device fail, the probability that the failure is a permanent failure is 0.2, and the probability that it is a temporary failure is 0.8. When a temporary failure occurs, the probability of causing software failure is 0.7.

[0126] The cumulative success probability of signal S1 is calculated as:

[0127] P(S1)=P(B1)=1;

[0128] Among them, P(B1) is the success probability of signal B1, which is assumed to be 1.

[0129] The cumulative success probability of signal S2 is calculated as:

[0130] P(S2)=P(S1)·P(A1)=0.9875;

[0131] The cumulative success probability of signals S4, S5, S6, and S7 is calculated as:

[0132] P(S4)=P(S5)=P(B2)=0.9779

[0133] P(S6)=P(S7)=P(B3)=0.9779;

[0134] The cumulative success probability of calculating signals S8, S9, S10, and S11 is:

[0135] P(S8)=P(S4)·P(A3)=0.9649

[0136] P(S9)=P(S6)·P(A4)=0.9649

[0137] P(S10)=P(S5)·P(A5)=0.8943

[0138] P(S11)=P(S7)·P(A6)=0.8943;

[0139] The cumulative success probability of calculating signals S12 and S13 is:

[0140] P(S12)=1-(1-P(S8))·(1-P(S9))=0.9988

[0141] P(S13)=1-(1-P(S10))·(1-P(S11))=0.9888;

[0142] The cumulative success probability of signal S3 and signal 14 is

[0143] P(S3)=P(S2)·P(S12)·P(O1)+P(S2)·[1-P(S12)]·0.8·0.3·P(O1)=0.9851

[0144] P(S14)=P(S3)·P(S13)·P(O2)+P(S3)·[1-P(S13)]·0.8·0.3·P(O2)=0.9752;

[0145] The cumulative success probability of signal S15 is

[0146] P(S15)=P I (S15)+C1(P CCF10 -P CCF11 )+C2(P CCF20 -P CCF21 );

[0147] Among them, P I (S15) is the cumulative success probability of S15 calculated using the non-common cause failure rate of each software unit;

[0148] P I (S15)=P(S14)·P(A2)=0.9463;

[0149] P CCF10 and P CCF20 are the cumulative success rates of S15 when the success probabilities of common cause component group 1 (CCF1) and common cause component group 2 (CCF2) are 0,

[0150] PCCF10 =0,P CCF20 =0;

[0151] P CCF11 and P CCF21 are the cumulative success rates of S15 when the success probability of common cause component group 1 (CCF1) and common cause component group 2 (CCF2) is 1, respectively;

[0152] P CCF11 =0.9765,P CCF21 =0.9867;

[0153] Therefore, the reliability R of the information system is:

[0154] R=0.9463-0.02×0.9765-0.02×0.9867=0.8775.

[0155] It should be understood that those skilled in the art can make improvements or changes based on the above description, and all these improvements and changes should fall within the scope of protection of the appended claims of the present invention.

Claims

1. A reliability modeling method for a software-defined ship information system based on the GO method, characterized in that: The following steps are involved: 1) Analyze the failure behavior of the ship information system, which includes the fault transmission between software and hardware and the common cause failure of the information system; Among them, fault transmission between software and hardware refers to software fault caused by hardware fault, and common cause fault of information system refers to fault that causes failure of two or more system component units due to common reasons; 2) Obtain modeling operators of the ship information system and establish a GO graph; 2.1) The modeling symbols of the ship information system are defined based on the basic functional operators and logical operators; The details are as follows: 2.1.1) Type A operators; Type A operators simulate a unit with 1 input and 1 output signal. The unit itself has 2 states. When the unit is in normal working state, the signal can pass through and the unit can perform work normally; when the unit is in fault maintenance state, the signal cannot pass through or the unit cannot perform work normally. The simulated unit is represented by A+digital serial number. The steady-state analysis calculation formula corresponding to the type A operator is: Among them, 1 represents the normal state and 2 represents the fault state; P S Indicates that the signal passes, P S (1) represents the probability that the signal can pass, P S (2) represents the probability that the signal cannot pass, P C Indicates the unit performs work, P C (2) represents the probability that the unit cannot perform its work normally; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state; 2.1.2) Type B operators; Type B operators simulate input units in information system modeling. This operator has no input and only one output signal. The steady-state analysis calculation formula corresponding to the type B operator is: Among them, 1 represents the normal state and 2 represents the fault state; P R (1) represents the probability that the unit is in normal working state; P R (2) represents the probability that the unit's working state is a fault state; P C (1) represents the probability that the unit performs its work normally, P C (2) represents the probability that the unit cannot perform its work normally; 2.1.3) Type O operator; The type O operator simulates the state combination unit of the interaction between the input signal state and the component state itself, which is determined according to the actual working conditions of the component; when the combination of the input signal and the component state value meets a given state value combination, there is a corresponding output; when the combination of the input signal and the component state value does not meet the given state value combination, the current state value of the component is output; The input signal S1 includes a normal state and a fault state, and the component state value S2 includes three states: permanent fault, temporary fault and normal; The probability that S2 fault is a permanent fault is p, the probability that S2 fault is a temporary fault is (1-p), and when S2 has a temporary fault, the probability of causing a unit failure is q; Steady-state calculation formula: Among them, P S1 is the state of the input signal, P S2 is the state of the component, P C is the output of the state combination unit; P R (1) represents the probability that the unit is in normal working state; P R (2) represents the probability that the unit's working state is a fault state; P S1 (1) is the probability that the state of the input signal is normal, P S2 (1) represents the probability that the component itself is in a normal state, P S2 (2) represents the probability that the component itself is in a faulty state; P C (1) Indicates the output corresponding to a given combination of state values ​​when the input signal and the state value of the component meet a given combination of state values; 2.1.4) Type I operators; Type I operators are used to simulate the logic unit of the OR gate, which has M input signals and 1 output signal, indicating the logical relationship between input and output. The OR gate describes the logical relationship that there are multiple parallel connections in the information system, and as long as one of the connections is normal, the parallel structure is normal. Steady-state analysis calculation formula: Among them, P Si Represents the input signal Si, P Si (2) represents the probability that the input signal Si is abnormal; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state; 2.1.5) Type J Operator The type J operator is used to simulate the unit of AND gate logic, which has M inputs and 1 output signal, indicating the logical relationship between input and output. The AND gate logic unit describes the logical relationship that if one input signal is abnormal in the information system, the output signal is abnormal. Steady-state analysis calculation formula: Among them, P Si Represents the input signal Si, P Si (1) represents the probability that the input signal Si is normal; P R (1) represents the probability that the unit is in normal working state; P R (2) The probability that the working state of the unit is a fault state; 2.1.6) Type M operators; For type M operators, the definition is as follows: S h and R H They represent the input and output signals of the type M operator, h = 1, 2, ..., H, where S h Represents different functional modes of the same coefficient, R H Represents the output of the integrated system of different functional modes; S h and R H Each has two states, state 1 is the normal state, and state 2 is the fault state. It can describe the logical relationship when there are multiple functional modes in the information system; Steady-state analysis calculation formula: Where P RH (1) R H The probability of success; P RH (2) R H The failure probability P Sh (1) S h probability of success; is the operating frequency of the functional mode; 2.2) Based on the above operators, use the GO method to directly create a GO diagram from the system schematic, flow chart or engineering drawing through system analysis; 3) Verify the established GO graph model; 4) Calculate the reliability of information system based on GO model; The system reliability is calculated based on the success probability of each signal flow in the GO graph model.

2. The reliability modeling method of a ship information system with software definition based on the GO method according to claim 1 is characterized in that: In step 3), during verification, the correct GO graph satisfies the following rules: 3.1) Operators in the GO graph must be marked with their type number and number, and the number is unique. 3.2) There must be at least one input operator in the GO graph; 3.3) The input signal of any operator in the GO graph must be the output signal of another operator. All signal flows are numbered and the numbers are unique. 3.4) The signal flow in the GO diagram should start from the input operator and end at the signal flow representing the system output. The signal flow sequence is not allowed to have loops; 3.5) When the units are connected in series, select operator J; when the units are connected in parallel, select operator I; 3.6) When analyzing multiple functions, select the type M operator for synthesis; 3.7) Operators that take into account the characteristics of software and hardware should choose type O.

3. The reliability modeling method of a ship information system with software definition based on the GO method according to claim 1 is characterized in that: In step 4), the system reliability is calculated according to the success probability of each signal flow in the GO graph model, as follows: 4.1) Calculate the success probability of each signal flow in the system reliability GO graph model. The probability calculation uses the steady-state analysis calculation formula corresponding to the GO model proposed in step 2); 4.2) For the GO method quantitative analysis of complex systems with common cause failure redundant structures, the GO method algorithm with common cause failure is adopted; the specific steps are as follows: The complex system units with common cause failures are divided into common cause failure group units and non-common cause failure group units. The output signal flow of the complex system with m common cause failure groups is the signal flow with m common cause failure groups, denoted as (P SI ;P S10 ,P S11 ;L;P Sm0 ,P Sm1 ), where P SI For non-common cause failure group units, P S10 ,P S11 ;L;P Sm0 ,P Sm1 There are m common cause failure groups. According to the above common cause failure GO algorithm signal flow operation rules, GO operation is performed to obtain (P SI ;P S10 ,P S11 ;L;P Sm0 ,P Sm1 ), then the success probability of the system output, that is, the system reliability is: In the formula, C i is the common cause failure probability of the ith common cause failure group.

4. An electronic device, characterized in that: include: one or more processors; as well as a storage device for storing one or more programs, When the one or more programs are executed by the one or more processors, the one or more processors are caused to perform the method according to any one of claims 1 to 3.

5. A computer-readable storage medium having a computer program stored thereon, characterized in that: When the computer program is executed by a processor, the method according to any one of claims 1 to 3 is implemented.

Images