Nothing Special   »   [go: up one dir, main page]

Lee et al., 2018 - Google Patents

Development of simulation-based testing environment for safety-critical software

Lee et al., 2018

View HTML
Document ID
7535140416630341091
Author
Lee S
Lee S
Park J
Lee E
Kang H
Publication year
Publication venue
Nuclear Engineering and Technology

External Links

Snippet

Recently, a software program has been used in nuclear power plants (NPPs) to digitalize many instrumentation and control systems. To guarantee NPP safety, the reliability of the software used in safety-critical instrumentation and control systems must be quantified and …
Continue reading at www.sciencedirect.com (HTML) (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
    • G06F11/3676—Test management for coverage analysis
    • 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
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • 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/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/57—Certifying or maintaining trusted computer platforms, e.g. secure boots or power-downs, version controls, system software checks, secure updates or assessing vulnerabilities
    • G06F21/577—Assessing vulnerabilities and evaluating computer system security
    • G—PHYSICS
    • G21—NUCLEAR PHYSICS; NUCLEAR ENGINEERING
    • G21D—NUCLEAR POWER PLANT
    • G21D3/00—Control of nuclear power plant
    • G21D3/001—Computer implemented control
    • 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/0256—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 injecting test signals and analyzing monitored process response, e.g. injecting the test signal while interrupting the normal operation of the monitored system; superimposing the test signal onto a control signal during normal operation of the monitored system

Similar Documents

Publication Publication Date Title
Lee et al. Development of simulation-based testing environment for safety-critical software
Jee et al. Automated test case generation for FBD programs implementing reactor protection system software
Bao et al. An integrated risk assessment process for digital instrumentation and control upgrades of nuclear power plants
Lee et al. Exhaustive testing of safety-critical software for reactor protection system
Cai et al. Quantitative software reliability assessment methodology based on Bayesian belief networks and statistical testing for safety-critical software
Ourghanlian Evaluation of static analysis tools used to assess software important to nuclear power plant safety
Muhlheim et al. Technical Basis for Evaluating Software-Related Common-Cause Failures
Babu et al. A hybrid approach to quantify software reliability in nuclear safety systems
Ahmed et al. Design verification enhancement of field programmable gate array-based safety-critical I&C system of nuclear power plant
Holmberg et al. Safety case framework to provide justifiable reliability numbers for software systems
Park et al. Smart sensing of the RPV water level in NPP severe accidents using a GMDH algorithm
Khalaquzzaman et al. Estimation of reactor protection system software failure probability considering undetected faults
Pakonen Model-checking I&C logics—insights from over a decade of projects in Finland
Koh et al. SMV model-based safety analysis of software requirements
Leea et al. Development of Software Test-based Reliability Assessment Method for Nuclear Power Plant Safety-critical Software
Mayaka et al. Complexity reduction of the Engineered Safety Features Component Control System
Kim et al. Input-domain software testing for failure probability estimation of safety-critical applications in consideration of past input sequence
Bläsius et al. Quality Management, Verification, and Validation of Structure Mechanical Computer Codes at GRS
Seo et al. Experimental approach to evaluate software reliability in hardware-software integrated environment
Amicucci et al. Reliability analysis of nuclear instrumentation and control systems
Lee Development of safety-critical software exhaustive testing framework for nuclear power plant digital i&c system
Kuball et al. A discussion of statistical testing on a safety-related application
Sang Hun et al. Development of Software Testing Environment for Safety-critical Software Reliability Quantification
Shin et al. Test based reliability assessment method for a safety critical software in reactor protection system
Jung Improved design architecture to minimize functional complexity of plant protection system for nuclear power plant