Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Varkoi, T., Mäkinen, T., Gallina, B., Cameron, F., Nevalainen, R.: Towards systematic compliance evaluation using safety-oriented process lines and evidence mapping. In: Stolfa, J., Stolfa, S., O’Connor, R.V., Messnarz, R. (eds.) EuroSPI 2017. CCIS, vol. 748, pp. 83–95. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64218-5_7
Common Position Revision: Licensing of safety critical software for nuclear reactors. Common position of seven European nuclear regulators and authorised technical support organisations (2013)
STUK: YVL B.1, Safety design of a nuclear power plant. Finnish Radiation and Nuclear Safety Authority (2013)
STUK: YVL E.7, Electrical and I&C equipment of a nuclear facility. Finnish Radiation and Nuclear Safety Authority (2013)
Grassman, W.K., Tremblay, J.-P.: Logic and Discrete Mathematics. Prentice-Hall, Upper Saddle River (1996)
Varkoi, T., Nevalainen, R., Mäkinen, T.: Toward nuclear SPICE – integrating IEC 61508, IEC 60880 and SPICE. J. Softw.: Evol. Process 26, 357–365 (2013)
ISO/IEC 33001: Information technology – Process assessment – Concepts and terminology (2015)
ISO/IEC 33020: Information technology – Process assessment – Process measurement framework for assessment of process capability (2015)
ISO/IEC/IEEE 15288: Systems and software engineering – System life cycle processes (2015)
Varkoi, T., Nevalainen, R.: Compliance and rigour in process assessment for safety-critical domain. In: Barafort, B., O’Connor, R.V., Poth, A., Messnarz, R. (eds.) EuroSPI 2014. CCIS, vol. 425, pp. 296–308. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43896-1_27
Varkoi, T., Nevalainen, R.: Process assessment in supplier selection for safety-critical systems in nuclear domain. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10489, pp. 298–308. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66284-8_25
Varkoi, T., Nevalainen, R., Mäkinen, T.: Process assessment in a safety domain - assessment method and results as evidence in an assurance case. In: Proceedings of QUATIC 2016. IEEE Computer Society (2016)
IEC 60880: Nuclear power plants – Instrumentation and control systems important to safety – Software aspects for computer-based systems performing category A functions (2006)
IEC 62138: Nuclear power plants – I&C Systems Important to Safety – Software aspects for computer-based systems performing category B or C functions (2004)
Acknowledgements
This work has been jointly funded by the Finnish national nuclear safety program SAFIR2018 (http://safir2018.vtt.fi/) and the Finnish Software Measurement Association, FiSMA (www.fisma.fi).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Varkoi, T., Mäkinen, T., Cameron, F., Nevalainen, R. (2018). Validating Effectiveness of Compliance Evaluation in Safety-Critical Process Assessment. In: Larrucea, X., Santamaria, I., O'Connor, R., Messnarz, R. (eds) Systems, Software and Services Process Improvement. EuroSPI 2018. Communications in Computer and Information Science, vol 896. Springer, Cham. https://doi.org/10.1007/978-3-319-97925-0_15
Download citation
DOI: https://doi.org/10.1007/978-3-319-97925-0_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-97924-3
Online ISBN: 978-3-319-97925-0
eBook Packages: Computer ScienceComputer Science (R0)