메뉴 건너뛰기




Volumn , Issue 6, 1999, Pages 29-36

Evolutionary algorithms for the verification of execution time bounds for real-time software

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTER SOFTWARE; EVOLUTIONARY ALGORITHMS; OPTIMIZATION; PARAMETER ESTIMATION; PROBLEM SOLVING;

EID: 6344233191     PISSN: 09633308     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (5)

References (11)
  • 2
    • 0030244313 scopus 로고    scopus 로고
    • Combining static worst-case timing analysis and program proof
    • Chapman R. Burns A. Wellings A. Combining static worst-case timing analysis and program proof. Real-Time Systems, 11:145-171, 1996.
    • (1996) Real-time Systems , vol.11 , pp. 145-171
    • Chapman, R.1    Burns, A.2    Wellings, A.3
  • 3
    • 0027556297 scopus 로고
    • Predicting program execution times by analyzing static and dynamic program paths
    • Park C.Y. Predicting program execution times by analyzing static and dynamic program paths. Real-Time Systems, 5:31-62, 1993.
    • (1993) Real-time Systems , vol.5 , pp. 31-62
    • Park, C.Y.1
  • 5
    • 0003429227 scopus 로고
    • PhD thesis, Department of Electronics and Information Technology, University of Glamorgan
    • Sthamer H.H. The Automatic Generation of Software Test Data. PhD thesis, Department of Electronics and Information Technology, University of Glamorgan, 1995.
    • (1995) The Automatic Generation of Software Test Data
    • Sthamer, H.H.1
  • 6
    • 0031629844 scopus 로고    scopus 로고
    • A comparison of static analysis and evolutionary testing for the verification of timing constraints
    • Denver, Colorado, June
    • Müller F. Wegener J. A comparison of static analysis and evolutionary testing for the verification of timing constraints. In Fourth IEEE Real-Time Technology and Applications Symposium, Denver, Colorado, June 1998.
    • (1998) Fourth IEEE Real-time Technology and Applications Symposium
    • Müller, F.1    Wegener, J.2
  • 8
    • 0000039023 scopus 로고
    • Calculating the maximum execution time of real-time programs
    • Koza C. Puschner P. Calculating the maximum execution time of real-time programs. Real-Time Systems, 1:159-176, 1989.
    • (1989) Real-time Systems , vol.1 , pp. 159-176
    • Koza, C.1    Puschner, P.2


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