Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)

Seo Ryong Koo and Poong Hyun Seong

Reliability Engineering and System Safety, 2006, vol. 91, issue 6, 648-664

Abstract: This paper introduces a Software Design Specification and Analysis Technique (SDSAT) for safety-critical systems based on a Programmable Logic Controller (PLC). During software development phases, the design phase performs an important role in connecting the requirements phase and the implementation phase, and it is a process of translating software requirements into software structures. In this work, the Nuclear FBD-style Design Specification and analysis (NuFDS) approach was proposed for nuclear Instrumentation and Control (I&C) software. The NuFDS approach is suggested in a straightforward manner for effective and formal software design specification and analysis. Accordingly, the proposed NuFDS approach is composed of a software design specification technique and a software design analysis technique. In addition, for tool support in the design phase, we developed the NuSDS tool based on the NuFDS approach; this tool is used specifically for generating software design specification and analysis for nuclear fields.

Keywords: Safety-critical system; V&V; Design specification and analysis; PLC (search for similar items in EconPapers)
Date: 2006
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832005001286
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:91:y:2006:i:6:p:648-664

DOI: 10.1016/j.ress.2005.05.006

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().