메뉴 건너뛰기




Volumn , Issue , 1997, Pages 252-262

Efficient run-time monitoring of timing constraints

Author keywords

[No Author keywords available]

Indexed keywords

CRITICAL TIMING CONSTRAINTS; DETECTION LATENCY; JAVA APPLICATIONS; RESOURCE USAGE; RUNTIME MONITORING; RUNTIMES; TIMING CONSTRAINTS; TIMING FAILURES;

EID: 0031348032     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1997.601363     Document Type: Conference Paper
Times cited : (58)

References (27)
  • 3
    • 0026940108 scopus 로고    scopus 로고
    • Monitoring and debugging distributed real-time programs
    • Oct. 1992
    • P. S. Dodd and C. V. Ravishankar, "Monitoring and Debugging Distributed Real-Time Programs", Software-Practice and Experience, V01. 22, No. 10, Oct. 1992, pp. 863-877.
    • Software-Practice and Experience , vol.1-22 , Issue.10 , pp. 863-877
    • Dodd, P.S.1    Ravishankar, C.V.2
  • 5
    • 0025386282 scopus 로고    scopus 로고
    • A Hybrid monitor for behavior and perfoirmance analysis of distributed systems
    • 1990
    • D. Haban and D. Wybranietz, "A Hybrid Monitor for Behavior and Perfoirmance Analysis of Distributed Systems", IEEE Trans Software Eng., Vo1. 16, No. 2, Feb. 1990, pp. 197-211.
    • IEEE Trans Software Eng. , vol.16 , Issue.2 , pp. 197-211
    • Haban, D.1    Wybranietz, D.2
  • 6
    • 0001625292 scopus 로고
    • Safety analysis of timing properties in real-time systems
    • E Jahanian and A. K. Mok, "Safety Analysis of Timing Properties in Real-Time Systems", ZEEE Trans. Software Eng., Vol. SE-12, No. 9, Sept. 1986, pp. 890-904.
    • (1986) ZEEE Trans. Software Eng. , vol.SE-12 , Issue.9 , pp. 890-904
    • Jahanian, E.1    Mok, A.K.2
  • 7
    • 0025595567 scopus 로고
    • A Formalism for monitoring real-time constraints at runtime
    • June
    • E Jahanian and A. Goyal, "A Formalism for Monitoring Real-Time Constraints at Runtime", Proc. IEEE Fault-Tolerant Computing Symp., June 1990, pp. 148-155.
    • (1990) Proc. IEEE Fault-Tolerant Computing Symp , pp. 148-155
    • Jahanian, E.1    Goyal, A.2
  • 9
    • 0026152804 scopus 로고
    • Building flexible real-time systems using the flex language
    • K. B. Kenny and K.-J. Lin, "Building Flexible Real-Time Systems using the Flex Language", Computer, Vo1. 24, No. 5, May 1991, pp. 70-78.
    • (1991) Computer , vol.24 , Issue.5 , pp. 70-78
    • Kenny, K.B.1    Lin, K.-J.2
  • 11
    • 0024753882 scopus 로고
    • Hardware monitoring of a multiprocessor system
    • A.-C. Liu and R. Parthasarathi, "Hardware Monitoring of a Multiprocessor System", IEEE Micro, Vo1. 9, No. 5, Oct. 1989, pp. 44-51.
    • (1989) IEEE Micro , vol.9 , Issue.5 , pp. 44-51
    • Liu, A.-C.1    Parthasarathi, R.2
  • 12
    • 0025547075 scopus 로고
    • Specification and identification of events for debugging and performance monitoring of distributed multiprocessor systems
    • JB. Lumpp et al., "Specification and Identification of Events for Debugging and Performance Monitoring of Distributed Multiprocessor Systems", Proc. 10th Int'l Con Distributed Computing Systems, 1990, pp. 477-483.
    • (1990) Proc 10th Int'l Con Distributed Computing Systems , pp. 477-483
    • Lumpp Et Al, J.B.1
  • 14
    • 0025481234 scopus 로고
    • Multiprocessor performance-measurement instrumentation
    • Sept.
    • A. Mink, R. Carpenter, G. Nacht, and J. Roberts, "Multiprocessor Performance-Measurement Instrumentation", Computer, Vo1. 23, No. 9, Sept. 1990, pp. 63-75.
    • (1990) Computer , vol.23 , Issue.9 , pp. 63-75
    • Mink, A.1    Carpenter, R.2    Nacht, G.3    Roberts, J.4
  • 15
    • 0022231889 scopus 로고
    • A graph-based computation model for real-time systems
    • August
    • A. R. Mak, "A Graph-Based Computation Model for Real-Time Systems", P m. IEEE Parallel Processing, August 1985, pp. 619-623,.
    • (1985) P M. IEEE Parallel Processing , pp. 619-623
    • Mak, A.R.1
  • 16
    • 0023533454 scopus 로고
    • Annotating ada for real-time program synthesis
    • A. K. Mok, "Annotating Ada for Real-Time Program Synthesis", Proc. Computer Assurance, 1987
    • (1987) Proc. Computer Assurance
    • Mok, A.K.1
  • 19
    • 84884385546 scopus 로고    scopus 로고
    • Iowa State University: Ames, Iowa
    • K. Niben, "Real-Time Java", Iowa State University: Ames, Iowa, 1996.
    • (1996) Real-Time Java
    • Niben, K.1
  • 21
    • 0021520187 scopus 로고
    • Real-time execution monitoring
    • Nov.
    • B. Plattner, "Real-Time Execution Monitoring", ZEEE Trans. Software Eng., Vol. SE-10, No. 6, Nov. 1984, pp. 756-764.
    • (1984) ZEEE Trans. Software Eng. , vol.SE-10 , Issue.6 , pp. 756-764
    • Plattner, B.1
  • 23
    • 0024104014 scopus 로고
    • A Real-time programming event monitor
    • Education Nov.
    • J. D. Schoeffler, "A Real-Time Programming Event Monitor", IEEE Trans. Education, Vo1. 3 1, No. 4, Nov. 1988, pp. 245-250.
    • (1988) IEEE Trans , vol.31 , Issue.4 , pp. 245-250
    • Schoeffler, J.D.1
  • 24
    • 0024011135 scopus 로고
    • A relational approach to monitoring complex systemp
    • May
    • R. Snodgrass, "A Relational Approach to Monitoring Complex SystemP, ACM Trans. Computer System, Vo1. 6, No. 2, May 1988, pp. 157-196.
    • (1988) ACM Trans. Computer System , vol.6 , Issue.2 , pp. 157-196
    • Snodgrass, R.1
  • 26
    • 0025398873 scopus 로고
    • A Noninvasive architecture to monitor real-time distributed systems
    • Mar.
    • J. J. P. Tsai, K.-Y. Fang, and H.-Y. Chen, "A Noninvasive Architecture to Monitor Real-Time Distributed Systems", Computer, Vo1. 23, No. 3, Mar. 1990, pp. 11-23.
    • (1990) Computer , vol.23 , Issue.3 , pp. 11-23
    • Tsai, J.J.P.1    Fang, K.-Y.2    Chen, H.-Y.3
  • 27
    • 54249093055 scopus 로고
    • Monitoring and debugging of distributed real-time systems
    • Los Alamitos, CA
    • J. J. P. Tsai and S. J. H. Yang, eds, "Monitoring and Debugging of Distributed Real-Time Systems", IEEE CS Press, Los Alamitos, CA, 1995.
    • (1995) IEEE CS Press
    • Tsai, J.J.P.1    Yang, S.J.H.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.