Verification Method of Hierarchical for Safety-critical Memory Management Systems

被引：0
|
作者：
Li, Shao-Feng [1 ]
Qiao, Lei [2 ]
Yang, Meng-Fei [3 ]
Zhang, Jin-Kun [2 ]
Ma, Zhi [2 ]
Liu, Hong-Biao [1 ]
机构：
[1] School of Computer Science and Technology, Xidian University, Xi'an,710071, China
[2] Beijing Institute of Control Engineering, Beijing,100190, China
[3] China Academy of Space Technology, Beijing,100094, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2022年 / 33卷 / 06期
关键词：
Formal verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：2312 / 2330
相关论文
共 50 条
  • [21] Memory management of safety-critical hard real-time systems designed in SystemJ
    Malik, Avinash
    Park, HeeJong
    Nadeem, Muhammad
    Salcic, Zoran
    MICROPROCESSORS AND MICROSYSTEMS, 2019, 64 : 101 - 119
  • [22] Developing requirements management tool for safety-critical systems
    Kildishev, Denis
    Khoroshilov, Alexey
    2019 ACTUAL PROBLEMS OF SYSTEMS AND SOFTWARE ENGINEERING (APSSE 2019), 2019, : 50 - 57
  • [23] Cooperative Verification: Towards Reliable Safety-Critical Systems (Invited Talk)
    Beyer, Dirk
    PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2022, 2022, : 1 - 2
  • [24] A Design Flow with Integrated Verification of Requirements and Faults in Safety-Critical Systems
    Yan, Wei
    Fontaine, Daniel
    Chandy, John A.
    Michel, Laurent
    2017 12TH SYSTEM OF SYSTEMS ENGINEERING CONFERENCE (SOSE), 2017,
  • [25] Modeling and verification of high-assurance properties of safety-critical systems
    Tsai, JJP
    Juan, EYT
    COMPUTER JOURNAL, 2001, 44 (06): : 504 - 530
  • [26] A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip
    Grimm, Tomas
    Lettnin, Djones
    Huebner, Michael
    ELECTRONICS, 2018, 7 (06)
  • [27] Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems
    Proenca, Jose
    Borrami, Sina
    de Nova, Jorge Sanchez
    Pereira, David
    Nandi, Giann Spilere
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2022, 2022, 13294 : 83 - 94
  • [28] Design Verification and Validation for Reliable Safety-critical Autonomous Control Systems
    Yan, Rongjie
    Yang, Junjie
    Zhu, Di
    Huang, Kai
    2018 23RD INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2018, : 170 - 179
  • [29] Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems
    Weissnegger, Ralph
    Schuss, Markus
    Kreiner, Christian
    Pistauer, Markus
    Roemer, Kay
    Steger, Christian
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2016, 2016, 9923 : 359 - 370
  • [30] A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol
    Toth, Tamas
    Voeroes, Andras
    Majzik, Istvan
    SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS (SERENE 2015), 2015, 9274 : 31 - 45
12345