A Fuzzy Model of Safety-critical Software Safety Evaluation

Abstract

Abstract: A fuzzy model of safety-critical software safety evaluation is presented by utilizing subjective judgments of objective hazardous failure in a software testing process for fuzzy inferences. It achieves qualitative safety evaluation of safety-critical software, and is demonstrated by a simulation example.

摘要： 提出了一种安全软件安全性评估的模糊模型，利用软件测试过程中的客观危险失效的主观评价进行模糊推理，实现了安全软件安全性的一种定性评估，并通过仿真实例给予说明。

关键词: 安全软件, 安全性评估, 风险, 模糊模型

CLC Number:

TP309

WANG Tiejiang, LI Meng. A Fuzzy Model of Safety-critical Software Safety Evaluation[J]. , 2003, 29(06): 24-26.

王铁江,郦萌. 一种安全软件安全性评估的模糊模型[J]. , 2003, 29(06): 24-26.

[1]	YUAN Huanyu, FU Jianming. Cryptographic Function Identification in Android Applications Based on Function Hooking [J]. Computer Engineering, 2026, 52(11): 250-259.
[2]	GUO Ziyun, TIAN Youliang, LI Mengqian. Adaptive Privacy-Preserving Federated Learning Scheme Based on Incentive Mechanism [J]. Computer Engineering, 2026, 52(11): 269-283.
[3]	XIE Qingqing, LIU Yuanyuan. Reference-Based Network Phishing Detection Scheme Using Large Language Model [J]. Computer Engineering, 2026, 52(11): 295-307.
[4]	SUN Tanbo, ZHONG Shuai, HU Xin'ao, WANG Liping. A Survey on Image Tampering Detection Technology Based on Tampering Features [J]. Computer Engineering, 2026, 52(11): 43-72.
[5]	LI Zaidong, CHEN Yuling, WANG Xuewei, LUO Yun. Interactive Ciphertext Expansion for Dynamic Multi-Key Fully Homomorphic Encryption [J]. Computer Engineering, 2026, 52(11): 284-294.
[6]	YANG Xiaodong, LI Muzi, MA Guozu, LI Songyu, WANG Caifen. Certificateless Anonymous Authentication Scheme Supporting Illegal Signatures Localization for Internet of Vehicles [J]. Computer Engineering, 2024, 50(6): 157-165.
[7]	WANG Dong, WANG Hejian, XUAN Jiaxing, ZHENG Shangzhuo, CHEN Bingcong. Blockchain Privacy-Traceable Deposit Scheme for Power-Dispatch Instructions [J]. Computer Engineering, 2024, 50(5): 158-166.
[8]	WANG Yiliang, ZHOU Peng, YE Wei, QI Weiqiang. Non-Intrusive Load Monitoring and Its Privacy-Preserving Scheme Based on Pyramid Network [J]. Computer Engineering, 2024, 50(5): 182-189.
[9]	XIONG Shiqiang, HE Daojing, WANG Zhendong, DU Runmeng. Review of Federated Learning and Its Security and Privacy Protection [J]. Computer Engineering, 2024, 50(5): 1-15.
[10]	DING Xiaohui, CAO Suzhen, WANG Caifen. Smart Contract-Assisted Dynamically Searchable Encryption Scheme with Forward and Backward Security [J]. Computer Engineering, 2022, 48(7): 141-150.
[11]	JIN Haibo, ZHAO Xinyue. High-Reliability Intrusion Detection Algorithm Under Conformal Prediction Framework [J]. Computer Engineering, 2022, 48(7): 130-140.
[12]	ZHANG Chao, PENG Changgen, DING Hongfa, XU Dequan. Searchable Encryption Scheme Based on China State Cryptography Standard SM9 [J]. Computer Engineering, 2022, 48(7): 159-167.
[13]	YE Qing, ZHAO Nannan, ZHAO Zongqu, QIN Panke, YAN Xixi, TANG Yongli. Efficient Fully Dynamic Group Signature Scheme from Lattice [J]. Computer Engineering, 2021, 47(2): 160-167,175.
[14]	JI Lusheng, ZHANG Guiling, YANG Jiarun. Off-Chain Personal Data Protection Scheme Based on Blockchain [J]. Computer Engineering, 2021, 47(2): 176-181,187.
[15]	ZHANG Jing, HE Zheng, GE Binghui, TANG Yongli, YE Qing. An Efficient Protocol for Millionaires' Problem and Its Application [J]. Computer Engineering, 2021, 47(2): 168-175.

Please choose a citation manager

Content to export