[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Pradana et al., 2019 - Google Patents

Software reliability growth model for FPGA-based safety critical software system

Pradana et al., 2019

View PDF
Document ID
8349593327713968929
Author
Pradana S
Jung J
Publication year
Publication venue
Transactions of the Korean Nuclear Society Spring Meeting Jeju, Korea

External Links

Snippet

In the NPP design, FPGA technology is mainly applied for safety critical I&C systems such as the Reactor Protection System (RPS). Recently The FPGA technology is more and more extensively applied both for the new NPP I&C system design and for updating the obsolete …
Continue reading at www.kns.org (PDF) (other versions)

Classifications

    • 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/3668—Software testing
    • G06F11/3672—Test management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3457—Performance evaluation by simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3466—Performance evaluation by tracing or monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3409—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation; Recording or statistical evaluation of user activity, e.g. usability assessment for performance assessment
    • 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
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring

Similar Documents

Publication Publication Date Title
KR102759233B1 (en) Device and method for safety analysis assessment in data-driven workflows
Authen et al. Reliability analysis of digital systems in a probabilistic risk analysis for nuclear power plants
Alfonsi et al. RAVEN and dynamic probabilistic risk assessment: Software overview
Kim et al. Quantification of performance shaping factors (PSFs)’weightings for human reliability analysis (HRA) of low power and shutdown (LPSD) operations
Kang et al. Development of a Bayesian belief network model for software reliability quantification of digital protection systems in nuclear power plants
Chu et al. Review of quantitative software reliability methods
Rejc et al. An extension of Multiple Greek Letter method for common cause failures modelling
Jones et al. Application of a usage profile in software quality models
Pradana et al. Software reliability growth model for FPGA-based safety critical software system
Jun et al. Markov/CCMT: towards an integrated platform for dynamic reliability and risk analysis
Rehmert et al. Availability analysis for the quasi-renewal process
Chopra et al. A non-parametric approach for survival analysis of component-based software
Levitin A universal generating function in the analysis of multi-state systems
Kadam et al. Increases the Reliability of Software using Enhanced Non Homogenous Poisson Process (EHPP), Functional Point and Test Point Analysis
Nagappan et al. Using in-process testing metrics to estimate post-release field quality
Park Performance Attributes Analysis of NHP-Based Software Development Cost Model With Inverse-Type Distribution Properties
Yadu et al. A review on software testing tools and techniques
Seo et al. Experimental approach to evaluate software reliability in hardware-software integrated environment
CN111339627A (en) Computational fluid dynamics analysis anomaly prediction system and method
Arndt et al. Lessons Learned from the US Nuclear Regulatory Commission’s Digital System Risk Research
Zhou et al. Dynamic fault tree analysis based on dynamic uncertain causality graph
Damm et al. Determining the improvement potential of a software development organization through fault analysis: A method and a case study
Park Dynamic hra for flex
Ábrahám et al. Decision supporting tool for scheduling of production processes considering human factors
Prasad et al. Measurement of Software Reliability Using Sequential Bayesian Technique