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 条
  • [1] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [2] Formal verification of safety-critical hybrid systems
    Livadas, C
    Lynch, NA
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, 1998, 1386 : 253 - 272
  • [3] Formal Verification of Safety-Critical Aerospace Systems
    Paul, Saswata
    Cruz, Elkin
    Dutta, Airin
    Bhaumik, Ankita
    Blasch, Erik
    Agha, Gul
    Patterson, Stacy
    Kopsaftopoulos, Fotis
    Varela, Carlos
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2023, 38 (05) : 72 - 88
  • [4] Hierarchical safety analysis and formal verification for safety-critical systems using STAMP and Event-B
    Chen, Zuxi
    Niu, Chuanjun
    Mei, Meng
    Zhang, Hongyang
    SAFETY SCIENCE, 2025, 184
  • [5] Pattern Verification-based Increment Memory Testing Method For Safety-Critical System
    Deng, Zhi-Yao
    Sang, Nan
    2008 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS SYMPOSIA, PROCEEDINGS, 2008, : 120 - +
  • [6] Modeling and verification of safety-critical systems using safecharts
    Hsiung, PA
    Lin, YH
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2005, 2005, 3731 : 290 - 304
  • [7] Exploring a Methodology for Formal Verification of Safety-Critical Systems
    Sheridan, Oisin
    RIGOROUS STATE-BASED METHODS, ABZ 2023, 2023, 14010 : 361 - 365
  • [8] VERIFICATION OF SAFETY-CRITICAL SYSTEMS USING TTM/RTTL
    OSTROFF, JS
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 573 - 602
  • [9] XANDAR: Verification & Validation Approach for Safety-critical Systems
    Sonigara, Balmukund
    Sezer, Sakir
    Siddiqui, Fahad
    Weber, Raphael
    Antonopoulos, Konstantinos
    Panagiotou, Christos
    Antonopoulos, Christos P.
    Keramidas, Georgios
    Voros, Nikolaos
    Yengec-Tasdemir, Sena Busra
    Hui, Henry
    McLaughlin, Kieran
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 78 - 83
  • [10] Verification of Safety-Critical Software
    Andersen, B. Scott
    Romanski, George
    COMMUNICATIONS OF THE ACM, 2011, 54 (10) : 52 - 57
12345