Large software systems, such as telecom applications, are often built on reused components. Such systems are often developed using components from previous similar projects, or simply using a reconfiguration of the same set of components from a previous similar project. Performance prediction of such software system architectural design provides a quantified measurement for better design quality. The design is specified in a communicating extended finite state machine model. The model is extended with stochastic information and simulated for performance prediction. The stochastic extension requires performance data for each component and load information of the system environment. This paper addresses the problem of abstracting stochastic performance model of a component to be reused in a software architectural design. We use a software supervision approach to monitor the performance of a deployed component and collect its execution trace, including individual time stamps of the externally observable signals. We then derive a stochastic performance model of the component from the trace. The model can be used later in performance prediction when the component is reused. We applied this method to a control program of a small telephone exchange. We were able to reuse a component and its performance data in a new exchange design.
[1]
Philippe Kruchten,et al.
The 4+1 View Model of Architecture
,
1995,
IEEE Softw..
[2]
Daniel Brand,et al.
On Communicating Finite-State Machines
,
1983,
JACM.
[3]
Bran Selic,et al.
A wideband approach to integrating performance prediction into a software design environment
,
1998,
WOSP '98.
[4]
Kishor S. Trivedi,et al.
A Decomposition Approach for Stochastic Reward Net Models
,
1993,
Perform. Evaluation.
[5]
Rudolph E. Seviora,et al.
An approach to automatic detection of software failures
,
1995,
Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.
[6]
Joseph Robert Horgan,et al.
Applying formal description techniques to software architectural design
,
2000,
Comput. Commun..
[7]
Guy Juanole,et al.
Observer-A Concept for Formal On-Line Validation of Distributed Systems
,
1994,
IEEE Trans. Software Eng..
[8]
Walter Mann,et al.
Correction to "Specification and Analysis of System Architecture Using Rapide"
,
1995,
IEEE Trans. Software Eng..