论文摘要
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。
论文目录
文章来源
类型: 期刊论文
作者: 王鹏,吴康,阎芳,汪克念,张啸晨
关键词: 系统理论过程分析方法,软件安全,形式化,模型检验,起落架控制软件
来源: 计算机应用 2019年11期
年度: 2019
分类: 信息科技,基础科学
专业: 非线性科学与系统科学,计算机软件及计算机应用
单位: 航空器适航审定技术重点实验室,中国民航大学适航学院,中国民航大学电子信息与自动化学院
基金: 民用飞机专项科研项目(MJ-2015-J-091)~~
分类号: TP309;TP311.5;N941
页码: 3298-3303
总页数: 6
文件大小: 1380K
下载量: 190
相关论文文献
- [1].软件安全性缺陷测试需求获取与定位[J]. 计算机技术与发展 2019(08)
- [2].提高机载软件安全性的过程保证方法[J]. 航空电子技术 2017(01)
- [3].嵌入式机载软件安全性分析标准、方法及工具研究综述[J]. 软件学报 2014(02)
- [4].一种机载软件安全性需求获取方法[J]. 航空科学技术 2014(09)
- [5].软件安全性测试技术探析[J]. 硅谷 2013(11)
- [6].面向载人航天软件安全性的标准、方法及工具综述[J]. 载人航天 2012(03)
- [7].基于系统理论过程分析的软件安全性需求分析与验证方法[J]. 计算机应用 2020(11)
- [8].应用软件安全性评价方法的有效性研究[J]. 西部皮革 2016(24)
- [9].嵌入式机载软件安全性分析标准、方法及工具研究综述[J]. 科技经济市场 2017(06)
- [10].关于软件安全性测试方法研究[J]. 科技致富向导 2014(02)
- [11].关于软件安全性测试方法研究[J]. 计算机光盘软件与应用 2013(21)
- [12].国内外医疗器械软件安全性评价方法比较研究[J]. 医学信息(中旬刊) 2011(04)
- [13].软件安全性测试方法与工具[J]. 计算机工程与设计 2008(01)
- [14].一种基于威胁模型的软件安全性测试需求框架研究[J]. 通信技术 2020(09)
- [15].软件安全性测试技术研究[J]. 计算机安全 2014(06)
- [16].浅谈关于软件安全性测试方法研究[J]. 电脑知识与技术 2009(09)
- [17].软件安全性测试方法研究[J]. 微计算机信息 2008(03)
- [18].基于软件工程思想的软件安全性保障框架研究[J]. 电脑知识与技术 2009(31)
- [19].面向软件安全性需求分析过程的追踪模型[J]. 计算机科学 2017(04)
- [20].开放网络环境下软件安全性测试技术研究[J]. 计算机测量与控制 2017(08)
- [21].基于模型检验提高软件安全性的方法探究[J]. 电脑编程技巧与维护 2015(20)
- [22].软件安全性需求提取方法研究综述[J]. 指挥信息系统与技术 2011(01)
- [23].软件安全性设计方法概述[J]. 信息系统工程 2010(11)
- [24].航空机载软件安全性测试技术研究[J]. 计算机测量与控制 2010(05)
- [25].软件安全性与可靠性分析技术研究[J]. 计算机测量与控制 2012(11)
- [26].基于SFMEA的机载软件安全性需求提取方法研究[J]. 航空标准化与质量 2019(05)
- [27].基于RUCM的软件安全性需求描述方法[J]. 计算机科学 2015(12)
- [28].软件安全性可靠性专题评述[J]. 信息安全研究 2018(11)
- [29].多媒体后期处理软件安全性能测试方法研究[J]. 安阳工学院学报 2020(06)
- [30].一种基于Markov的装备软件安全性量化方法[J]. 信息工程大学学报 2017(06)
标签：系统理论过程分析方法论文; 软件安全论文; 形式化论文; 模型检验论文; 起落架控制软件论文;