Validation of timing and communication constraints in real-time parallel programs = 실시간 병렬 프로그램에 대한 시간 및 통신 제약 조건의 검증

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 459
  • Download : 0
Two notable characteristics of real-time parallel programs are constraints on the timing behaviors and concurrency among tasks. Timing behaviors and concurrency are associated with uncertainty which may incur subtle yet critical timing and communicating errors. In this thesis, we deal with three kinds of uncertainty in real-time parallel programs and their specifications - timing uncertainty, nondeterminacy, and incompleteness. In particular, we describe the implications of the uncertainty over the verification phase and suggest a few ways of testing and verifying real-time parallel programs with uncertainty. Timing aspects of real-time programs are affected by such factors as external interfaces and underlying platforms. Since it is almost impossible to predict and/or measure their timing behaviors precisely, we propose a method of coping with such timing uncertainty in a formal fashion by incorporating fuzzy concepts into the timing model of duration calculus formalism. Semantics and proof systems for fuzzy duration calculus are also defined and illustrated using simple examples. Timing constraints on real-time programs can be verified against the fuzzy duration formulas based on the proof systems. Compared to the classical formalism, fuzzy duration calculus allows us to capture the vagueness of state intervals using fuzzy numbers. To demonstrate the effectiveness of the proposed ideas, a part of nuclear power plant control system is specified and verified using the fuzzy duration calculus. The sequence of interactions among concurrent tasks can change for reasons such as relative progress of tasks and communication delay. Uncertainty in the interaction sequences results in the nondeterminacy of parallel programs. Selective Instrumentation, a reproduction method with minimal probe effects, is suggested in this thesis to handle the difficulties associated with nondeterminacy --- non-reproducibility, probe effects and the space overhead. In order to minimize ...
Kwon, Yong-Raeresearcher권용래researcher
한국과학기술원 : 전산학과,
Issue Date
156221/325007 / 000955161

학위논문(박사) - 한국과학기술원 : 전산학과, 1999.8, [ xiii, 114 p. ]


Real-time system; Debugging; Verification; Testing; Parallel program; 검증; 디버깅; 테스팅; 병렬 프로그램; 실시간 시스템

Appears in Collection
Files in This Item
There are no files associated with this item.


  • mendeley


rss_1.0 rss_2.0 atom_1.0