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

  本文关键词：基于状态事件故障树的软件安全性分析方法研究，由笔耕文化传播整理发布。

《小型微型计算机系统》 2016年01期

投稿

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

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

【作者单位】： 南京航空航天大学计算机科学与技术学院;
【关键词】：
【基金】： 江苏省普通高校研究生科研创新计划资助项目 中央高校基本科研业务费专项资金项目(CXZZ11_0218)资助
【分类号】：TP309;TP311.52
【正文快照】：

1引言嵌入式系统在航空航天、交通以及工业控制等安全关键领域的广泛应用使得对其进行安全性分析成为系统开发过程中的重要部分[1].随着软件体系结构越来越复杂,软件的规模越来越庞大(嵌入式系统更是如此),软件和硬件的交互越来越广泛,软硬件故障引起的安全事故频发,带来不可

下载全文 更多同类文献

PDF全文下载

CAJ全文下载

(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

【相似文献】

中国期刊全文数据库 前10条

1 牛爱民;叶东升;;[J];计算机工程与设计;2007年20期

2 樊晓光;褚文奎;张凤鸣;;[J];计算机科学;2011年05期

3 王纬;[J];质量与可靠性;1992年03期

4 周新蕾;[J];质量与可靠性;2005年03期

5 张永进;;[J];科学技术与工程;2007年09期

6 孟祥宏;;[J];电脑知识与技术(学术交流);2007年11期

7 金力;江建慧;楼俊钢;;[J];计算机应用与软件;2011年04期

8 金英;刘鑫;张晶;;[J];计算机科学;2011年05期

9 李仁见;董威;董龙明;吴学光;;[J];载人航天;2012年03期

10 何鑫;刘畅;郑军;;[J];计算机测量与控制;2012年11期

中国重要会议论文全文数据库 前2条

1 郭瑞杰;宫云战;杨朝红;;[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

2 高传平;赵利军;谈利群;;[A];第27次全国计算机安全学术交流会论文集[C];2012年

中国重要报纸全文数据库 前1条

1 山东 张晓华;[N];电脑报;2010年

中国硕士学位论文全文数据库 前8条

1 申光耀;[D];北京信息控制研究所;2005年

2 李凌志;[D];吉林大学;2009年

3 姜超;[D];长春理工大学;2011年

4 王若男;[D];大连理工大学;2013年

5 王乐;[D];西安电子科技大学;2014年

6 刘大材;[D];北京交通大学;2010年

7 刘鑫;[D];吉林大学;2011年

8 李柏岚;[D];上海交通大学;2011年

  本文关键词：基于状态事件故障树的软件安全性分析方法研究，由笔耕文化传播整理发布。