[01415938]高可信嵌入式控制软件的可信性分析与保证技术集成应用研究
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
航天、武器装备等领域的嵌入式控制软件具有极高可信性要求，针对这类软件的特点研究可信软件相关理论、方法和工具如何进行集成应用以有效支持其可信性分析与保证具有重要意义。该项目通过对航天领域控制软件的发展现状和趋势进行调研，从航天嵌入式操作系统和嵌入式应用软件这两个层次对其可信性内涵进行了分析和分类，然后研究了静态分析、模型检验、安全性分析、实时性分析、可靠性预测与评估、运行时监控等不同可信性分析与保证方法和工具能分别支持哪些可信性需求，并选择典型的工具进行具体分析与验证。在该过程中注重选择的方法和工具能够支持模型、代码和系统等不同软件层次，以及能涉及软件需求、设计、实现、测试和运行等不同阶段。此外，选择方法和工具的时候，侧重那些具有较深理论性、近年来取得较快发展、还未在工业界广泛使用但具有重要的应用前景和发展前途的方法和工具。通过针对卫星控制软件、导弹综合控制软件进行了具体应用，取得了良好效果。