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

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