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

摘要：

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

关键词：对象约束语言、约束建模、软件安全性分析、失效模式、模型驱动

所属期刊栏目：44

分类号：TP309(计算技术、计算机技术)

资助基金：国家部委基金

在线出版日期：2018-11-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：270-278