한국정보과학회논문지:컴퓨팅의 실제 및 레터 (Journal of KIISE:Computing Practices and Letters)

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

정적 분석을 이용하여 시간 제약 조건을 해결한 실시간 언어의 설계 및 구현

Design and Implementation of Real-Time Language Satisfying Timing Constraints using the Results of Static Analysis

  • 이준동 (원주대학 전산정보처리) ;
  • 백정현 (우송공업대학 컴퓨터정보계열) ;
  • 원유헌 (홍익대학교 정보컴퓨터공학부)
  • 발행 : 2000.12.01
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

실시간 프로그램은 다양한 응용분야에 중요하게 이용되고 있는데, 기존의 일반 언어는 시간적인 개념을 고려하여 설계하지 않았으므로 실시간 응용에 부적합하며, 이를 해결하기 위한 실시간 언어는 시간 개념을 표현하기 위하여 많은 문법이 추가되어 기존 프로그래머에 익숙치 못한 결점이 있다. 본 연구에서는 기존의 C언어에 익숙한 프로그래머들이 저항감 없이 실시간 프로그래밍을 할 수 있는 언어를 설계하고 구현한다. 이 구현에서는 시간 트리를 이용함으로써 원시 언어와 목적 언어의 연결이 가능하며, 정적 분석을 이용한 결과를 코드 생성에 이용함으로써 외부적인 타이머 없이 시간적인 사건의 처리가 가능하다.

키워드

참고문헌

  1. A Burns and AJ, Wellings, Real-time Systems and their Programming Languages, Addison-Wesley, 1990.
  2. T.Chung, H.Dietz, Language construction and transformation for Hard real-time system, Second ACM SIGPLAN Workshop, 1995
  3. S. Hong and R. Gerber. Compiling real-time programs into schedulable code. In Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation. ACM Press, June 1993. SIGPLAN Notices, 28(6):166-176 https://doi.org/10.1145/155090.155106
  4. E. Kligerman and A ,D. Stoyenko. Real-time Euclid: A language for reliable real-time systems. IEEE Transactions on Software Engineering, 12:941--949, September 1986.
  5. K. J. Lin and S. Natarajan. Expressing and Maintaining Timing Constraints in FLEX. In Real-Time Systems Symposium, December 1988. https://doi.org/10.1109/REAL.1988.51105
  6. V. Wolfe, S. Davidson, and I. Lee. RTC: Language support for real- time concurrency. In Proceedings of the 12th IEEE Real-time Systems Symposium, pages 43--52, San Antonio, Texas, December 1991. https://doi.org/10.1109/REAL.1991.160357
  7. V. Nirkhe, S. Tripathi, and A Agrawala. Language Support for the Maruti Real-Time System. In Real-Time Systems Symposium, December 1990. https://doi.org/10.1109/REAL.1990.128756
  8. 백정현, 원유헌, 프로그래밍형 자동화기기를 위한 실시간 메카니즘제어 언어의 구현기법, 대한전자공학회 논문지, 제 34권 11호, 1997.
  9. S.Lim, Y.Bae, G.Jang, B.Rhee,SMin,C.Park, H.Shin,K.Park,and C.Kim An Accurate Worst Case Timing Analysis for RISC Processors Proceeding of 15th Real-Time Systems Symposium, 1994.
  10. M.G.Harmon, TP.Baker, and D.B.Whalley. A Retargetable Technique for Predicting Execution Time of Code Segments. REAL-TIME SYSTEMS, 7(2):152 -182, 1994 https://doi.org/10.1007/BF01088803
  11. F.Mueller, Static cache Simulation and Its Applications, PhD Dissertation, Florida State Univ., 1994
  12. Yau-Tsun Steven Li, S.Malik,A.Wolfe Cache Modeling for Real-Time Software.Beyond Direct Mapped Inctruction Caches, Princeton Univ., 1995.
  13. P.Puschner and A.Schedl Computing Maximum Task Execution Times - A Graph-based Approach. 1991.
  14. P. Altcnbernd, CHaRy : The C-LAB Hard Real-Time System to Support Mechatronical Design, International Conference and Workshop on Engineering of Computer Based System(ECBS), Monterey, 1997. https://doi.org/10.1109/ECBS.1997.581880
  15. F. Bourdoncle, Effective chaotic iteration strategies with widening, Procedings of the International Conference on Formal Methods in Programming and Their Applications, 1993.
  16. P. Cousot, Semantic foundations of program analysis, in Muchnick and Jones Eds., Program Flow Analysis, Theory and Applications, Prentice-Hall, 1981.
  17. Jakob Engblom, Worst-Case Execution Time Analysis for Optimized Code, Uppsala Univ. 1997
  18. L.Ko,C.Healy,E.Ratliff, R.Arnold, D. Whalley, M.G.Harmon Supporting the specification and analysis of timing constraints. In proc. of the IEEE Real-Time Tech. and App. Symposium, June 1996. https://doi.org/10.1109/RTTAS.1996.509534
  19. P. Puschner and C. Koza. Calculating the Maximum Execution Times of Real-Time Programs. The Journal of Real-Time Systems, 1(2):159--176, September 1989 https://doi.org/10.1007/BF00571421