国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒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
  • 出版日期:
文章二維碼
上饶市| 云龙县| 垦利县| 海丰县| 海南省| 楚雄市| 米脂县| 上杭县| 郑州市| 衡山县| 阜城县| 江北区| 化隆| 重庆市| 仲巴县| 卢氏县| 安平县| 南平市| 锡林浩特市| 陕西省| 涞水县| 漳平市| 五家渠市| 寿光市| 蕲春县| 大城县| 普格县| 山东省| 林西县| 闽侯县| 汉沽区| 广安市| 安宁市| 大方县| 城步| 凤阳县| 桃园县| 万源市| 锡林浩特市| 平昌县| 沙坪坝区|