A Positioning Method of Safety Critical Function Based on FTA and FDG

doi:10.3969/j.issn.1006-2475.2016.04.017

Abstract

Abstract:

The common method of software safety testing focuses on the systemlevel testing and pays less attention to the unit testing, at the same time, there aren’t enough methods to search the safety critical function. The positioning method of the safety critical function based on FTA and FDG is used to solve these problems, which provides foundation to the unit safety testing. The fault tree analysis method is used to obtain the basic event of hazard. According to the basic event, the corresponding relationship between the basic events and the operation of the software is established. Based on function dependence graph, the correspondence between the function and the software operation is established. It ensures the safety critical function through the relationship of the basic events, software operation and function, and the important degree of function.

Key words:

text-indent: 21pt">safety testing, fault tree analysis, function dependence graph, safety critical function, hazard

CLC Number:

TP311.5

JI Zhong-xiao, JIANG Guo-hua.

A Positioning Method of Safety Critical Function Based on FTA and FDG[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2016.04.017.

References

［1］刘健,赵莹,曲明哲,等. 浅析智能停车场的应用与发展［J］. 赤子, 2014(3):237.

［2］ Irani Z, Gunasekaran A, Dwivedi Y K. Radio frequency identification (RFID): Research trends and framework［J］. International Journal of Production Research, 2010,48(9):2485-2511.
［3］ Wang Dasheng. Working principle of electronic media in library RFID management system and its application［C］// Proceedings of the 3rd International Conference on Applied Social Science. 2013.

［4］李宏佳,魏权利,徐晓晓,等. 基于非接触IC卡自动计时停车收费系统设计开发［J］. 微计算机信息, 2007,23(29):28-29.

［5］刘文利. 国内停车场管理系统的现状与发展趋势［J］. 中国新技术新产品, 2011(1):20.

［6］于光华. 非接触IC卡停车场管理系统［D］. 长春:吉林大学, 2004.

［7］张雪. 基于蓝牙的室内智能停车场管理系统设计［D］. 赣州:江西理工大学, 2013.
［8］王晗. 基于物联网技术的停车场车辆智能导航系统［D］. 长春:长春理工大学, 2014.

［9］梁宗保,李鹏. 基于ZigBee技术的无线传感器网络网关设计与实现［J］. 计算机与现代化, 2013(6):133-137.

［10］Sun Maoheng, Qian Yicheng. Study and application of security based on ZigBee standard［C］// Proceedings of the 3rd International Conference on Multimedia Information Networking and Security. 2011:508-511.

［11］Hong K, Lee S, Lee K. Performance improvement in ZigBee-based home networks with coexisting WLANs［J］. Pervasive and Mobile Computing, 2014,19(3):156-166.

［12］段甜,梁海燕. 浅析Wi-Fi网络技术与发展［J］. 商, 2014(5):159.

［13］Chieochan S, Hossain E. Network coding for unicast in a WiFi hotspot: Promises, challenges, and testbed implementation［J］. Computer Networks, 2012,56(12):2963-2980.

［14］王娟,郭家奇,刘微. WIFI技术的深入探讨与研究［J］. 价值工程, 2011,30(6):91-92.

［15］林清岩. 智能交通中车辆最优路径规划策略研究［D］. 长春:吉林大学, 2013.

［16］廖远. 一对一最短路径算法研究及车载导航系统设计［D］. 南昌:南昌大学, 2012.
［17］何小锋,马良. 带时间窗车辆路径问题的量子蚁群算法［J］. 系统工程理论与实践, 2013,33(5):1255-1261.

[1]	LI Jin-hua1, ZHEN Hui2, HUANG Hai1, YAO Jian3. Android Client for Dynamic ECG Monitoring System Based on BLE [J]. Computer and Modernization, 2016, 0(4): 114-122.
[2]	WANG Xiao-xi1, WU Gang1, WANG Hao2. Architecture Design and Business Implementation of High Concurrency High Availability Retail O2O Trade System [J]. Computer and Modernization, 2016, 0(4): 100-108.
[3]	HU Lei， JIANG Guo-hua. A Control Method of Runtime Verification Overhead Based on Prediction [J]. Computer and Modernization, 2016, 0(4): 94-99.
[4]	ZHU Ya-hui, CHEN Dan, ZHUANG Yi. Virtual Machine Scheduling Algorithm Based on Energy-Aware in Cloud Data Center [J]. Computer and Modernization, 2016, 0(4): 74-78.
[5]	CAI Yi-qing, ZHANG Ya, ZHANG Song. Design of Magazine Counter Based on MSP430F149 [J]. Computer and Modernization, 2016, 0(4): 50-53.
[6]	ZHAI Shi-wei1， SHEN Shi-gen2,3， CAO Qi-ying1. Wireless Mesh Networks Admission Control Based on Non-Cooperative Game [J]. Computer and Modernization, 2016, 0(4): 45-49+78.
[7]	CHEN Shu，WANG Ming-jia. An Equally Distributed Cluster Heads Algorithm Based on Fuzzy Logic [J]. Computer and Modernization, 2016, 0(4): 40-44+58.
[8]	LIU Zhi-peng1, YUAN Min2. An Improved Indoor Positioning Method Based on WiFi Fingerprinting [J]. Computer and Modernization, 2016, 0(4): 36-39.
[9]	MA Ming-yang. SMS Encryption Scheme for Smartphones Based on Trusted Hardware [J]. Computer and Modernization, 2016, 0(4): 29-35.
[10]	XING Ni-zhou, WANG Li-song. Safety Analysis and Verification on Civil Aviation Business System [J]. Computer and Modernization, 2014, 0(10): 46-51,65.
[11]	WANG Li-ming;MA Nai-cang;ZHU Hua-yuan;JIA Xiang-jun;WANG Ling-zhi;PAN Ming. Research on Association Fault Equipment Determination Method Based on FTA [J]. Computer and Modernization, 2013, 1(7): 73-075,.
[12]	WANG Li-ming;MA Nai-cang;ZHU Hua-yuan;SUN Ming-li;ZHANG Zong-yu. Study on Logic Decision Method of Making Military Aircraft Minimum Technique Flight Condition [J]. Computer and Modernization, 2012, 1(10): 200-201,.