设为主页 加入收藏 网站地图 繁體中文

软件研究所

软件研究所成立于2014年,主要从事先进嵌入式计算技术、高性能实时操作系统及软件可靠性工程的学术研究工作,以及航空航天、机器人、武器装备、工业控制等领域的高可靠嵌入式应用软件、基础支撑软件的研制工作。

一、团队负责人

  吴翔虎,深圳航天科技创新研究院软件研究所所长,哈尔滨工业大学计算机科学与技术学院教授,博士。主要研究方向:高性能嵌入式计算、航天软件工程、实时嵌入式操作系统。多年来致力于航空、航天、车载嵌入式计算平台的研究工作,并取得了丰硕的科研成果,负责及参与国家计划项目、总装预研、省部委科研项目10余项。

二、人员构成

软件研究所研发团队由20余人组成,平均年龄30岁,在管理、技术、研究能力均形成了团队的梯队建设,并具备完善的人才培养方案。团队先后承担参与多项国家973、921、863课题、部委/省市科技公关和航天院所合作项目二十余项,在国内外学术刊物及会议上发表论文30余篇,SCI/EI检索10余篇,并获总装备部载人航天工程办公室优秀论文二等奖一项、国家科技进步二等奖一项、国防科技进步一、二等奖各一项。


一、 模型驱动的高可靠嵌入式软件一体化开发与测试工具

本产品是一套高可靠型号软件集成分析设计、高可靠模型校验、代码自动生成、测试用例与文档自动生成、测试脚本自动解析执行的软件产品,用于通用嵌入式软件建模设计开发、可靠性测试用例的辅助设计。用户可以使用该工具对嵌入式软件进行软件建模、生成代码、对被测软件进行图形建模、模型校验、测试项规划以及自动生成测试用例。通过使用本工具,用户不仅可以极大地缩短型号软件研发测试过程、研发周期,而且能够提升型号软件的可靠性、安全性。
  • 嵌入式软件开发测试过程的自动化管理
  • 基于可视化模型的软件建模与模型校验
  • 可重用组件和子模型建模活动管理和代码生成
  • 可视化软件测试需求图形化建模
  • 完备的模型校验与测试用例自动生成
  • 支持多角色管理的并发分布式建模
  • 可定制模板的规格化文档自动生成

二、软件构件化开发环境下的高确定性实时操作系统

本产品是一款完全自主知识产权的嵌入式实时操作系统,产品通过对象模型支持应用软件构件化开发、通过分区管理支持不同安全关键等级软件的高度集成、通过两级调度支持系统高确定性、通过全局健康管理支持系统的高安全属性。本产品具有开发时间短、支持构件重用、高度可配置性、良好的可移植性等优点,能够极大的缩短产品研发周期。
  • 应用对象模型,支持软件构件化开发
  • 多分区支持,每个分区内均可运行不同的分区内操作系统
  • 分区间遵循严格的时间/空间隔离,不同安全关键等级软件共处
  • 应用分时调度技术、虚拟化技术使各分区共享物理资源
  • 支持多种分区间通信机制
  • 系统级安全管理,提供高安全属性

三、通用嵌入式软件虚拟验证系统

本产品是能够对嵌入式硬件系统进行完整模拟的软件系统。用户可以在该系统上模拟运行嵌入式软件,无需相应的硬件即可对嵌入式软件进行测试与调试。通过使用本系统,用户不仅可以极大地缩短嵌入式软件研制周期,而且能够避免高昂的辅助测试硬件研制费用、极大地降低系统成本。
  • 用户软定制虚拟验证目标平台,实现系统通用性目标
  • 丰富的组件库,包含ARM、SPARC、PowerPC等处理器组件,1553B、CAN、中断控制器、定时器等常用设备组件
  • 支持本地与分布式部署,满足不同软件测试规模
  • 支持全闭环测试
  • 支持软件功能级时序测试
  • 提供丰富的软件调试功能
  • 数据采集、故障注入、覆盖率报告、数据导出重载等多种能力为软件测试提供全面支持

  • “通用嵌入式软件虚拟验证系统(V2.0 试用版)”下载链接


      软件研究所通过图形化软件建模、下一代操作系统、虚拟验证三项核心技术,建设通用嵌入式软件快速生成与测试平台,旨在从技术层面促进嵌入式软件研制流程的改变进步,建立完备的嵌入式软件产品升级换代机制,实现嵌入式行业研制能力的发展和提升。相关软件产品具有完全自主知识产权,在国际上处于技术领先地位。

 嵌入式软件研发工程师
 学历要求本科以上工作地点深圳、哈尔滨
 发布日期 2016年11月24日 招聘人数4
 职位描述:
1、C/C++/JAVA编程能力佳者,有一定的项目研发经验;
2、熟悉嵌入式软件开发技术;
3、熟悉操作系统技术优先,熟悉GDB等调试技术优先;
4、拥有较好的沟通技巧及团队合作精神,较强的责任感及进取精神。
 算法工程师
 学历要求 本科以上 工作地点 深圳、哈尔滨
 发布日期 2016年11月24日 招聘人数 4
 职位描述:
1、数学基础好,数学专业的本科或硕士优先;
2、算法分析与设计经验丰富;
3、从事IT工作,有一定的研发经验,从事软件测试工作者优先;
4、C或java编程经验丰富。
 

联系邮箱:HPEC_SAAT@163.com
联 系 人:陶永超、姜姝宇
电  话:0755-86117659,18246085380
联系地址:深圳市南山区科技南十路6号深圳航天科技创新研究院D806室