Design of a Platform for Safety Justification of Safety-Critical Software

2017 ◽  
Author(s):  
Guo Jia ◽  
Yang Ming
Keyword(s):  
Software Reliability ◽  
Nuclear Power ◽  
Power Plants ◽  
Graphical Interface ◽  
Key Factors ◽  
Safety Critical ◽  
Software Products ◽  
Software Product ◽  
Quality And Reliability ◽  
User Friendly

Since safety-critical software is crucial to nuclear safety in the occurrence of accident, it is required to have rather higher requirements in both reliability and safety than the non-safety one. However, since the complexity of a software product, how to ensure the reliability and safety of a software product is still a challenging work. The paper presents a design of a platform for safety justification of safety-critical software of nuclear power plants. A syllogism referred as to Claim, Argument and Evidence (CAE) is applied to clarify the key factors that will affect software reliability and the dependencies between them. The proposed safety justification platform offers a user-friendly graphical interface to help construct a CAE model by a drag and drop way. The proposed safety justification platform could be used for the rigorous argument of various factors that may affect the reliability of a safety-critical software product during different phases of its life cycle and establishing their causalities. In this way, it could greatly improve its creditability and applicability and lowering the uncertainties in software development and application, and therefore has a significant engineering values in ensuring and improving the quality and reliability of nuclear software products.

RevospECT® PRO Software for Automated Interpretation of Results and Automatic Tracking of Defects during Eddy Current Inspection of Heat Exchangers

NDT World ◽  
2021 ◽  
pp. 21-23
Author(s):  
Denis Shorikov ◽  
Aleksandra Melnikova
Keyword(s):  
Eddy Current ◽  
Heat Exchangers ◽  
Nuclear Power ◽  
Power Plants ◽  
Level Ii ◽  
Unique System ◽  
Self Study ◽  
Software Product ◽  
Eddy Current Inspection ◽  
Automated Interpretation

The eddy current NDT method has been successfully used at Russian nuclear power plants for more than 20 years, but there are still problems with assessing the reliability of the results. Software product of Zetec Inc. (USA) RevospECT® Pro allows you to automatically analyze and compare the monitoring results of the same object, obtained at different times, which allows you to track the development of defects. Thanks to a unique system for collecting and analyzing information, its ability to self-study, RevospECT® Pro is able to make decisions on its own, replacing the level II specialist in full.

Safety Issues in Computerized Medical Equipment

2011 ◽  
pp. 396-402 ◽  
Author(s):  
D. John Doyle
Keyword(s):  
Radiation Therapy ◽  
Medical Equipment ◽  
Nuclear Power ◽  
Power Plants ◽  
Food And Drug Administration ◽  
Critical Systems ◽  
Safety Issues ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Critical Results

Computers now are being used increasingly in safety-critical systems like nuclear power plants and aircraft and, as a consequence, have occasionally been involved in deadly mishaps. As microcomputer technology continues to proliferate, computers are also now increasingly being used in medical equipment such as ventilators and pacemakers, sometimes with safety-critical results. This chapter discusses some of the special concerns that arise when computer technology is introduced into medical equipment, using two case studies as examples: the Therac-25 radiation therapy unit and Abbott’s patient controlled analgesia machine. Also discussed are some of the regulations that have been proposed by the (American) Food and Drug Administration (FDA) to help tackle the special problems that can arise when developing software-based medical equipment.

The Concept of the Receipts & Promotions Cloud Service: a New Level of Communication between Bank, Store, and Customer

2020 ◽  
Vol 26 (12) ◽  
pp. 697-700
Author(s):  
V. I. Belovitskiy ◽  
Keyword(s):  
Mobile Application ◽  
Cloud Service ◽  
Complete Information ◽  
Cloud Services ◽  
Software Products ◽  
Wide Range ◽  
Software Product ◽  
Plastic Card ◽  
User Friendly ◽  
To Receive

The development of cloud services improving the interaction of banks, stores and customers becomes high-demanded by digitalized society, that is ready to use innovative software products. The Receipts & Promotions cloud service, developed at the concept level, allows to realize the idea of providing complete information of a receipt in electronic form along with printed receipt for the Mir plastic card holders through the "Privet, Mir!" mobile application. Information from electronic receipts accumulated in the Mir cloud will allow the customer to receive personalized bonus offers from the stores — partners of the program, as well as manage the family budget. The introduction of the service opens up the wide opportunities to the stores for communication with customers. The Receipts & Promotions service is able to become the first software product based on the collection and analysis of information from electronic receipts linked to a specific user. The system of flexible personalization of bonus offers and their assessment by customers is unique and not implemented in other software products. It will be possible to consider the display of electronic receipts in the "Privet, Mir!" mobile application in a user-friendly interface as the first fully automated option of providing electronic receipts to a wide range of users.

scholarly journals Certification of Software in Safety-Critical I&C Systems of Nuclear Power Plants

Nuclear Power ◽  
10.5772/9909 ◽  
2010 ◽  
Author(s):  
Risto Nevalainen ◽  
Juha Halminen ◽  
Hannu Harju ◽  
Mika Johansso
Keyword(s):  
Nuclear Power ◽  
Power Plants ◽  
Nuclear Power Plants ◽  
Safety Critical
Sign in / Sign up

Export Citation Format

Share Document