航天嵌入式软件可信性保障关键技术和应用

  知识产权目录(只填已授权知识产权支撑材料,按重要程度排序,限10个)
序号 知识产权类别 授权项目名称 国(区)别 授权号 授权公告日 发明人 权利人
1发明专利权一种嵌入式软件可信性保障方法中国ZL201310738865.32015-04-15杨孟飞,顾斌,陈睿,郭向英,赵雷,董晓刚,綦艳霞,王政,陈尧,乔磊、沈沛,郝伟北京控制工程研究所
2发明专利权一种用于检测中断驱动型程序数据竞争的系统中国ZL201010611695.92012-12-26陈睿,郭向英,段永顥,张西超,侯成杰,董燕,于志杰,魏鹏,吴瑾,武占峰,张金巍,曾霞,左万娟北京控制工程研究所
3发明专利权一种本地工作区与远程数据服务器结合的高效软件数据管理方法中国ZL201310676324.22016-03-30赵雷,陈睿,郭向英,王政,陈尧,胡智琦,沈沛,郝伟,褚楠北京控制工程研究所
4发明专利权一种用于集成环境的多层软件总线结构中国ZL201310751618.72015-07-08杨孟飞,郭向英,顾斌,赵雷,陈睿,郝伟,盛庄,黄晨,沈沛北京控制工程研究所
5发明专利权基于可信属性的航天系统关键软件评价方法中国ZL201410795028.92017-05-10高栋栋,胡智琦,冀会芳,朱倩,程立明,赵欢,腾俊元北京轩宇信息技术有限公司


  知识产权目录(标准)
序号 标准名称 类别 标准号/备案号


  知识产权目录(论文)
序号 论文(专著)名称 刊名/出版社 发表时间 通讯作者 第一作者 论文全部作者 SCI他引次数 他引总次数 年卷期页码 是否国内完成
1可信的航天嵌入式控制软件开发技术国防工业出版社2017-12-01杨孟飞杨孟飞,顾斌,郭向英00ISBN:9787118112665
2Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical SystemsMathematics in Computer Science2012-11-01刘江刘江刘江,詹乃军,赵恒军172012,6(4):395-408
3Abstraction of elementary hybrid systems by variable transformationInternational Symposium on Formal Methods2015-01-01刘江刘江刘江,詹乃军,赵恒军,邹亮5132015,volume 9109: 360-377
4Effective Statistical Fault Localization Using Program Slices2012 IEEE 36th International Conference on Computer Software and Applications2012-09-01毛晓光雷晏雷晏,毛晓光,代子营,王承松12262012:pp.1-10
5航天嵌入式软件可信性度量方法及应用研究中国科学:技术科学2015-02-01陈仪香王婧王婧,陈仪香,顾斌,郭向英,王保华,金晟毅,徐建,张居阳5142015(2):221-228


  国家法律法规要求的行业批准文件目录(不超过10个)
序号 批准文件名称 产品名称 批准单位 批准时间 申请单位


  经济效益支撑材料目录(限10个)
序号 候选单位 支撑材料种类 名称 应用方 效益产生日期 经济效益(万元) 备注
1北京控制工程研究所其他2016年10月风云等拨款通知单航天五院2016-10-286200
2北京控制工程研究所其他2016年11月神舟拨款通知单航天五院2016-11-013040
3北京控制工程研究所其他2017年11月北斗拨款通知单原总参谋部,航天系统部2017-11-296870
4北京控制工程研究所其他2018年3月高分拨款通知单财政部2018-03-071300
5北京控制工程研究所其他2018年12月神舟风云拨款通知单航天八院、原总装备部2018-12-126000
6北京轩宇信息技术有限公司项目收入明细表工具销售项目收入明细表多个单位2016-03-151946.5
7北京轩宇信息技术有限公司项目收入明细表软件测试项目收入明细表多个单位2016-02-054434.9192
8北京轩宇信息技术有限公司销售合同可视化自动单元测试工具合同陕西苍松机械厂2016-11-2570
9北京轩宇信息技术有限公司销售合同XX三期软件第三方确认测试合同西安空间无线电技术研究所2017-12-01617.081


关 闭