为进一步加强高可信嵌入式软件工程技术实验室的融合、开放和对外交流力度,特设立专业实验室开放基金课题。现将年度开放基金课题指南予以发布,并将有关课题申报事项通知如下:
一、课题资助对象
国内外各高等院校、科研机构和其它与实验室方向相关单位和部门的科技工作者,均可向本实验室提出课题申请。开放基金课题主要支持实验室固定人员以外的科研人员,如客座人员和外单位研究人员的申请。
二、选题范围
1、面向控制领域的建模语言及代码生成研究
开展面向航天嵌入式控制领域的建模特征、面向航天嵌入式控制领域的模型语义、面向航天嵌入式控制领域的代码生成等研究。
2、基于结构的FPGA设计差异分析技术
开展XilinxFPGA的bit文件结构解析、Verilog门级网表、SDF延时文件解析技术、XDL文件解析技术、构建XDL解析器和比对工具等研究。
3、高速处理器调试支持单元技术
开展面向DSPTMSC、PPCP两款处理器的调试支持单元的功能特性、对外接口,调试中对处理器的性能影响等研究。
4、基于安全特征的代码加固技术研究
开展面向软件安全特征描述构建强制安全特征库、面向软件安全特征的强制安全代码生成方法、强制安全软件综合技术等研究。
三、申请程序
1、申请人认真填写《高可信嵌入式软件工程技术实验室开放基金课题申请书》,经脱密处理,并由所在单位签署意见、盖章后,一式三份寄交实验室,同时须通过电子邮箱提交申请书电子版。
2、开放基金课题申请截止日期为年12月13日,以课题申请书收到日期为准。
3、开放基金课题获得批准后,实验室将电话通知申请者,并将开放课题批准通知书下达给申请者所在单位。
4、申请者须在申请前仔细阅读《高可信嵌入式软件工程技术实验室开放基金课题管理办法》(见北京轩宇信息技术有限公司