电光与控制
電光與控製
전광여공제
ELECTRONICS OPTICS & CONTROL
2012年
6期
53-57
,共5页
郭蕾%褚文奎%田松%张凤鸣
郭蕾%褚文奎%田鬆%張鳳鳴
곽뢰%저문규%전송%장봉명
安全关键软件%安全性需求%层次分析法%软件安全性%基于模型的开发
安全關鍵軟件%安全性需求%層次分析法%軟件安全性%基于模型的開髮
안전관건연건%안전성수구%층차분석법%연건안전성%기우모형적개발
软件需求缺陷特别是关于系统安全性方面的需求缺陷已逐渐成为导致飞机等安全关键系统发生事故的主要根源.在基于模型的软件开发中,有效管理开发出来的软件需求将有助于解决这一问题.为避免软件需求的无序性导致软件需求缺陷特别是安全性需求缺陷的生成,在借鉴层次分析法的有关思想基础上,提出了层次化管理安全关键软件需求的思路,构建了安全关键软件的需求递阶层次结构.该结构按照目的、准则、方案三层将软件需求有序组织在一起,不仅明确表达了不同层次软件需求之间的关系,有助于保证软件需求的一致性、可溯性,而且说明了软件安全性需求与危险场景之间的关系,有助于预防安全性需求缺陷,从而可以有效规避软件安全性问题.
軟件需求缺陷特彆是關于繫統安全性方麵的需求缺陷已逐漸成為導緻飛機等安全關鍵繫統髮生事故的主要根源.在基于模型的軟件開髮中,有效管理開髮齣來的軟件需求將有助于解決這一問題.為避免軟件需求的無序性導緻軟件需求缺陷特彆是安全性需求缺陷的生成,在藉鑒層次分析法的有關思想基礎上,提齣瞭層次化管理安全關鍵軟件需求的思路,構建瞭安全關鍵軟件的需求遞階層次結構.該結構按照目的、準則、方案三層將軟件需求有序組織在一起,不僅明確錶達瞭不同層次軟件需求之間的關繫,有助于保證軟件需求的一緻性、可溯性,而且說明瞭軟件安全性需求與危險場景之間的關繫,有助于預防安全性需求缺陷,從而可以有效規避軟件安全性問題.
연건수구결함특별시관우계통안전성방면적수구결함이축점성위도치비궤등안전관건계통발생사고적주요근원.재기우모형적연건개발중,유효관리개발출래적연건수구장유조우해결저일문제.위피면연건수구적무서성도치연건수구결함특별시안전성수구결함적생성,재차감층차분석법적유관사상기출상,제출료층차화관리안전관건연건수구적사로,구건료안전관건연건적수구체계층차결구.해결구안조목적、준칙、방안삼층장연건수구유서조직재일기,불부명학표체료불동층차연건수구지간적관계,유조우보증연건수구적일치성、가소성,이차설명료연건안전성수구여위험장경지간적관계,유조우예방안전성수구결함,종이가이유효규피연건안전성문제.
