Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC)

Seo Ryong Koo, Poong Hyun Seong, Sung Deok Cha

Research output: Contribution to journalConference article

3 Citations (Scopus)

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 straightforward 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.

Original languageEnglish
Pages (from-to)283-284
Number of pages2
JournalProceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume8
Publication statusPublished - 2004
Externally publishedYes
EventProceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering - Tampa, FL, United States
Duration: 2004 Mar 252004 Mar 26

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC)'. Together they form a unique fingerprint.

  • Cite this