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

作　　者：蒋长献 

机构地区：[1]南京林洋电力科技有限公司

出　　处：《计算机产品与流通》2020年第11期56-56,共1页

摘　　要：嵌入式软件是计算机系统的重要部分,目前在多个领域有着广泛应用,但其应用效率和质量没有得到更高保障。对于该情况,基于对象需求对嵌入式软件系统进行分析建构,将OCL的软件需求进行扩展,并与嵌入式软件驱动模式相结合,借助约束模型特征以及对其安全性研究的成果进行建模。本文在总结之前系统和技术方面不足的基础上,结合嵌入式软件的特殊性,根据需求领域的相关方面进行扩展融合,构建适用于现代嵌入式技术领域的需求模型。

关 键 词：需求建模 领域需求 自动化 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]