Paper Info
Title
Specification: level integration of simulation and dependability analysis
Abstract
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.
Year
DOI
Venue
2002
10.1007/3-540-45177-3_11
WADS
Keywords
DocType
ISBN
critical design level,software system,software architectural choice,level integration,architecture analysis,formal specification,important area,dependability analysis methodology,software architecture gains appreciation,design decision,dependability analysis,software architecture,software systems,data collection,dependence analysis,system architecture
Conference
3-540-40727-8
Citations 
PageRank 
References 
1
0.38
16
Authors
3
Name
Order
Citations
PageRank
Swapna S. Gokhale186077.93
Joseph Robert Horgan21232132.79
Trivedi, K.S.37721700.23