Paper Info
Title
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC)
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.
Year
DOI
Venue
2006
10.1016/j.ress.2005.05.006
Reliability Engineering & System Safety
Keywords
DocType
Volume
Safety-critical system,V&V,Design specification and analysis,PLC
Journal
91
Issue
ISSN
Citations 
6
0951-8320
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
S KOO100.34
Poong-hyun Seong211524.53