计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2013年
2期
257-260
,共4页
马琳%黄志球%徐丙凤%陈哲
馬琳%黃誌毬%徐丙鳳%陳哲
마림%황지구%서병봉%진철
故障树分析%时序逻辑%模型检测%安全属性
故障樹分析%時序邏輯%模型檢測%安全屬性
고장수분석%시서라집%모형검측%안전속성
论文运用时序逻辑对传统故障树进行形式化规约,并从中抽取出描述软件安全属性的时序逻辑公式,来支持对安全关键软件的模型检测.文章以对某一机载控制系统软件数据交互模块的模型检测为案例研究,实验结果证明本文提出方法有效.
論文運用時序邏輯對傳統故障樹進行形式化規約,併從中抽取齣描述軟件安全屬性的時序邏輯公式,來支持對安全關鍵軟件的模型檢測.文章以對某一機載控製繫統軟件數據交互模塊的模型檢測為案例研究,實驗結果證明本文提齣方法有效.
논문운용시서라집대전통고장수진행형식화규약,병종중추취출묘술연건안전속성적시서라집공식,래지지대안전관건연건적모형검측.문장이대모일궤재공제계통연건수거교호모괴적모형검측위안례연구,실험결과증명본문제출방법유효.