Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC)

	This Article
	PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Seo Ryong Koo Articles by Poong Hyun Seong Articles by Sung Deok Cha

Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)

Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC) (PDF)

Tampa, Florida

March 25-March 26

ISBN: 0-7695-2094-4

	ASCII Text	x
	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)," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 283-284, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.

	BibTex	x
	@article{ 10.1109/HASE.2004.1281760, author = {Seo Ryong Koo and Poong Hyun Seong and Sung Deok Cha}, title = {Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC)}, journal ={High-Assurance Systems Engineering, IEEE International Symposium on}, volume = {0}, year = {2004}, issn = {1530-2059}, pages = {283-284}, doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281760}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - High-Assurance Systems Engineering, IEEE International Symposium on TI - Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC) SN - 1530-2059 SP283 EP284 A1 - Seo Ryong Koo, A1 - Poong Hyun Seong, A1 - Sung Deok Cha, PY - 2004 KW - null VL - 0 JA - High-Assurance Systems Engineering, IEEE International Symposium on ER -

Seo Ryong Koo, Korea Advanced Institute of Science and Technology

Poong Hyun Seong, Korea Advanced Institute of Science and Technology

Sung Deok Cha, Korea Advanced Institute of Science and Technology

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281760

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.

Citation:

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)," hase, pp.283-284, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.