航天器中人机交互系统是一个复杂的嵌入式计算系统。由于引入虚拟仪器、增强虚拟现实、可重构计算及虚拟计算等新技术的原因,其软件的设计也变得非常复杂。本项目针对航天器中人机交互系统中的软件设计,研究这种复杂嵌入式软件的构造技术,包括基于领域知识的需求分析方法和以可信性需求为代表的非功能性需求的形式化描述和规约方法;基于构件和领域模型驱动的嵌入式软件构造技术,嵌入式软件的建模、构造方法与代码生成等模型驱动开发技术,以硬件仿真平台和构件交互验证技术为基础的软件协同验证技术等;最后结合实证方法,与传统软件构造技术就生成软件的质量进行对比、度量和评估,对综合协同验证技术和模型驱动方法的软件构造技术的效能进行全面验证,最终将研究中形成的理论和方法用于航天器中某交互装置的软件设计。
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
二维FM系统的同时故障检测与控制
具有随机多跳时变时延的多航天器协同编队姿态一致性
扶贫资源输入对贫困地区分配公平的影响
出租车新运营模式下的LED广告精准投放策略
航天嵌入式软件可信性构造与验证的关键技术研究
面向嵌入式系统的网构软件分析方法集成技术研究
汽车实时嵌入式系统中的软件健康监控技术
嵌入式系统的低能耗软件设计方法与技术研究