基于OCL约束建模的嵌入式软件安全性分析

• 作者: 吴振宇 崔红军 黄美锋
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 对象约束语言 约束建模 软件安全性分析 失效模式 模型驱动
• 年，卷（期）: 2018,（6）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 270-278
• 页数: 9页
• 分类号: TP309
• 字数: 11506字
• 语种: 中文

摘要

目前已有多种模型驱动的软件安全性分析方法用于识别软件失效模式和系统危险,但较少将软件安全性约束与模型相结合,难以保证分析充分性与效率.针对该问题,基于对象约束语言(OCL)设计嵌入式软件安全性分析方法.借助OCL表达式对安全性相关的约束关系进行建模,形成OCL约束模型,并将其融入UML模型.在此基础上,结合嵌入式软件特点,依据约束违背原则进行失效模式识别.在某嵌入式发动机控制软件上的应用结果表明,该方法可自动识别软件失效模式,提高模型驱动安全性分析的充分性与效率,同时降低分析工作量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴振宇	中国电子科技集团公司第三十二研究所	4	5	1.0	2.0
2	崔红军	中国电子科技集团公司第三十二研究所	3	1	1.0	1.0
3	黄美锋	中国电子科技集团公司第三十二研究所	1	1	1.0	1.0