一种基于状态事件故障树的软件安全性分析方法研究

作     者：王思琪 黄志球 黄传林 陈光颖 潘诚 WANG Si-qi;HUANG Zhi-qiu;HUANG Chuan-lin;CHEN Guang-ying;PAN Cheng

作者机构：南京航空航天大学计算机科学与技术学院南京211100 

基　　金：国家自然科学基金项目(61100034 61170043)资助 江苏省普通高校研究生科研创新计划资助项目 中央高校基本科研业务费专项资金项目(CXZZ11_0218)资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2016年第37卷第1期

页      码：12-17页

摘      要：目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能失效因果关系的建模技术,统一了功能建模和故障分析;但是,由于其缺乏精确语义,难以直接进行软件的安全性分析.为此,提出一种基于状态事件故障树的软件安全性分析方法:首先,通过元素映射以及逻辑门转换,将状态事件故障树扩展为附加故障语义信息的故障状态机;然后,将故障状态机转换到时间自动机;最后,在模型检测工具UPPAAL下进行安全性测试反例分析.本文使用燃气灶控制系统的实例进行分析.

主 题 词：安全关键软件 状态事件故障树 状态机 时间自动机 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203150468...