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

Seo Ryong Koo, Poong Hyun Seong, Sungdeok Cha

Research output: Contribution to journalArticle

2 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 Jun 22
Externally publishedYes

Fingerprint

Software design
Programmable logic controllers
Specifications
Nuclear instrumentation
Software architecture
Computer hardware
Software engineering
Computer systems

ASJC Scopus subject areas

  • Engineering(all)

Cite this

@article{dd3222fa52e1421eb0a56b576d00dbdb,
title = "Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC)",
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.",
author = "Koo, {Seo Ryong} and Seong, {Poong Hyun} and Sungdeok Cha",
year = "2004",
month = "6",
day = "22",
language = "English",
volume = "8",
pages = "283--284",
journal = "The BMJ",
issn = "0730-6512",
publisher = "Kluwer Academic Publishers",

}

TY - JOUR

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

AU - Koo, Seo Ryong

AU - Seong, Poong Hyun

AU - Cha, Sungdeok

PY - 2004/6/22

Y1 - 2004/6/22

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

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

UR - http://www.scopus.com/inward/record.url?scp=2942553327&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=2942553327&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:2942553327

VL - 8

SP - 283

EP - 284

JO - The BMJ

JF - The BMJ

SN - 0730-6512

ER -