软件可信性是系统层次的概念,如何对现有专注于软件开发生命周期某一阶段的传统方法和技术进行有效集成,形成对软件可信性的整体评估,是目前亟待解决的问题。此外,软件可信性评估与领域紧密相关,应用于不同领域的软件系统因其自身固有特性,在软件可信性评估上具有不同的侧重点。.本课题以嵌入式软件系统为应用载体,研究面向特定领域的软件可信建模验证方法与技术,基于领域知识有效抽取可信需求、降低可信建模难度和提高可信验证有效性。研究设计和开发能够将可信需求描述、软件行为建模以及可信验证等各阶段有效综合的集成建模验证工具,并在典型嵌入式软件系统案例上进行检验,展示研究成果的集成效果。
{{i.achievement_title}}
数据更新时间:2023-05-31
出租车新运营模式下的LED广告精准投放策略
口腔扁平苔藓研究热点前沿的可视化分析
区块链技术:从数据智能到知识自动化
融合字符串特征的维吾尔语形态切分
带复杂水力系统的水轮机多机微分代数模型
高可信嵌入式软件系统典型案例研究及试验验证环境设计
可信的网络应用软件系统试验验证环境预先研究
航天多核嵌入式软件可信验证与系统原型
基于行为认证的电子银行可信软件验证试验环境研究