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 条
  • [1] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
  • [2] Testing Experiences of Safety-Critical Embedded Systems
    Bakker, Bryan
    ADVANCES IN SYSTEMS SAFETY, 2011, : 169 - 186
  • [3] A distance model for safety-critical systems
    Szijártó, Miklós
    Gröger, Dietmár
    Kallós, Gábor
    Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
  • [4] Fail-Safe Testing of Safety-Critical Systems
    Gario, Ahmed
    Andrews, A. von Mayrhauser
    2014 23RD AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC), 2013, : 190 - 199
  • [5] Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems
    Elqortobi, Mounia
    El-Khouly, Warda
    Rahj, Amine
    Bentahar, Jamal
    Dssouli, Rachida
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 63 - 74
  • [6] Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
    Elqortobi, Mounia
    El-Khouly, Warda
    Rahj, Amine
    Bentahar, Jamal
    Dssouli, Rachida
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2020, 17 (01) : 271 - 292
  • [7] Industrial-Strength Model-Based Testing of Safety-Critical Systems
    Peleska, Jan
    Huang, Wen-ling
    FM 2016: FORMAL METHODS, 2016, 9995 : 3 - 22
  • [8] Testing complex safety-critical systems in SOA context
    Donini, R.
    Marrone, S.
    Mazzocca, N.
    Orazzo, A.
    Papa, D.
    Venticinque, S.
    CISIS 2008: THE SECOND INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS, PROCEEDINGS, 2008, : 87 - 93
  • [9] Testing of Safety-Critical Systems: An Aerospace Launch Application
    Gario, Ahmed
    Andrews, Anneliese
    Hagerman, Seana
    2014 IEEE AEROSPACE CONFERENCE, 2014,
  • [10] SAFETY-CRITICAL SYSTEMS
    MCDERMID, JA
    THEWLIS, DJ
    SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
12345