Jyotish et al., 2023 - Google Patents
Reliability and performance measurement of safety-critical systems based on petri nets: a case study of nuclear power plantJyotish et al., 2023
View PDF- Document ID
- 13651254692377868527
- Author
- Jyotish N
- Singh L
- Kumar C
- Singh P
- Publication year
- Publication venue
- IEEE Transactions on Reliability
External Links
Snippet
Safety-critical systems (SCSs) mitigate the risk of catastrophic loss of assets and hence do have high dependability targets. Performance and reliability are the critical dependability attributes, particularly in control and safety systems, and hence essential to measure to …
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5009—Computer-aided design using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3604—Software analysis for verifying properties of programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
- G06Q10/063—Operations research or analysis
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N99/00—Subject matter not provided for in other groups of this subclass
- G06N99/005—Learning machines, i.e. computer in which a programme is changed according to experience gained by the machine itself during a complete run
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N5/00—Computer systems utilising knowledge based models
- G06N5/02—Knowledge representation
- G06N5/022—Knowledge engineering, knowledge acquisition
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computer systems based on specific mathematical models
- G06N7/005—Probabilistic networks
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Maurya et al. | Reliability of safety‐critical systems: A state‐of‐the‐art review | |
| Huang et al. | A review of the application of artificial intelligence to nuclear reactors: Where we are and what's next | |
| Zio | Integrated deterministic and probabilistic safety assessment: concepts, challenges, research directions | |
| Aslansefat et al. | Dynamic fault tree analysis: state-of-the-art in modeling, analysis, and tools | |
| Marseguerra et al. | A concept paper on dynamic reliability via Monte Carlo simulation | |
| Jyotish et al. | Reliability and performance measurement of safety-critical systems based on petri nets: a case study of nuclear power plant | |
| Merle et al. | Quantitative analysis of dynamic fault trees based on the coupling of structure functions and Monte Carlo simulation | |
| US10997513B1 (en) | Dynamic, risk informed decision support systems and methods | |
| Aizpurua et al. | Improved dynamic dependability assessment through integration with prognostics | |
| Jyotish et al. | Reliability and performance evaluation of safety-critical instrumentation and control systems of nuclear power plant | |
| Tripathi et al. | A comparative study on reliability analysis methods for safety critical systems using Petri-nets and dynamic flowgraph methodology: A case study of nuclear power plant | |
| Kumar et al. | Suitability analysis of software reliability models for its applicability on NPP systems | |
| Gaurav et al. | Intelligent fault monitoring and reliability analysis in safety–critical systems of nuclear power plants using SIAO-CNN-ORNN | |
| Cai et al. | Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software | |
| Bozzano et al. | Formal Methods for Aerospace Systems: Achievements and Challenges | |
| Kim et al. | Consider the consequences: A risk assessment approach for industrial control systems | |
| Jyotish et al. | Reliability assessment of safety-critical systems of nuclear power plant using ordinary differential equations and reachability graph | |
| Jyotish et al. | Batch deterministic and stochastic petri nets modeling for reliability quantification for safety critical systems of nuclear power plants | |
| Jiang et al. | A hybrid computing framework for risk‐oriented reliability analysis in dynamic PSA context: A case study | |
| Noll | Safety, dependability and performance analysis of aerospace systems | |
| Kumar et al. | Availability analysis of safety-critical and control systems of NPP using stochastic modeling | |
| Park et al. | Verification strategy for artificial intelligence components in nuclear plant instrumentation and control systems | |
| Singh et al. | Impact analysis of change in component reliabilities in safety‐critical systems | |
| Qiu et al. | An implicit method for probabilistic common-cause failure analysis using Bayesian Network | |
| Lin et al. | Development and assessment of data-driven digital twins in a nearly autonomous management and control system for advanced reactors |