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.
|Number of pages||2|
|Journal||Proceedings of IEEE International Symposium on High Assurance Systems Engineering|
|Publication status||Published - 2004|
|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