Concepedia

Nuclear safety-critical Digital Instrumentation and Control system software: Reliability demonstration

Jia Guo, Ming Yang, Bowen Zou, Yuxin Zhang, Jun Yang, Xinyu Dai

Annals of Nuclear Energy · 2018 · 13 citations · 10 references

Concepts

EngineeringNuclear EngineeringSystems EngineeringInstrumentationNuclear InstrumentationSafety EngineeringFunctional SafetyRadiation Monitoring SystemsReactor InstrumentationReactor Protection SystemsSafety-critical Embedded SystemsSafety-critical SystemsDigital Reactor Control SystemsDigital Reactor Protection SystemsFail-safe MechanismsFault Detection In InstrumentationReal-time Neutron MonitoringReliability Demonstration TestingSafety Instrumentation

References

10

Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures

Amrit L. Goel, Kazu Okumoto · IEEE Transactions on Reliability · 1979 · 1.8K citations

Engineering, Computer Engineering, Computer Science +16

Black Box Testing: Techniques for Functional Testing of Software and Systems

Boris Beizer, J. C. Wiley · IEEE Software · 1996 · 453 citations

Computing, Computer Engineering, Computer Science +14

Black-box testing: Techniques for functional testing of software and systems

John W. Horch · Control Engineering Practice · 1996 · 199 citations

Computing, Computer Engineering, Computer Science +11

Probabilistic Reactor Dynamics—I: The Theory of Continuous Event Trees

J. Devooght, Carol Smidts · Nuclear Science and Engineering · 1992 · 150 citations

Engineering, Nuclear Engineering, Physics +17

The development and application of the accident dynamic simulator for dynamic probabilistic risk assessment of nuclear power plants

Kae-Sheng Hsueh, Ali Mosleh · Reliability Engineering & System Safety · 1996 · 143 citations

Engineering, Nuclear Engineering, Risk Management +16