Abstract
This paper presents software performance analysis using a finite state automaton model. A signed real measure of formal languages has been used for quantitative evaluation of the software. This paper extends an earlier model based on a discrete time Markov chain to a semi-Markov process. As an example, a software rejuvenation policy is analyzed using the proposed approach.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 2258-2263 |
| Number of pages | 6 |
| Journal | Proceedings of the American Control Conference |
| Volume | 3 |
| State | Published - 2003 |
| Event | 2003 American Control Conference - Denver, CO, United States Duration: Jun 4 2003 → Jun 6 2003 |
All Science Journal Classification (ASJC) codes
- Electrical and Electronic Engineering