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):||20 May 2007|
|PDF File Size:||5.63 Mb|
|ePub File Size:||5.19 Mb|
|Price:||Free* [*Free Regsitration Required]|
Select the China site in Chinese or English for best site performance. August Replaced By: Development of this software is based on the IEC standard. We use Polyspace products to verify the generated code.
Before we use a critical tool for high-integrity software development, we have to ensure that iecc is appropriate to the task and that 612266 functions correctly. Other MathWorks country sites are not optimized for visits from your location. MTU gensets meet these standards. Embedded control software typically contains infinite loops. Shortcomings of Standard Development Processes.
Jec build engineers also ran the Polyspace code verifiers as part of the automated nightly build and test process, using the results to identify areas of code that needed more developer attention. You may experience issues viewing this site in Internet Explorer 9, 10 or Qualifying Polyspace Code Verifiers.
AMD is a corrigendum. Polyspace code verifiers provide access to information that explains why every code element marked as orange is deemed unproven. The detailed results made it easier to identify problems with our code and to justify unproven or unreachable code. This contains everything needed to prove that our tools fulfill IEC recommendations as well as guidance to help you to achieve compliance.
For example, as a defensive programming practice, the developers implemented each switch statement in C with a default option that could not be reached via normal operation. Classification of instrumentation and control functions. Polyspace code verifiers highlight code that is proven to be free of certain categories of run-time errors, enabling the team to focus their reviews on iecc remaining code.
Table B2 Software structure.
Polyspace code verifiers highlight each element in the code as green, red, gray, ieec orange to indicate its status. We must also show that the processes and tools used to obtain the results are trustworthy.
After integrating all the code into the version control system, we ran Polyspace code verifiers to recheck the entire code base. In developing the diesel engine control software, MTU developers used Polyspace code verifiers to check their code for ied errors before checking it into the version control system.
Table B3 Self supervision. MTU mission-critical diesel genset, used to generate emergency power for a nuclear power plant.
Each issue that is identified in the source code is 6122 back to the Simulink model, enabling us to trace potential problems to their source. Because this was the first time we had used Polyspace products on an IEC —governed project, we made the decision early on to conduct a manual review in parallel with the Polyspace verification.
For the third area, we documented our own use of Polyspace code verifiers and combined this with additional Polyspace product usage information so that we could adapt the certification kit based on our own use cases. Your basket is empty. Table B4 Detailed design and coding. 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.
Fitness for purpose litigation against 612266 and individuals is now an increasing risk. Nuclear-electric power stations, Electric power stations, Nuclear power, Instruments, Control systems, Nuclear safety, Nuclear technology, Nuclear reactors, Measuring instruments, Classification systems. IEC defines requirements for the software used in computer-based instrumentation and nuclear power plant control systems—specifically, software that performs functions of safety category A, as defined ie IEC Please contact us for iev information on Cantata for IEC Polyspace products correctly identified these loops as nonterminating, but no other code as red.
Each of these elements, however, had to be justified, which meant explaining why 612226 was not an issue. For example, they may highlight the use of absolute memory addresses, which are sometimes hard-coded in embedded software.
A major drawback of manual reviews is that they are dependent on the human reviewers, and therefore are not repeatable. Technical Articles and Newsletters. Learn more about Cantata. A key element of our new software development process was tool chain managementan area concerned with the selection and qualification of software development and testing tools. For the first area, correct tool function, we jec test cases, procedures, expected results, and other qualification artifacts from DO Qualification Kit and Iev Certification Kit Figure 2.