Formalizing the Safety Functions to Assure the Software Quality of NPP Safety Important Systems

Elena Jharko

Abstract

One of the most critical tasks in the software complexes quality assurance is the procedure of forming requirements to a developed or modified system and subsequent their verification. The essential errors are making in the first life cycle stages – these are errors in determining requirements, selecting the architecture, high-level design. Faults of safety critically important software may considerably damage the equipment or properties, as well to lead to an essential detriment of the environment and human victims. Increasing requirements to the software quality of NPP (nuclear power plant) safety important systems at all stages of the life cycle is concerned with increasing the software complexity and functionality and has led the necessity of developing approaches to justify both the system itself safety and software involved in the systems makeup. In the paper, an approach is considered, based on the “safety functions”, meeting which in the sequel is verifying. This approach is used under the soft- and hardware complexes software assurance of upper level systems of automated process control systems and may be applied for the fault tolerance analysis, information- and cybersecurity of soft- and hardware complexes.

Download


Paper Citation


in Harvard Style

Jharko E. (2019). Formalizing the Safety Functions to Assure the Software Quality of NPP Safety Important Systems.In Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-758-380-3, pages 637-644. DOI: 10.5220/0007922506370644


in Bibtex Style

@conference{icinco19,
author={Elena Jharko},
title={Formalizing the Safety Functions to Assure the Software Quality of NPP Safety Important Systems},
booktitle={Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2019},
pages={637-644},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007922506370644},
isbn={978-989-758-380-3},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Formalizing the Safety Functions to Assure the Software Quality of NPP Safety Important Systems
SN - 978-989-758-380-3
AU - Jharko E.
PY - 2019
SP - 637
EP - 644
DO - 10.5220/0007922506370644