Skip to main content
Journal cover image

Specification-level integration of simulation and dependability analysis

Publication ,  Conference
Gokhale, SS; Horgan, JR; Trivedi, KS
Published in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
January 1, 2003

Software architectural choices have a profound influence on the quality attributes supported by a system. Architecture analysis can be used to evaluate the influence of design decisions on important quality attributes such as maintainability, performance and dependability. As software architecture gains appreciation as a critical design level for software systems, techniques and tools to support testing, understanding, debugging and maintaining these architectures are expected to become readily available. In addition to providing the desired support, data collected from these tools also provides a rich source of information from the point of view of performance and dependability analysis of the architecture. This paper presents a performance and dependability analysis methodology which illustrates the use of such data. The methodology thus seeks a three way integration of distinct and important areas, namely, formal specification, specification simulation/testing and performance and dependability analysis. We illustrate the key steps in the methodology with the help of a case study. © Springer-Verlag 2003.

Duke Scholars

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

EISSN

1611-3349

ISSN

0302-9743

ISBN

9783540407270

Publication Date

January 1, 2003

Volume

2677 LNCS

Start / End Page

245 / 266

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Gokhale, S. S., Horgan, J. R., & Trivedi, K. S. (2003). Specification-level integration of simulation and dependability analysis. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2677 LNCS, pp. 245–266). https://doi.org/10.1007/3-540-45177-3_11
Gokhale, S. S., J. R. Horgan, and K. S. Trivedi. “Specification-level integration of simulation and dependability analysis.” In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2677 LNCS:245–66, 2003. https://doi.org/10.1007/3-540-45177-3_11.
Gokhale SS, Horgan JR, Trivedi KS. Specification-level integration of simulation and dependability analysis. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2003. p. 245–66.
Gokhale, S. S., et al. “Specification-level integration of simulation and dependability analysis.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2677 LNCS, 2003, pp. 245–66. Scopus, doi:10.1007/3-540-45177-3_11.
Gokhale SS, Horgan JR, Trivedi KS. Specification-level integration of simulation and dependability analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2003. p. 245–266.
Journal cover image

Published In

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

DOI

EISSN

1611-3349

ISSN

0302-9743

ISBN

9783540407270

Publication Date

January 1, 2003

Volume

2677 LNCS

Start / End Page

245 / 266

Related Subject Headings

  • Artificial Intelligence & Image Processing
  • 46 Information and computing sciences