Verification Control using DOORS

被引：1

作者：

Egner, S. E. ^{[1
]}

Herrera, J. C. Gonzalez ^{[1
]}

Bellido-Tirado, O. ^{[2
]}

Frey, S. ^{[2
]}

机构：

[1] European Southern Observ ESO, Garching, Germany

[2] Leibniz Inst Astrophys Potsdam, Potsdam, Germany

来源：

MODELING, SYSTEMS ENGINEERING, AND PROJECT MANAGEMENT FOR ASTRONOMY IX | 2020年 / 11450卷

关键词：

DOORS; Verification; Systems Engineering; ELT; 4MOST; NAOMI;

D O I：

10.1117/12.2561976

中图分类号：

P1 [天文学];

学科分类号：

0704 ;

摘要：

This paper proposes the usage of IBM Rational DOORS for the planning, controlling and supporting the verification of a system. This includes defining the verification methods & stages for technical requirements, defining the verification activities, establishing links between technical requirements and verification activities, defining the scope and success criteria of tests, monitoring the progress of the verification campaigns and finally the generation of the compliance matrix, all within a single tool. We illustrate the usage of this tool over the entire lifecycle of two recent projects (NAOMI, 4MOST) and give an outlook of its application to the verification of the Extremely Large Telescope (ELT).

引用

页数：10

共 50 条

[1] Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
Huixing Fang
Jianqi Shi
Huibiao Zhu
Jian Guo
Kim Guldstrand Larsen
Alexandre David
[J]. International Journal on Software Tools for Technology Transfer, 2014, 16 : 339 - 361
[2] Formal verification and simulation for platform screen doors and collision avoidance in subway control systems
Fang, Huixing
Shi, Jianqi
Zhu, Huibiao
Guo, Jian
Larsen, Kim Guldstrand
David, Alexandre
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2014, 16 (04) : 339 - 361
[3] Hot smoke test for verification of the effectiveness of smoke control system in a subway station with shielding doors
Zhong W.
Ji J.
Yang J.-P.
[J]. Tiedao Xuebao/Journal of the China Railway Society, 2010, 32 (06): : 90 - 95
[4] Fault Diagnosis of Elevator Doors Using Control State Information
Chae, Hyun
Lee, Jae Eung
Oh, Ki-Yong
[J]. IEEE ACCESS, 2022, 10 : 7207 - 7222
[5] Study on the remote control system for mine doors by using computer
Wang, DM
Wang, YJ
Fang, JZ
Bao, QG
Yin, SJ
Xie, BX
[J]. MINING SCIENCE AND TECHNOLOGY 99, 1999, : 55 - 58
[6] Verification of control systems using Circus
Cavalcanti, Ana
Clayton, Phil
[J]. ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 269 - +
[7] Verification of Load Frequency Control Using H ∞ Control
Niimi, Kensyu
Yukita, Kazuto
Matsumura, Toshirou
Goto, Yasuyuki
[J]. 2018 7TH INTERNATIONAL CONFERENCE ON RENEWABLE ENERGY RESEARCH AND APPLICATIONS (ICRERA), 2018, : 1174 - 1178
[8] Power Assist Control for Slide Doors Using an Ideal Door Model
Osamura, Kensuke
Kobayashi, Shinya
Hirata, Mitsuo
Okamoto, Hitoshi
[J]. 2008 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-5, 2008, : 555 - 561
[9] TIMBER-DOORS AS FIRE-CONTROL DOORS - FUNCTION AND CONSTRUCTION
TOPF, P
[J]. HOLZ ALS ROH-UND WERKSTOFF, 1981, 39 (06) : 211 - 216
[10] Automated Verification Using Unified Control Flows
Gherghina, Cristian
David, Cristina
[J]. THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 323 - 324

← 1 2 3 4 5 →