面向领域的可信嵌入式软件系统试验验证环境研究

软件可信性是系统层次的概念，如何对现有专注于软件开发生命周期某一阶段的传统方法和技术进行有效集成，形成对软件可信性的整体评估，是目前亟待解决的问题。此外，软件可信性评估与领域紧密相关，应用于不同领域的软件系统因其自身固有特性，在软件可信性评估上具有不同的侧重点。.本课题以嵌入式软件系统为应用载体，研究面向特定领域的软件可信建模验证方法与技术，基于领域知识有效抽取可信需求、降低可信建模难度和提高可信验证有效性。研究设计和开发能够将可信需求描述、软件行为建模以及可信验证等各阶段有效综合的集成建模验证工具，并在典型嵌入式软件系统案例上进行检验，展示研究成果的集成效果。