国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒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
  • 出版日期:
文章二維碼
聊城市| 潮州市| 阆中市| 临洮县| 江山市| 府谷县| 唐山市| 宜丰县| 宿迁市| 阆中市| 从化市| 济源市| 淮北市| 涿州市| 桂平市| 广元市| 宁都县| 噶尔县| 临沂市| 青铜峡市| 华容县| 武定县| 许昌县| 会东县| 丰宁| 秦安县| 蒙自县| 米易县| 西峡县| 云林县| 潞西市| 烟台市| 青铜峡市| 平定县| 桂平市| 崇文区| 肥西县| 繁峙县| 双牌县| 怀安县| 安龙县|