Safety Critical Systems play a vital role in achieving safe operation of nuclear power plant and to ensure the safety of people and control on the environment around the nuclear power plants. SCS need to have high reliability, accuracy and availability. The cost of critical system and consequences of failure of such critical system are potentially dangerous than that for non-critical systems. So SCS need an augment of additional verification processes in addition to normal analysis and testing. This paper elaborates the in-house development of the Static Analyzer, which is used to achieve their required quality in software used in SCS. It analyzes the program in terms of quality aspects and not in terms of functionality, With result of the static analyzer the source code can be enhanced subsequently, which is the first step towards Zero Defect Programming.
展开▼