The Journal of Korean Institute of Communications and Information Sciences (한국통신학회논문지)

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

Implementation technique of execution time predictable real-time mechanism control language

실행시간 예측가능한 실시간 메카니즘 제어언어의 구현기법

  • 백정현 (중경공업전문대학 전산과) ;
  • 원유헌 (홍익대학교 컴퓨터공학과)
  • Published : 1997.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we designed real time mechanism control language and proposed execution time analysis technique. It was impossible to handle real-time mechanism control programs like programmable controller, numerical controller, distributed control system and robot controller with general purpose programming languages and operating systems because they have to process electric signals generated by thousands of sensors at the same at the same time and in real time. So we made it possible to predict plausibility of time constraint constructs of tiem constraint construct of a real time application program at compilation time by adding time constraint constructs and mechanism synchronization structure to conditional statement and iteration statement of a programming language and developing execution time analysis technique.

Keywords

References

  1. Compilers:principles, techniques, and tools Jeffery D. Ulman;Ravi Sethi;Alfred V. Aho
  2. Real-time Systems and their Programming Languages Burns A.;Wellings A.J.
  3. Computer Science, University of York, PhD. thesis Static Timing Analysis and Program Proof Roderick Chapman
  4. Computer Science, University of Maryland, PhD. thesis Compiler-Assisted Scheduling for Real-time Application:A Static Alternative to Low-Level Tuning Seongsoo Hong
  5. Computer Science, University of Maryland, PhD. thesis Parametric Scheduling for Hard Real-Time Systems, M. Saksena
  6. IEEE Real-Time Systems Symposium, USA A Retargetable Technique for Prediciting Excution Time Harmon, M.G.;T. Baker;D.B. Whalley
  7. IEEE Transactions on Software Engineering v.SE-12 no.9 Real-Time Euclid:a language for reliable real-time systems Kligerman E.;a.D. Stoyenko
  8. Real-Time Systems v.1 no.2 Calculating the Macimum Execution Time of Real-Time Programs P. Puschner;Ch. Koza
  9. Second ACM SIGPLAN Workshop on Language, Compilers, and Tools for Real-Time Sysetms Language construction and transformation for hard real-time systems T. Chung;H. Dietz
  10. IEEE Transactions on Software Engineering v.SE-15 no.7 Reasoning about Time in Higher Level Language Software Shaw A.C.
  11. ACM SIGPLAN Workshop on Language, Compilers, and Tools for Real-Time Sysetms Compilation Support for Fine-Grained Execution Time Analysis Alexander Vrchoticky