Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment

被引:1
|
作者
Varkoi, Timo [1 ]
Makinen, Timo [2 ]
Cameron, Frank [2 ]
Nevalainen, Risto [1 ]
机构
[1] Finnish Software Measurement Assoc FiSMA Ry, Espoo, Finland
[2] Tampere Univ Technol, Pori, Finland
关键词
Safety; Systems engineering; Process assessment;
D O I
10.1007/978-3-319-97925-0_15
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Safety is a growing concern in systems containing software. Process assessments are used to ensure quality of the development processes for safety-critical systems. Regulators of the nuclear power industry have increased requirements for the development processes. Now, process assessments are integrated in the qualification of the systems and are expected to provide information not only based on the assessment model but also about the domain specific requirements. Compliance evaluation utilizes assessment findings to create evidence of the relevant domain specific requirements. This study aims at validating the results of compliance evaluation by analyzing assessment findings and their use in the context of a safety-critical domain. The analysis is based on the use of binary relations. The results of this analysis indicate that process assessment findings are also relevant when evaluating compliance to other sets of requirements. The results can significantly support the trustworthiness of the process assessment method and ensure effective use of process assessments.
引用
收藏
页码:181 / 192
页数:12
相关论文
共 50 条
  • [1] Validating effectiveness of safety requirements' compliance evaluation in process assessments
    Varkoi, Timo
    Makinen, Timo
    Cameron, Frank
    Nevalainen, Risto
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2020, 32 (03)
  • [2] Challenges in Validating Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2010, 3 (01): : 109 - 116
  • [3] ASSESSMENT OF SAFETY-CRITICAL SPECIFICATIONS
    WILLIAMS, LG
    [J]. IEEE SOFTWARE, 1994, 11 (01) : 51 - 60
  • [4] EVALUATION OF SAFETY-CRITICAL SOFTWARE
    PARNAS, DL
    VANSCHOUWEN, AJ
    KWAN, SP
    [J]. COMMUNICATIONS OF THE ACM, 1990, 33 (06) : 636 - 648
  • [5] The quantitative safety assessment for safety-critical software
    Yu, YY
    Johnson, BW
    [J]. 29th Annual IEEE/NASA Software Engineering Workshop, Proceedings, 2005, : 150 - 159
  • [6] Additional requirements for process assessment in safety-critical software and systems domain
    Johansson, Mika
    Nevalainen, Risto
    [J]. JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2012, 24 (05) : 501 - 510
  • [7] Axiomatic safety-critical assessment process (ASCAP) risk assessment of a transit signaling system
    Cutright, E
    Ou, Y
    Cao, YY
    Zhang, H
    Monfalcone, M
    Ghaly, N
    Giras, T
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2262 - 2268
  • [8] An Empirical Evaluation of System-Level Test Effectiveness for Safety-Critical Software
    Zafar, Muhammad Nouman
    Afzal, Wasif
    Enoiu, Eduard Paul
    [J]. PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2023, 2023, : 293 - 305
  • [9] A Practical Approach towards Validating HIL Simulation of a Safety-critical System
    Stratis, Athanasios
    Causevic, Adnan
    [J]. 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 40 - 43
  • [10] Languages for safety-critical software: Issues and assessment
    Brosgol, Benjamin M.
    [J]. 29th International Conference on Software Engineering: ICSE 2007 Companion Volume, Proceedings, 2007, : 180 - 181