081203-计算机应用技术
081202-计算机软件与理论
081201-计算机系统结构

计算机科学与技术

2004-09--2007-03   上海航天研究院   硕士研究生

   

2014-10~2018-10,中科院微小卫星创新研究院, 副主任 支撑支部书记
2007-04~2014-09,上海航天研究院, 副主任设计师

2020-08-17-2025-08-16,全国信息技术标准化技术委员会软件与系统工程分技术委员会软件质量工程标准工作组（SAC/TC28/SC7/WG1）, 委员

   

（1） 可重载控制软件, 三等奖, 部委级, 2014

（ 1 ） 计算机安全审计系统及方法, 发明专利, 2021, 第 5 作者, 专利号: CN112487404A

（ 2 ） 基于事件的空间飞行器数据分析系统及方法, 发明专利, 2021, 第 5 作者, 专利号: CN112634666A

（ 3 ） 一种硬件间通信仿真的配置连接系统和方法, 发明专利, 2021, 第 3 作者, 专利号: CN110674067B

（ 4 ） 基于远程过程调用RPC的故障注入方法及系统, 发明专利, 2019, 第 4 作者, 专利号: CN110489245A

（ 5 ） 一种基于动态故障树的嵌入式星载软件测试用例生成方法, 发明专利, 2019, 第 6 作者, 专利号: CN110069410A

（ 6 ） 一种分析卫星测试数据的方法和系统, 2021, 第 3 作者, 专利号: CN109344085B

（ 7 ） 基于星上在轨可重构FPGA软件的验证测试系统, 发明专利, 2018, 第 2 作者, 专利号: CN108763077A

（ 8 ） 一种基于多因素模糊理论推理及层级分析法的卫星综合效能评估方法, 发明专利, 2018, 第 3 作者, 专利号: CN108629511A

（ 9 ） 可重构FPGA软件的专用验证测试系统, 专利授权, 2021, 第 2 作者, 专利号: CN108388516B

（ 10 ） 一种数字卫星仿真系统及数字卫星状态快速切换方法, 2017, 第 3 作者, 专利号: CN104834226B

   

（1） 星上ＳＲＡＭ 型ＦＰＧＡ抗ＳＥＵ内部刷新系统设计, 航天器工程, 2022, 第 2 作者
（2） 卫星装备试验鉴定数据质量评价技术及实现, 计算机测量与控制, 2021, 第 1 作者
（3） 刍议面向航天器星载软件的形式化验证方法, 电脑知识与技术, 2020, 第 4 作者
（4） FPGA软件重构验证方法研究, Research on FPGA software reconstruction verification method, 电子设计工程, 2020, 第 2 作者
（5） 刍议面向航天器星载软件的形式化验证方法, 电脑知识与技术:学术版, 2020, 第 4 作者

   

已指导学生

王番  硕士研究生  081203-计算机应用技术  

王浩宇  硕士研究生  081203-计算机应用技术  

现指导学生

丁宇池  硕士研究生  085404-计算机技术  

程润龙  硕士研究生  085400-电子信息  

高润泽  硕士研究生  085400-电子信息