| Title | Software Performance Analysis Using a Language Measure |
| Publication Type | Journal Article |
| Year of Publication | 2003 |
| Authors | Y Hong, KS Trivedi, A Ray, and S Phoha |
| Journal | Proceedings of the American Control Conference |
| Volume | 3 |
| Start Page | 2258 |
| Pagination | 2258 - 2263 |
| Date Published | 11/2003 |
| 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. |
| Short Title | Proceedings of the American Control Conference |