Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Mika Johansson"'
Autor:
Mika Johansson, Risto Nevalainen
Publikováno v:
Journal of Software: Evolution and Process. 24:501-510
SUMMARY Certification of safety–critical software is a multi-disciplinary topic. Process assessment is an essential part of that, but is not enough for software certification. Certification also employs several other method families, such as inspec
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::adb3feeb2750beabee78466053f386fa
https://doi.org/10.1002/smr.499
https://doi.org/10.1002/smr.499
Publikováno v:
Nuclear Power
Several real-life qualifications are already done by using TVO SWEP method. The goals of the method are achieved well, and the pre-qualification is effective. It is evident that TVO
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1b6a6aff8af00bab3e97d52b81a123
https://doi.org/10.5772/9909
https://doi.org/10.5772/9909
Publikováno v:
QUATIC
Harju, H, Lahtinen, J, Ranta, J, Nevalainen, R & Johansson, M 2010, Software safety standards for the basis of certification in the nuclear domain . in Proceedings of the Seventh International Conference on the Quality of Information and Communications Technology, QUATIC 2010 . IEEE Institute of Electrical and Electronic Engineers, Los Alamitos, CA, USA, pp. 54-62, Seventh International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29/09/10 . https://doi.org/10.1109/QUATIC.2010.22
Harju, H, Lahtinen, J, Ranta, J, Nevalainen, R & Johansson, M 2010, Software safety standards for the basis of certification in the nuclear domain . in Proceedings of the Seventh International Conference on the Quality of Information and Communications Technology, QUATIC 2010 . IEEE Institute of Electrical and Electronic Engineers, Los Alamitos, CA, USA, pp. 54-62, Seventh International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29/09/10 . https://doi.org/10.1109/QUATIC.2010.22
In the nuclear domain, regulators have strict requirements for safety-critical software. As a part of Finnish nuclear research program SAFIR2010 an on-going project called CERFAS aims to define necessary software certification services for nuclear in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5dfad4dde681ef5b4f21b20c9e78b985
https://doi.org/10.1109/QUATIC.2010.22
https://doi.org/10.1109/QUATIC.2010.22
Publikováno v:
Lahtinen, J, Johansson, M, Ranta, J, Harju, H & Nevalainen, R 2010, Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain . in E Schoitsch (ed.), Computer Safety, Reliability, and Security : 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings . Springer, Berlin, Lecture Notes in Computer Science, vol. 6351, pp. 55-67, 29th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2010, Vienna, Austria, 14/09/10 . https://doi.org/10.1007/978-3-642-15651-9_5
Lecture Notes in Computer Science ISBN: 9783642156502
SAFECOMP
Lecture Notes in Computer Science ISBN: 9783642156502
SAFECOMP
In the nuclear domain, regulators have strict requirements for safety critical software. In this paper requirements in three documents (two software standards and the Common Position of nuclear domain regulators) were compared. The aim of the work wa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c853459316b2d5730ff365fd8856224
https://cris.vtt.fi/en/publications/8a11b547-1b20-4402-811d-b056231f033d
https://cris.vtt.fi/en/publications/8a11b547-1b20-4402-811d-b056231f033d