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 条

[41] Certification of Safety-Critical Systems
Leveson, Nancy G.
Thomas, John P.
COMMUNICATIONS OF THE ACM, 2023, 66 (10) : 22 - 26
[42] Research and practice of UML-based modeling method for safety-critical scenarios
Zhang, Xisheng
Liu, Xiaohua
BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2019, 125 : 34 - 35
[43] Safety-critical systems design
Douglass, BP
ELECTRONIC ENGINEERING, 1998, 70 (862): : 45 - +
[44] Cybersecurity in safety-critical systems
Walker, Alastair
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (05)
[45] Safety-critical systems design
Douglass, Bruce Powel
Electronic Engineering (London), 1998, 70 (862):
[46] The ethics of safety-critical systems
Bowen, J
COMMUNICATIONS OF THE ACM, 2000, 43 (04) : 91 - 97
[47] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
BENNETT, P
COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
[48] In-field test of safety-critical systems: is functional test a feasible solution?
Reorda, Matteo Sonza
2015 16TH LATIN-AMERICAN TEST SYMPOSIUM (LATS), 2015,
[49] Worst-Case Performance Validation of Safety-Critical Control Systems with Dropped Samples
Bund, Tobias
Slomka, Frank
PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON REAL-TIME AND NETWORKS SYSTEMS (RTNS) 2015, 2015, : 319 - 326
[50] Approximate Optimal Control for Safety-Critical Systems with Control Barrier Functions
Cohen, Max H.
Belta, Calin
2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2062 - 2067

← 1 2 3 4 5 →