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

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

LUSTRE를 이용한 SCR 명세의 구현

Implementing SCR Specification with LUSTRE

  • 조승모 (한국과학기술원 전산학과) ;
  • 차성덕 (한국과학기술원 전산학과)
  • Jo, Seung-Mo (Dept. of Computer Science, Korea Advanced Institute of Science and Technology) ;
  • Cha, Seong-Deok (Dept. of Computer Science, Korea Advanced Institute of Science and Technology)
  • 발행 : 1999.02.01

⟨ 이전 논문 다음 논문 ⟩

초록

SCR 방법론은 고 신뢰도를 요구하는 시스템 개발을 위해 사용되는 요구사항의 정형적 명세의 하나로 , 오랜 역사와 많은 응용 사례를 가지고 있다. 이 방법론에 따라 사용자가 요구사항을 명세했을 때 그것을 어떻게 정확하게 구현할 수 있는지가 중요한 문제가 된다. 본 논문에서는 SCR로 작성된 명제를 그 의미를 보전하는 구현언어로 자동으로 변환시키는 방법을 제시한다. SCR 명제가 가지는 자료흐름언어와의 유사성을 이용하기 위해, 구현언어로, 동기적 자료흐름 언어인 LUSTRE를 선택했고, 그 변환 과정을 제시했다. 제안한 방법의 유용성을 살피기 위해, SCR과 유사한 방법으로 작성된 월성 원자력 발전소의 제 2 정지 시스템의 일부분을 변환하는 실험을 수행, 그 결과를 비교하였다. 정형명제가 도입되어서 사용될 경우 본 연구는 개발의 전체 소요시간을 줄여줄 수 있고 좀 더 신뢰성 있는 결과물을 내는데 도움을 줄 수있다.

키워드

참고문헌

  1. Software Engineering Journal v.4 no.6 Specifications are not (necessarily) executable I. J. Hayes;C. B. Jones
  2. IEEE Transactions on Software Engineering v.16 no.4 STATEMATE: A Working Environment for the Development of Complex Reactive Systems D. Harel;H. Lachover;A. Naamad;A. Pnueil;M. Politi;R. Sherman;A. Shtul-Trauring;M. Trakhtenbrot
  3. in Proc. of Real-Time Systems Symposium Compiling Modechart specifications C. Puchol;A. K. Mok;D. A. Stuart
  4. in Proc. of the IEEE Int. Symp. on Requirements Engineering Generating Code from Hierarchical State-Based Requirements M. P. E. Heimdahl;D. J. Keenan
  5. in 14th ACM Symp. on Principles of Programming Languages LUSTRE, a declarative language for programming synchronous systems P. Caspi;N. Halbwachs;D. Pilaud;J. A. Plaice
  6. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE N. Halbwachs;F. Lagnier;C. Ratel
  7. Software requirements for the A-7E aircraft K. Heninger;D. Parnas;J. Shore;J. Kallander
  8. IEEE Transactions on Software Engineering v.6 no.1 Specifying Software Requirements for Complex Systems: New Techniques and Their Applications K. Heninger
  9. IEEE Transactions on Software Engineering v.9 no.5 Abstract requirements specifications: A new approach and its application C. Heitmeyer;J. McLean
  10. in Proc. RE'93 Requirements Symposium Documentation of requirements for computer systems A. van Schouwen;D. Parnas;J. Madey
  11. in Proceedings of the 10th Annual Conference on Computer Assurance SCR*: A Toolset of for Specifying and Analyzing Requirements C. Heitmeyer;A. Bull;C. Gasarch;B. G. Labaw
  12. ACM Transactions of Software Engineering and Methodology v.5 no.3 Automated Consistency Checking of Requirements Specifications C.L. Heitmeyer;R.D. Jeffords;B.G. Labaw
  13. Model Checking Complete Requirements Specifications Using Abstraciton R. Bharadwaj;C. Heitmeyer
  14. IEEE Transactions on Software Engineering v.20 no.12 Modechart : A Specification language for real-time systems F. Jahanian;A. K. Mok
  15. IEEE Transactions on Software Engineering v.30 no.9 Requirements Specification for Process-Control Systems N.G. Leveson;M.P.E. Heimdahl;H. Hildreth;J.D. Reese
  16. Proceedings of the IEEE v.79 no.9 The Synchronous approach to reactive and real-time systems A. Benveniste;G. Berrry
  17. distributed in LUSTRE/LESAR distribution POC Pascal Raymondk
  18. in Proceedings of the 1996 International Symposium on Software Testing and Analysis A Logic-Model Semantic for SCR Software Requirements J.M. Atlee;M.A. Buckley
  19. Symbolic Model Checking K. L. McMillan
  20. 월성 2, 3, 4호기 원자로 정지계통의 필수 소프트웨어 검증 (최종보고서)
  21. in Hybrid Systems Ⅲ, Lecture Notes in Computer Science v.1068 Requirements Specifications for Hybrid Systems C. Heitmeyer