한국정보과학회논문지:소프트웨어및응용 (Journal of KIISE:Software and Applications)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

정형 소프트웨어 요구사항으로부터 PLC 디자인의 체계적 생성

Systematic Generation of PLC-based Design from Formal Software Requirements

  • 유준범 (한국과학기술원 전자전산학과) ;
  • 차성덕 (한국과학기술원 전자전산학과) ;
  • 김창회 (한국원자력연구소 I&C-HMI) ;
  • 송덕용 ((주)엑트 엔지니어링 사업팀)
  • 발행 : 2005.02.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase, therefore making it a trusted method for increasing safety. In this paper, we discuss a systematic method, which generates PLC-based FBD programs from the requirements specification using NuSCR, a formal requirements specification method. This FBD programs takes an important position in design specification. The proposed method can reduce the possible errors occur in the manual design specification, and the software development cost and time. To investigate the usefulness of our proposed method, we introduce the fixed set-point rising trip example, a trip logic of BP in DPPS RPS, which is presently being developed at KNICS.

키워드

참고문헌

  1. Nancy G. Leveson, SAFEWARE: System safety and Computers, Addison Wesley. 1995
  2. U.S. NRC, Digital Instrumentation and Control Systems in Nuclear Power Plants: safety and reliability issues, National Academy Press, 1997
  3. Doran A. Peled, SOFTWARE RELIABILITY METHODS, Springer, 2001
  4. UK MoD, The procurement of safety critical software in defense equipment, Define Standard 00-55, 1997
  5. D. Parnas, A. J. Schouwen Van, and J. Maday. 'Documentation of requirements for computer systems,' In Proc. RE'93: IEEE International Symposium on Requirements Engineering, pp.198-207, 1993 https://doi.org/10.1109/ISRE.1993.324857
  6. Wolsong NPP 2/3/4, Software requirements specificationfor shutdown system 2 PDC, 86-68350-SRS-001, June, 1993
  7. Junbeom Yoo, Taihyo Kim, Sungdeok Cha, Jangsu Lee, Han Sung Son, 'A Formal Software Requirements Specification Method for Digital Nuclear Plants Protection Systems,' Journal of Systems and Software, Vol. 74, No.1, pp.73-83, 2005 https://doi.org/10.1016/j.jss.2003.10.018
  8. KNICS, Korea nuclear instrumentation and control system research and development center, http:.//www.knics.re.kr
  9. Junbeom Yoo, Sungdeok Cha, Changhui Kim, Younju Oh, 'Formal Requirements specification for digital reactor protection systems,' Journal of KISS, Vo1.31, No.6, pp.750-759, 6, 2004
  10. IEC, International standard for programmable controllers: Programming languages, Technical Report IEC 1131 part 3, IEC (International Electrotechnical Commission), 1993
  11. Henning Dierks, 'PLC- Automata: A new class of implementable real-time automata,' Theoretical Computer Science, 1997
  12. Angelika Mader, 'A Classification of PLC Models and Applications,' In Proc, WODES 2000: 5th Workshop on Discrete Event Systems, 2000
  13. K. L. Heninger, 'Specifyingsoftware requirements for complex systems: New techniques and their application,' IEEE Trans. Software Engineering, SE-6(1), pp.2-13, 1980
  14. D. Parnas and J. Madey, 'Functional documentation for computer systems engineering,' CRL 237, Telecommunications Research Institute of Ontario(TRIO), McMaster Univ., Hamilton, Ontario, 1991
  15. Zphar Manna, Thomas A. Hensinger, and Amir Pnueli, 'Timed transition systems,' In Proc. REX Workshop, pp.226-251, 1991
  16. Junbeom Yoo, Hojung Bang, Sungdeok Cha, 'Procedural Transformation from Formal Software Requirement to PLC-based Design,' KAIST CS/TR-2004-198
  17. Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner, 'Analysis and synthesis of the behavior of complex programmable electronic systems in conditions of failure,' Reliability Engineering and System Safety, Vol. 71, No. 3, pp.229-247, 2001 https://doi.org/10.1016/S0951-8320(00)00076-4