Software Performance Analysis Using a Language Measure

Yiguang Hong, Kishor S. Trivedi, Asok Ray, Shashi Phoha

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations


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 languageEnglish (US)
Pages (from-to)2258-2263
Number of pages6
JournalProceedings of the American Control Conference
StatePublished - Nov 6 2003
Event2003 American Control Conference - Denver, CO, United States
Duration: Jun 4 2003Jun 6 2003

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering


Dive into the research topics of 'Software Performance Analysis Using a Language Measure'. Together they form a unique fingerprint.

Cite this