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

  • Authors:

  • Seo Ryong Koo;Poong Hyun Seong;Sung Deok Cha

  • Affiliations:

  • Korea Advanced Institute of Science and Technology, Department of Nuclear and Quantum Engineering, Daejeon, Korea;Korea Advanced Institute of Science and Technology, Department of Nuclear and Quantum Engineering, Daejeon, Korea;Korea Advanced Institute of Science and Technology, Department of Electrical Engineering & Computer Science, Daejeon, Korea

  • Venue:
  • HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.