Method of automatic test case generation for safety-critical scenarios in train control systems

被引：0
|
作者：
Chen, Xin [1 ,2 ]
Jiang, Peng [1 ,2 ]
Zhang, Yi-Fan [1 ,2 ]
Huang, Chao [1 ,2 ]
Zhou, Yan [1 ,2 ]
机构：
[1] State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing,210023, China
[2] Department of Computer Science and Technology, Nanjing University, Nanjing,210023, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2015年 / 26卷 / 02期
关键词：
D O I：
10.13328/j.cnki.jos.004780
中图分类号：
学科分类号：
摘要：
15
引用
收藏
页码：269 / 278
相关论文
共 50 条
  • [21] Safety-Critical Optimal Control for Autonomous Systems
    XIAO Wei
    CASSANDRAS G.Christos
    BELTA Calin
    Journal of Systems Science & Complexity, 2021, 34 (05) : 1723 - 1742
  • [22] Safety-Critical Kinematic Control of Robotic Systems
    Singletary, Andrew
    Kolathaya, Shishir
    Ames, Aaron D.
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 14 - 19
  • [23] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
  • [24] SAFETY-CRITICAL SYSTEMS
    RUDALL, BH
    ROBOTICA, 1990, 8 : 184 - 184
  • [25] Towards Realistic, Safety-Critical and Complete Test Case Catalogs for Safe Automated Driving in Urban Scenarios
    Thal, Silvia
    Wallis, Philip
    Henze, Roman
    Hasegawa, Ryo
    Nakamura, Hiroki
    Kitajima, Sou
    Abe, Genya
    2023 IEEE INTELLIGENT VEHICLES SYMPOSIUM, IV, 2023,
  • [26] A Model-based Test Case Generation Method for Function Testing of Train Control Systems
    Lv, Jidong
    Wang, Haifeng
    Liu, Hongjie
    Zhang, Lu
    Tang, Tao
    2016 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2016, : 334 - 346
  • [27] Multimodal Safety-Critical Scenarios Generation for Decision-Making Algorithms Evaluation
    Ding, Wenhao
    Chen, Baiming
    Li, Bo
    Eun, Kim Ji
    Zhao, Ding
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2021, 6 (02) : 1551 - 1558
  • [28] A study of automatic code generation for safety-critical software: Preliminary report
    Crawford, L
    Erwin, J
    Grimaldi, S
    Mitra, S
    Komecki, A
    Gluch, DP
    EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 287 - 288
  • [29] Adversarial Generation of Safety-Critical Lane-Change Scenarios for Autonomous Vehicles
    He, Zimin
    Zhang, Jiawei
    Yao, Danya
    Zhang, Yi
    Pei, Huaxin
    2023 IEEE 26TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, ITSC, 2023, : 6096 - 6101
  • [30] 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