[00861069]高可信嵌入式软件系统典型案例研究及试验验证环境设计
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
嵌入式软件的可信性是由可靠性、实时性、安全性等性质构成的复杂软件属性，是国内外研究的热点问题。该项目以某国家级型号无人机飞行控制与管理软件为研究对象，围绕严格建模和定量刻画，从以下几个方面展开研究：(1)通过对研究对象的建模和分析，寻求嵌入式系统中影响软件可信性的典型问题，深入的剖析可信性的内涵；(2)从管理过程、系统级、代码级三个层次提出定量评估软件可信程度的方法；(3)搭建半物理仿真平台，为验证相关技术手段提供了保证。通过上述研究，取得如下成果：(1)提出软件可信性矩阵，作为定性评价嵌入式软件可信性的依据；(2)提出软件可信程度等级划分原则；(3)提出提高可信性的改进建议和方法，并在半物理仿真平台上对部分建议和方法的有效性进行了验证。