IEC Nuclear power plants – Instrumentation and control important to safety – Classification of instrumentation and control functions. IEC Nuclear Power Plants – Instrumentation and Control Systems Important for Safety – Classification. Consideration in the nuclear industry. Introduction to generic and nuclear I&C system safety standards (IEC , IEC and IEC ).
|Published (Last):||7 February 2018|
|PDF File Size:||14.12 Mb|
|ePub File Size:||3.26 Mb|
|Price:||Free* [*Free Regsitration Required]|
For the first area, correct tool function, we used test cases, procedures, expected results, and other qualification artifacts from DO Qualification Kit and IEC Certification Kit Figure 2.
Energy | Clearsy
MTU gensets meet these standards. Agencies and customers needed proof that we had a plan for software development, that the tools we ice were qualified, and that we had followed the plan and used the tools correctly. Polyspace products correctly identified these loops as nonterminating, but no other code as red. Each instance was deemed justified because we knew exactly what was causing the Polyspace code verifier to mark it as unreachable code.
Technical Articles and Newsletters. Accept and continue Learn more about the cookies we use and how to change your settings. Instrumentation and control systems important to safety. Please download Chrome or Firefox or view our browser tips. Learn more about Cantata.
BS IEC 61226:2005
The development team is then responsible for justifying this potential failure condition or correcting the code as needed. In our code, a few lines were marked red, meaning they were proven faulty but justified as correct and valid statements. MTU mission-critical diesel 62126, used to generate emergency power for a nuclear power plant.
Table B3 Self supervision.
Nuclear-electric power stations, Electric power stations, Nuclear power, Instruments, Control systems, Nuclear safety, Nuclear technology, Nuclear reactors, Measuring instruments, Classification systems.
Polyspace code verifiers, in contrast, deliver consistent results no matter how many times they are run on the same code.
Section 8 – Software verification. Development of this software is based on the IEC standard. We must also show that the processes and tools used to obtain the results are trustworthy. These default options were correctly highlighted ice gray.
Verifying High-Integrity Control Software for Mission-Critical Emergency Diesel Generators
Tools are defined as either critical or noncritical. Chapter 14 of IEC covers the appropriate use of software tools, including those that can increase the integrity of the software development process and improve software reliability. Select the China site in Chinese or English for best site performance.
Your basket is empty. For example, they may highlight the use of absolute memory addresses, which are sometimes hard-coded in embedded software. This level of informal testing gave developers immediate feedback on their code, enabling them to address any outstanding issues before formal integration testing.
In the event of an outage of the primary power supply, power plant operators rely on diesel engine-driven generators for the backup power needed to process vital functions. Each issue that is identified in the source code is linked back to the Simulink model, enabling us to trace potential problems to their source.
This contains everything needed to prove that our tools fulfill IEC recommendations as well as guidance to help you to achieve compliance. QA Systems enables organisations to accelerate IEC compliance with automated static and dynamic testing tools:. The plan comprised three core areas: Each of these elements, however, had to be justified, which meant explaining why it was not an issue.
A formal review team checked and justified each code element marked as red, orange, or gray. After integrating all the code into the version control system, we ran Polyspace code verifiers to recheck the entire code base.
Section 8 — Software verification. A high number of elements were colored green, indicating that they were free of run-time errors; however, several orange, or unproven, elements were also highlighted.