%0 Journal Article
%T Surveys of Software Safety<br>软件安全性研究综述
%A FAN Xiao-guang
%A CHU Wen-kui
%A ZHANG Feng-ming
%A <br>樊晓光
%A 褚文奎
%A 张凤鸣
%J 计算机科学
%D 2011
%I 
%X As software is one of the important safety factors in a softwarcintensive and safety-critical system, c. g.,an integrated modular avionics(IMA) system, software safety is to be a mainstream research direction in the crossing fields between software engineering and safety engineering. The paper analysed firstly the meanings and extensions of software safety, and then gave a definition of it. Measuring models of software safety were then discussed. The paper focused on the state-of-the-art of software safety from a software engineering perspective about development processes,designed alternatives, assessment techniques and certification methods. The potential research directions of software safety were finally pointed out.
%K Software factor
%K Software safety
%K Software engineering
%K Safety engineering
%K Systems engineering
%K Safety-crib cal systcm
%K Intcgratcd modular avionics(IMA)<br>安全因子，软件安全性，软件工程，安全工程，系统工程，安全性关键系统，综合航电
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B689AD4638852EF0DDB7715DF66A04DC&yid=9377ED8094509821&vid=16D8618C6164A3ED&iid=94C357A881DFC066&sid=5D311CA918CA9A03&eid=FC0714F8D2EB605D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=59