复杂嵌入式系统中的软件构造技术研究

基本信息
批准号:60873074
项目类别:面上项目
资助金额:31.00
负责人:李仁发
学科分类:
依托单位:湖南大学
批准年份:2008
结题年份:2011
起止时间:2009-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:李蕊,夏显忠,张克环,姚凤娟,陈宇,任小西,孙文德,胡小龙
关键词:
协同验证可信构造人机交互模型驱动嵌入式软件
结项摘要

航天器中人机交互系统是一个复杂的嵌入式计算系统。由于引入虚拟仪器、增强虚拟现实、可重构计算及虚拟计算等新技术的原因,其软件的设计也变得非常复杂。本项目针对航天器中人机交互系统中的软件设计,研究这种复杂嵌入式软件的构造技术,包括基于领域知识的需求分析方法和以可信性需求为代表的非功能性需求的形式化描述和规约方法;基于构件和领域模型驱动的嵌入式软件构造技术,嵌入式软件的建模、构造方法与代码生成等模型驱动开发技术,以硬件仿真平台和构件交互验证技术为基础的软件协同验证技术等;最后结合实证方法,与传统软件构造技术就生成软件的质量进行对比、度量和评估,对综合协同验证技术和模型驱动方法的软件构造技术的效能进行全面验证,最终将研究中形成的理论和方法用于航天器中某交互装置的软件设计。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

一种基于多层设计空间缩减策略的近似高维优化方法

一种基于多层设计空间缩减策略的近似高维优化方法

DOI:10.1051/jnwpu/20213920292
发表时间:2021
2

二维FM系统的同时故障检测与控制

二维FM系统的同时故障检测与控制

DOI:10.16383/j.aas.c180673
发表时间:2021
3

具有随机多跳时变时延的多航天器协同编队姿态一致性

具有随机多跳时变时延的多航天器协同编队姿态一致性

DOI:10.7641/CTA.2018.70969
发表时间:2018
4

扶贫资源输入对贫困地区分配公平的影响

扶贫资源输入对贫困地区分配公平的影响

DOI:
发表时间:2020
5

出租车新运营模式下的LED广告精准投放策略

出租车新运营模式下的LED广告精准投放策略

DOI:10.16381/j.cnki.issn1003-207x.2020.10.022
发表时间:2020

李仁发的其他基金

批准号:69974031
批准年份:1999
资助金额:14.00
项目类别:面上项目
批准号:61672217
批准年份:2016
资助金额:62.00
项目类别:面上项目
批准号:60673061
批准年份:2006
资助金额:26.00
项目类别:面上项目
批准号:61173036
批准年份:2011
资助金额:58.00
项目类别:面上项目

相似国自然基金

1

航天嵌入式软件可信性构造与验证的关键技术研究

批准号:90818024
批准年份:2008
负责人:顾斌
学科分类:F0203
资助金额:260.00
项目类别:重大研究计划
2

面向嵌入式系统的网构软件分析方法集成技术研究

批准号:61100002
批准年份:2011
负责人:陈湘萍
学科分类:F0203
资助金额:24.00
项目类别:青年科学基金项目
3

汽车实时嵌入式系统中的软件健康监控技术

批准号:61272127
批准年份:2012
负责人:顾宗华
学科分类:F0202
资助金额:75.00
项目类别:面上项目
4

嵌入式系统的低能耗软件设计方法与技术研究

批准号:61332001
批准年份:2013
负责人:郭兵
学科分类:F0203
资助金额:300.00
项目类别:重点项目