Formal semantics model for automatic test of safety critical systems

被引：0
|
作者：
Lü, Jiang-Hua [1 ]
Ma, Shi-Long [1 ]
Li, Xian-Jun [1 ]
Gao, Shi-Wei [1 ]
机构：
[1] Lü, Jiang-Hua
[2] Ma, Shi-Long
[3] Li, Xian-Jun
[4] Gao, Shi-Wei
来源：
Lü, J.-H. (jhlv@nlsde.buaa.edu.cn) | 1600年 / Chinese Academy of Sciences卷 / 25期
关键词：
Calculations;
D O I：
10.13328/j.cnki.jos.004412
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：489 / 505
相关论文
共 50 条
  • [1] A high order collaboration and real time formal model for automatic testing of safety critical systems
    Jianghua LV
    Shilong MA
    Xianjun LI
    Jiangong SONG
    Frontiers of Computer Science, 2015, 9 (04) : 495 - 510
  • [2] A high order collaboration and real time formal model for automatic testing of safety critical systems
    Jianghua Lv
    Shilong Ma
    Xianjun Li
    Jiangong Song
    Frontiers of Computer Science, 2015, 9 : 495 - 510
  • [3] A high order collaboration and real time formal model for automatic testing of safety critical systems
    Lv, Jianghua
    Ma, Shilong
    Li, Xianjun
    Song, Jiangong
    FRONTIERS OF COMPUTER SCIENCE, 2015, 9 (04) : 495 - 510
  • [4] Equipment Collaboration Expressions in Automatic Test of Safety Critical Systems
    Lv, J. H.
    Sun, B.
    Ma, S. L.
    Li, X. J.
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON ELECTRICAL, AUTOMATION AND MECHANICAL ENGINEERING (EAME 2015), 2015, 13 : 658 - 661
  • [5] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08): : 799 - 821
  • [6] A formal semantics of UML statecharts by model transition systems
    Varró, D
    GRAPH TRANSFORMATIONS, PROCEEDINGS, 2002, 2505 : 378 - 392
  • [7] FORMAL METHODS FOR SAFETY-CRITICAL SYSTEMS
    MCARTHUR, N
    CONTROL AND INSTRUMENTATION, 1994, 26 (05): : 59 - 60
  • [8] An Automatic Test Case Generator for Testing Safety-Critical Software Systems
    Malekzadeh, Mehdi
    Ainon, Raja Noor
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 163 - 167
  • [9] MC/DC Test Case Automatic Generation for Safety-Critical Systems
    Wang, Cong
    Sun, Haiying
    Dou, Hui
    Chen, Hongtao
    Liu, Jing
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 732 - 743
  • [10] Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions
    Akella, Prithvi
    Ahmadi, Mohamadreza
    Murray, Richard M.
    Ames, Aaron D.
    2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 790 - 795
12345