loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Elena Ph. Jharko

Affiliation: V.A. Trapeznikov Institute of Control Sciences of Russian Academy of Science, 65 Profsoyuznaya, Moscow 117997 and Russia

Keyword(s): Nuclear Power Plant, Quality Assurance, Safety Functions, Software, Validation, Verification.

Related Ontology Subjects/Areas/Topics: Industrial Automation and Robotics ; Industrial Engineering ; Informatics in Control, Automation and Robotics ; Manufacturing Systems Engineering ; Quality Control and Management

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. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.173.221.132

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-2809, SciTePress, pages 637-644. DOI: 10.5220/0007922506370644

@conference{icinco19,
author={Elena Ph. 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},
issn={2184-2809},
}

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
IS - 2184-2809
AU - Jharko, E.
PY - 2019
SP - 637
EP - 644
DO - 10.5220/0007922506370644
PB - SciTePress