Model Proposal for Performance Testing of Safety-Critical Systems

被引：0

作者：

Spendla, Lukas ^{[1
]}

Tanuska, Pavol ^{[1
]}

Strbo, Milan ^{[1
]}

机构：

[1] Slovak Univ Technol, Fac Mat Sci & Technol, Trnava, Slovakia

来源：

PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13) | 2013年 / 45卷

关键词：

system testing; performance testing; safety critical systems; UML;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The main focus of article is the process of performance testing for safety-critical systems. The proposal is focused into safety-critical systems as a part of information systems. The contribution demonstrates the usage of performance test in the test system, with incorporated essential requirements for the safety-critical systems testing. Requirements are based on the analysis of basic standards and guidelines for safety-critical systems. To visualize the process of testing, the model was outlined using UML sequence diagrams.

引用

页码：42 / 45

页数：4

共 50 条

[41] Selective Regression Testing of Safety-Critical Systems: A Black Box Approach
Andrews, Anneliese
Elakeili, Salwa
Alhaddad, Ahmed
2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, : 22 - 31
[42] Testing of Safety-Critical Systems - a Structural Approach to Test Case Design
Beer, Armin
Peischl, Bernhard
ADVANCES IN SYSTEMS SAFETY, 2011, : 187 - 211
[43] A concept for on-line testing of distributed safety-critical supervisory systems
Varga, I
Bartha, T
Soumelidis, A
Katics, B
INTELLIGENT MANUFACTURING SYSTEMS 2003, 2003, : 157 - 162
[44] Model-Based Performance Evaluation of Safety-Critical POMDPs
Pouya, Parisa
Madni, Azad M.
Adiththan, Arun
Ramesh, S.
Peranandam, Prakash
IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
[45] A Framework for Software Safety in Safety-Critical Systems
Medikonda, Ben Swarup
Panchumarthy, Seetha Ramaiah
NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2008, 182 : 361 - 374
[46] Model-Free Safety-Critical Control for Robotic Systems
Molnar, Tamas G.
K. Cosner, Ryan
W. Singletary, Andrew
Ubellacker, Wyatt
D. Ames, Aaron
IEEE ROBOTICS AND AUTOMATION LETTERS, 2022, 7 (02) : 944 - 951
[47] Safety-Critical Adaptive Control with Nonlinear Reference Model Systems
Arabi, Ehsan
Garg, Kunal
Panagou, Dimitra
2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 1749 - 1754
[48] Model-Based Validation of Safety-Critical Embedded Systems
Feiler, Peter H.
2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
[49] Dual-model approach for safety-critical embedded systems
Labiak, Grzegorz
Wegrzyn, Marek
Rosado-Munoz, Alfredo
Bazydlo, Grzegorz
MICROPROCESSORS AND MICROSYSTEMS, 2020, 72
[50] A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries
Yiannis Papadopoulos
John A. McDermid
Requirements Engineering, 1998, 3 (2) : 143 - 149

← 1 2 3 4 5 →