on static wcet analysis vs. run-time monitoring of execution.pptVIP

On Static WCET Analysis Vs. Run-time Monitoring of Execution Time Charles D. Cavanaugh, Ph.D. The Center for Advanced Computer Studies University of Louisiana at Lafayette Introduction Safety critical and mission critical software Input, process, output Ex. Air-traffic control Workload varies dynamically Can allocate resource for maximum expected input size Questions regarding resource allocation How to process more tracks than anticipated? How to get better utilization? Example Air traffic control display subsystem R-T display of radar, correlated data Overview Model and approach Diagnosis algorithm Conclusions and future work System Model and Approach Path – d.a.g. of connected programs, Pi Computational subpath – executing program ai,j,k Communication subpath – connection between two programs (ai,j,k, ai,j+1,k) System Model and Approach Observed time – path or subpath’s operating time ?OBS(Pi, c) Required time – specified bound on time ?REQ(Pi) Profiled time – mean execution or communication time with no other apps running or communicating CPROF(ai,j,k, |Pi.DS(ai,j,k, c)|, HOST(ai,j,k)) CMPROF(ai,j,k, ai,j+1,k, |Pi.DS(ai,j,k, ai,j+1,k, c)|, COMMPATH(ai,j,k, ai,j+1,k)) May vary dynamically with workload System Model and Approach Poor health – path or subpath’s operating time exceeding specified bounds ?OBS(Pi, c) exceeds ?REQ(Pi) because subpath latencies ?OBS(ai,j,k, c) and ?OBS(ai,j,k, ai,j+1,k, c) sum to more than ?REQ(Pi) Quality of service – operating time falling within specified bounds System Model and Approach Workload – amount of data a path or subpath processes Queueing delay or contention – time delay caused by other programs executing or communicating Difference between observed time and profiled time without contention Diagnosis Algorithm Monitors computational and communication subpaths Identifies unhealthy subpaths Distinguishes the cause of poor health Recommends actions to improve health Example Table 2. Example latency, profiled time, queuing del