高可靠构件化嵌入式软件设计与验证技术及其支撑环境研究
批准号：
60736017
项目类别：
重点项目
资助金额：
200.0 万元
负责人：
周兴社
依托单位：
学科分类：
系统软件、数据库与工业软件
结题年份：
2011
批准年份：
2007
项目状态：
已结题
项目参与者：
周巢尘、詹乃军、刘晓建、李广元、谷建华、顾宗华、顾宗华、王宇英、张凯龙、张凡
项目摘要
结项摘要
项目成果
周兴社的其他基金
相似基金
相关文献
中文摘要
在当今网络时代，嵌入式系统成为一个将先进计算、网络通信、MEMS和领域应用等技术高度融合的知识集成系统。随着嵌入式应用系统的平台化、网络化、智能化、普适化发展，嵌入式软件的系统功能比重不断增大，可靠性问题日益突出。本课题面向高可靠的关键嵌入式实时应用需求，针对嵌入式软件的固有特性和新型特征，重点研究构件化嵌入式软件设计与验证方法及其实现技术，突出解决适应构件化嵌入式软件非功能性描述的统一设计模型、适合嵌入式构件及其组合验证与确认的有效方法、可定制嵌入式软件运行环境与故障仿真、工具链一体化的集成环境设计等关键问题，研制面向高可靠构件化嵌入式软件的设计、验证、仿真与测试一体化的集成支撑环境，课题力求取得设计与验证方法及其工具的创新成果，并在探月工程等国家重大专项和高空长航时无人飞机等国家重点型号工程中得到试用，取得重要的社会效益和经济效益。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
Recent advances in program verification through computer algebra
通过计算机代数进行程序验证的最新进展
通过计算机代数进行程序验证的最新进展
DOI：
10.1007/s11704-009-0074-7
发表时间：
2010-03
期刊：
Frontiers of Computer Science in China
影响因子：
--
作者：
[Xia, Bican, Zhan, Naijun, Yang, Lu, Zhou, Chaochen]
通讯作者：
Zhou, Chaochen
DOI：
--
发表时间：
--
期刊：
计算机工程
影响因子：
--
作者：
[张凡, 王广仁, 高磊, 董云卫]
通讯作者：
董云卫
DOI：
--
发表时间：
--
期刊：
计算机科学
影响因子：
--
作者：
[覃杨森, 董云卫, 张凡, 李龙]
通讯作者：
李龙
DOI：
--
发表时间：
--
期刊：
计算机工程
影响因子：
--
作者：
[李秀萍, 董云卫]
通讯作者：
董云卫
DOI：
--
发表时间：
--
期刊：
计算机测量与控制
影响因子：
--
作者：
[马春燕, 董云卫, 杨志义, 冯冰]
通讯作者：
冯冰
共 20 条
泛在人机物资源能力统一模型及其适应性认知管理方法
-
批准号：--
-
项目类别：重点项目
-
资助金额：302万元
-
批准年份：2020
-
负责人：周兴社
-
依托单位：
面向老年人健康的非干预式感知与持续计算研究
-
批准号：61332013
-
项目类别：重点项目
-
资助金额：300.0万元
-
批准年份：2013
-
负责人：周兴社
-
依托单位：
感知任务适应性分配策略与实现机制研究
-
批准号：60573161
-
项目类别：面上项目
-
资助金额：24.0万元
-
批准年份：2005
-
负责人：周兴社
-
依托单位：
网络化嵌入式计算模型研究
-
批准号：60273086
-
项目类别：面上项目
-
资助金额：7.0万元
-
批准年份：2002
-
负责人：周兴社
-
依托单位：
面向复杂分布实时应用的自适应资源管理模型与机制研究
-
批准号：60073054
-
项目类别：面上项目
-
资助金额：14.0万元
-
批准年份：2000
-
负责人：周兴社
-
依托单位：
分布式多任务协同工作的原型研究
-
批准号：69573023
-
项目类别：面上项目
-
资助金额：7.0万元
-
批准年份：1995
-
负责人：周兴社
-
依托单位：
国内基金
海外基金