期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于OCL约束建模的嵌入式软件安全性分析
被引量：
4
1
作者
崔红军
黄美锋
吴振宇
《计算机工程》
CAS
CSCD
北大核心
2018年第6期270-278,共9页
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性...
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。
展开更多
关键词
对象约束语言
约束建模
软件安全性分析
失效模式
模型驱动
在线阅读
下载PDF
职称材料
软件安全性分析技术在基于通信的列车控制车载子系统中的应用
被引量：
1
2
作者
曹彬
《城市轨道交通研究》
北大核心
2017年第B08期77-80,共4页
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应...
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。
展开更多
关键词
软件安全性分析
基于通信的列车控制
车载子系统
在线阅读
下载PDF
职称材料
题名
基于OCL约束建模的嵌入式软件安全性分析
被引量：
4
1
作者
崔红军
黄美锋
吴振宇
机构
中国电子科技集团公司第三十二研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2018年第6期270-278,共9页
基金
国家部委基金
文摘
目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率。针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法。借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型。在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别。在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量。
关键词
对象约束语言
约束建模
软件安全性分析
失效模式
模型驱动
Keywords
Object Constraint Language（OCL）
constraint modeling
software safety analysis
failure mode
model-driven
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
软件安全性分析技术在基于通信的列车控制车载子系统中的应用
被引量：
1
2
作者
曹彬
机构
上海自仪泰雷兹交通自动化系统有限公司
出处
《城市轨道交通研究》
北大核心
2017年第B08期77-80,共4页
文摘
软件安全性分析是保证软件安全和质量的有效方法之一。介绍了安全关键软件中通用的软件安全性分析技术及流程,并根据其流程对基于通信的列车控制(CBTC)车载子系统从需求、设计、代码和测试等4个层次进行软件安全性分析,获得了良好的应用效果,可供类似安全关键软件的安全性分析作参考。
关键词
软件安全性分析
基于通信的列车控制
车载子系统
Keywords
software safety analysis
CBTC
onboard sub-system
分类号
U284.48 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于OCL约束建模的嵌入式软件安全性分析
崔红军
黄美锋
吴振宇
《计算机工程》
CAS
CSCD
北大核心
2018
4
在线阅读
下载PDF
职称材料
2
软件安全性分析技术在基于通信的列车控制车载子系统中的应用
曹彬
《城市轨道交通研究》
北大核心
2017
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
