国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

星載嵌入式軟件全數字仿真開(kāi)發(fā)驗證平臺
DOI:
CSTR:
作者:
作者單位:

華東師范大學(xué) 上海市高可信計算重點(diǎn)實(shí)驗室

作者簡(jiǎn)介:

通訊作者:

中圖分類(lèi)號:

基金項目:


A Fully Digital Simulation Development and Verification Platform for On-board Embedded Software
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 圖/表
  • |
  • 訪(fǎng)問(wèn)統計
  • |
  • 參考文獻
  • |
  • 相似文獻
  • |
  • 引證文獻
  • |
  • 資源附件
  • |
  • 文章評論
    摘要:

    為了應對當前航天器軟件功能日趨復雜與軟件研制周期短、對軟件可靠性和安全性要求高的矛盾,同時(shí)為了滿(mǎn)足國產(chǎn)化自主可控的需求,在國產(chǎn)Linux操作系統下,以QEMU的 SPARC V8指令集模擬器為基礎,解決了SOC2012片內外設與A6017仿真等關(guān)鍵問(wèn)題,搭建了一種星載嵌入式軟件全數字仿真開(kāi)發(fā)驗證平臺;提出了通過(guò)共享內存解決方案,提高QEMU指令集仿真內核對外圍IO空間讀寫(xiě)仿真效率;該平臺已經(jīng)用于某衛星型號控制分系統軟件和星務(wù)軟件測試,相較于基于硬件的測試平臺,該平臺具有更好的可重用性和快速搭建性,能夠大大降低硬件測試的風(fēng)險和成本,同時(shí)具備更強的可控性以及更豐富的調試和測試手段。

    Abstract:

    To address the contradiction between the increasing complexity of spacecraft software functions, the short development cycles, and the high requirements for software reliability and security, as well as to meet the demands for domestic independent and controllable solutions, a fully digital simulation development and verification platform for satellite embedded software was established. This platform is based on a domestic Linux operating system, utilizing the SPARC V8 instruction set simulator of QEMU to address critical issues such as the simulation of SOC2012 on-chip peripherals and the A6017 chip. A shared memory solution is proposed to improve the efficiency of QEMU instruction set simulation kernel"s reading and writing simulation of peripheral IO space. This platform has been applied in the testing of control subsystem software and satellite mission software for a specific satellite model. Compared with hardware-based test platforms, this platform offers better reusability and rapid deployment capabilities, significantly reducing the risks and costs associated with hardware testing. Additionally, it provides stronger controllability, as well as richer debugging and testing methods.

    參考文獻
    相似文獻
    引證文獻
引用本文

王賽亞,吳小明,鄧玉欣.星載嵌入式軟件全數字仿真開(kāi)發(fā)驗證平臺計算機測量與控制[J].,2024,32(5):302-311.

復制
分享
文章指標
  • 點(diǎn)擊次數:
  • 下載次數:
  • HTML閱讀次數:
  • 引用次數:
歷史
  • 收稿日期:2023-12-23
  • 最后修改日期:2024-01-23
  • 錄用日期:2024-01-25
  • 在線(xiàn)發(fā)布日期: 2024-05-22
  • 出版日期:
文章二維碼
林周县| 河西区| 尼玛县| 青阳县| 长子县| 略阳县| 沭阳县| 兴仁县| 皋兰县| 安徽省| 江华| 泌阳县| 兰溪市| 通榆县| 青岛市| 太保市| 长宁县| 吉林省| 富平县| 东平县| 景谷| 榆中县| 永安市| 平和县| 敖汉旗| 沂源县| 南汇区| 林芝县| 仁怀市| 赣榆县| 乌审旗| 马龙县| 米泉市| 木兰县| 新营市| 武汉市| 乐山市| 贵溪市| 卢氏县| 凤山县| 诸城市|