設為主頁 加入收藏 網站地圖 繁體中文

軟件研究所

軟件研究所成立于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室

湖北体彩网-安全购彩 西贡区 | 类乌齐县 | 石阡县 | 合水县 | 彰化市 | 高碑店市 | 邵东县 | 耒阳市 | 孟津县 | 仪征市 | 库尔勒市 | 广宁县 | 阿勒泰市 | 柘荣县 | 梧州市 | 孟州市 | 怀仁县 | 民和 | 祁门县 | 读书 | 双辽市 | 郓城县 |