占线 发表于 2025-3-25 06:18:39

Software Reliability Improvement Techniquesdealing with the existence and manifestation of faults in software are divided into three categories: .- Fault avoidance/prevention that includes design methodologies to make software provably fault-free .- Fault removal that aims to remove faults after the development stage is completed. This is do

Insensate 发表于 2025-3-25 07:36:02

NuSEE: Nuclear Software Engineering Environmenttion” (Figure 6.1) . V&V tasks are traceable back to the software requirements. A critical software product should be understandable for independent evaluation and testing. The products of all lifecycle phases are also evaluated for software quality attributes, such as correctness, completeness,

蛛丝 发表于 2025-3-25 14:10:26

HUPESS: Human Performance Evaluation Support Systemsed displays, large display panels (LDP), soft controls, a CPS, and an advanced alarm system were applied to APR-1400 (Advanced Power Reactor-1400) . The role of operators in advanced NPPs shifts from a manual controller to a supervisor or a decision-maker and the operator tasks have become

流行 发表于 2025-3-25 18:59:47

http://reply.papertrans.cn/83/8264/826384/826384_24.png

Facilities 发表于 2025-3-25 23:12:05

http://reply.papertrans.cn/83/8264/826384/826384_25.png

侵略 发表于 2025-3-26 00:54:05

http://reply.papertrans.cn/83/8264/826384/826384_26.png

古老 发表于 2025-3-26 04:23:24

http://reply.papertrans.cn/83/8264/826384/826384_27.png

放牧 发表于 2025-3-26 12:13:34

http://reply.papertrans.cn/83/8264/826384/826384_28.png

委托 发表于 2025-3-26 12:46:32

http://reply.papertrans.cn/83/8264/826384/826384_29.png

同音 发表于 2025-3-26 16:48:54

http://reply.papertrans.cn/83/8264/826384/826384_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems; Poong Hyun Seong Book 2009 Springer-Verlag London 2009