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 条
  • [31] Compositional Modeling and Control for Safety-Critical Manufacturing Systems
    Uygur, Guerkan
    Sattler, Sebastian M.
    2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
  • [32] Software reliability analysis for safety-critical and control systems
    Kumar, Pramod
    Singh, Lalit Kumar
    Kumar, Chiranjeev
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2020, 36 (01) : 340 - 353
  • [33] Automatic Test Case Generation for Safety-Related Embedded Systems
    Daemon, Peter
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 1 (01): : 18 - 25
  • [34] Reliability analysis and safety model checking of Safety-Critical and control Systems: A case study of NPP control system
    Kumar, Vinay
    Mishra, Kailash Chandra
    Singh, Pooja
    Hati, Aditya Narayan
    Mamdikar, Mohan Rao
    Singh, Lalit Kumar
    Parida, R. N. Ramakant
    ANNALS OF NUCLEAR ENERGY, 2022, 166
  • [35] Machine Learning Based Test Data Generation for Safety-Critical Software
    Cegin, Jan
    PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 1678 - 1681
  • [36] Almost Sure Safety Analysis and Safety-Critical Control of Stochastic Systems
    Luo, Shixian
    Liu, Jiangpeng
    Jiang, Yan
    2024 14TH ASIAN CONTROL CONFERENCE, ASCC 2024, 2024, : 1068 - 1073
  • [37] The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems
    Hsu, Kai-Chieh
    Hu, Haimin
    Fisac, Jaime F.
    ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, 2024, 7 : 47 - 72
  • [38] Concept of automatic usability evaluation of safety-critical interactive systems in the field
    Funk, Mathias
    Hamacher, Nico
    i-com, 2008, 7 (01) : 18 - 23
  • [39] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [40] Are your systems safety-critical?
    Redmill, F
    IEE REVIEW, 1997, 43 (03): : 93 - &
12345