Software Performance Analysis Using a Language Measure

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

Research output: Contribution to journalConference article

1 Citation (Scopus)

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

Fingerprint

Markov processes
Formal languages
Finite automata

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

Cite this

@article{7887c13b6e4f442fa7c9941dd7c7c665,
title = "Software Performance Analysis Using a Language Measure",
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.",
author = "Yiguang Hong and Trivedi, {Kishor S.} and Asok Ray and Shashi Phoha",
year = "2003",
month = "11",
day = "6",
language = "English (US)",
volume = "3",
pages = "2258--2263",
journal = "Proceedings of the American Control Conference",
issn = "0743-1619",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

Software Performance Analysis Using a Language Measure. / Hong, Yiguang; Trivedi, Kishor S.; Ray, Asok; Phoha, Shashi.

In: Proceedings of the American Control Conference, Vol. 3, 06.11.2003, p. 2258-2263.

Research output: Contribution to journalConference article

TY - JOUR

T1 - Software Performance Analysis Using a Language Measure

AU - Hong, Yiguang

AU - Trivedi, Kishor S.

AU - Ray, Asok

AU - Phoha, Shashi

PY - 2003/11/6

Y1 - 2003/11/6

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0142246277&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0142246277&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:0142246277

VL - 3

SP - 2258

EP - 2263

JO - Proceedings of the American Control Conference

JF - Proceedings of the American Control Conference

SN - 0743-1619

ER -