基于FPGA的高可信嵌入式系统的基础研究
批准号：
91018010
项目类别：
重大研究计划
资助金额：
50.0 万元
负责人：
段振华
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2011
批准年份：
2010
项目状态：
已结题
项目参与者：
杨利英、王小兵、张海宾、田聪、黄伯虎、马倩、罗玲、师亚、刘尧
项目摘要
结项摘要
项目成果
段振华的其他基金
相似基金
相关文献
中文摘要
嵌入式系统已被广泛地应用到航空航天、武器装备、电子通信等领域。这些应用要求嵌入式系统必须是高安全、高可信的系统。如何保证嵌入式系统的可信性，成为亟待解决的挑战性的课题。本项目拟研究构建高可信嵌入式系统的模型驱动理论与方法，研究构建高可信嵌入式系统的基础理论与方法，并以国家重大科技与工程任务为应用示范。目标是要建立一整套开发高可信嵌入式系统的理论、方法及支持工具。具体包括建立一套基于模型驱动的可信嵌入式系统开发理论、过程和方法，建立一套保障嵌入式系统可信性的测试、仿真和验证理论与方法，并将其融入到嵌入式系统模型驱动开发过程的各个阶段；并以航天设备智能检测系统的开发为示范，展示实证应用。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
2011
期刊：
软件学报
影响因子：
--
作者：
[张曼, 段振华, 王小兵]
通讯作者：
王小兵
DOI：
10.1016/j.jpdc.2011.12.005
发表时间：
2012-03
期刊：
J. Parallel Distributed Comput.
影响因子：
--
作者：
[Pengcheng Nie;Zhenhua Duan]
通讯作者：
Pengcheng Nie;Zhenhua Duan
DOI：
--
发表时间：
--
期刊：
软件学报
影响因子：
--
作者：
[舒新峰, 段振华]
通讯作者：
段振华
DOI：
10.1016/j.tcs.2010.12.047
发表时间：
2011-04
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
[Cong Tian;Zhenhua Duan]
通讯作者：
Cong Tian;Zhenhua Duan
DOI：
--
发表时间：
--
期刊：
西安交大学报
影响因子：
--
作者：
[张琛, 段振华]
通讯作者：
段振华
共 10 条
可编程芯片（FPGA）EDA编译软件关键技术研究
-
批准号：62172322
-
项目类别：面上项目
-
资助金额：59万元
-
批准年份：2021
-
负责人：段振华
-
依托单位：
C/Verilog程序的MSVL验证理论与方法
-
批准号：91418201
-
项目类别：重大研究计划
-
资助金额：160.0万元
-
批准年份：2014
-
负责人：段振华
-
依托单位：
开放软件系统的基础理论与关键技术
-
批准号：61133001
-
项目类别：重点项目
-
资助金额：270.0万元
-
批准年份：2011
-
负责人：段振华
-
依托单位：
组合Web服务的建模与验证
-
批准号：60873018
-
项目类别：面上项目
-
资助金额：36.0万元
-
批准年份：2008
-
负责人：段振华
-
依托单位：
框架时序逻辑程序设计
-
批准号：60433010
-
项目类别：重点项目
-
资助金额：180.0万元
-
批准年份：2004
-
负责人：段振华
-
依托单位：
国内基金
海外基金