软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
2期
200-218
,共19页
黄志球%徐丙凤%阚双龙%胡军%陈哲
黃誌毬%徐丙鳳%闞雙龍%鬍軍%陳哲
황지구%서병봉%감쌍룡%호군%진철
嵌入式软件%机载软件安全性%适航认证%安全性分析%软件工具
嵌入式軟件%機載軟件安全性%適航認證%安全性分析%軟件工具
감입식연건%궤재연건안전성%괄항인증%안전성분석%연건공구
embedded software%airborne software safety%airworthiness certification%safety analysis%software tool
嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行综述.首先,对机载软件领域所采用的软件安全性相关的标准进行简介,并给出机载软件安全性分析框架;其次,从机载软件安全性分析框架出发,将机载软件安全性保障方法划分为3个方面,即,机载软件安全需求的提取与规约、面向标准的机载软件开发、机载软件安全需求验证.对这3个方面的现有研究工作以及工业应用进行了综述;然后,针对当前适航标准的要求对机载软件安全性保证过程中软件安全证据的收集方面的研究工作进行了总结;最后,提出机载软件安全性领域存在的挑战和未来的研究方向.
嵌入式軟件在安全關鍵繫統中的應用,使得保障軟件安全性成為軟件工程領域的研究熱點之一.以典型嵌入式軟件繫統機載軟件為基礎,對機載軟件安全性保障的標準、方法及工具進行綜述.首先,對機載軟件領域所採用的軟件安全性相關的標準進行簡介,併給齣機載軟件安全性分析框架;其次,從機載軟件安全性分析框架齣髮,將機載軟件安全性保障方法劃分為3箇方麵,即,機載軟件安全需求的提取與規約、麵嚮標準的機載軟件開髮、機載軟件安全需求驗證.對這3箇方麵的現有研究工作以及工業應用進行瞭綜述;然後,針對噹前適航標準的要求對機載軟件安全性保證過程中軟件安全證據的收集方麵的研究工作進行瞭總結;最後,提齣機載軟件安全性領域存在的挑戰和未來的研究方嚮.
감입식연건재안전관건계통중적응용,사득보장연건안전성성위연건공정영역적연구열점지일.이전형감입식연건계통궤재연건위기출,대궤재연건안전성보장적표준、방법급공구진행종술.수선,대궤재연건영역소채용적연건안전성상관적표준진행간개,병급출궤재연건안전성분석광가;기차,종궤재연건안전성분석광가출발,장궤재연건안전성보장방법화분위3개방면,즉,궤재연건안전수구적제취여규약、면향표준적궤재연건개발、궤재연건안전수구험증.대저3개방면적현유연구공작이급공업응용진행료종술;연후,침대당전괄항표준적요구대궤재연건안전성보증과정중연건안전증거적수집방면적연구공작진행료총결;최후,제출궤재연건안전성영역존재적도전화미래적연구방향.