Software design specification and analysis technique for the safety critical software based on programmable logic controller (PLC)

This paper introduces the software design specification and analysis technique for the safety-critical system based on programmable logic controller (PLC). During software development phases, the design should perform an important role to connect between requirements phase and implementation phase as a process of translating problem requirements into software structures. In this work, the design specification features for nuclear instrumentation and control (I&C) software are suggested in a straight forward manner. It consists of four major specifications as follows; database, software architecture, system behavior, and PLC hardware configuration. Additionally, correctness, completeness, consistency, and traceability check techniques are also suggested for the formal design analysis.