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

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 journal › Conference article › peer-review

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 language	English
Pages (from-to)	283-284
Number of pages	2
Journal	Proceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume	8
Publication status	Published - 2004
Externally published	Yes
Event	Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering - Tampa, FL, United States Duration: 2004 Mar 25 → 2004 Mar 26

ASJC Scopus subject areas

General Engineering

Cite this

Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC). / Koo, Seo Ryong; Seong, Poong Hyun; Cha, Sung Deok.
In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering, Vol. 8, 2004, p. 283-284.

Research output: Contribution to journal › Conference article › peer-review

@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 Cha, {Sung Deok}",

year = "2004",

language = "English",

volume = "8",

pages = "283--284",

journal = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",

issn = "1530-2059",

publisher = "IEEE Computer Society",

note = "Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering ; Conference date: 25-03-2004 Through 26-03-2004",

}

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, Sung Deok

PY - 2004

Y1 - 2004

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

M3 - Conference article

AN - SCOPUS:2942553327

SN - 1530-2059

VL - 8

SP - 283

EP - 284

JO - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

JF - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

T2 - Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering

Y2 - 25 March 2004 through 26 March 2004

ER -

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

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this