This Article 
 Bibliographic References 
 Add to: 
Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach
February 2003 (vol. 52 no. 2)
pp. 223-236

Abstract—The aim of our work is to provide a modeling framework for evaluating performability measures of Multipurpose, Multiprocessor Systems (MMSs). The originality of our approach is in the explicit separation between the architectural and environmental concerns of a system. The overall dependability model, based on Stochastic Reward Nets, is composed of 1) an architectural model describing the behavior of system hardware and software components, 2) a service-level model, and 3) a maintenance policy model. The two latter models are related to the system utilization environment. The results can be used for supporting the manufacturer design choices as well as the potential end-user configuration selection. We illustrate the approach on a particular family of MMSs under investigation by a system manufacturer for Internet and e-commerce applications. As the systems are scalable, we consider two architectures: a reference one composed of 16 processors and an extended one with 20 processors. Then, we use the obtained results to evaluate the performability of a clustered system composed of four reference systems. We evaluate comprehensive measures defined with respect to the end-user service requirements and specific measures in relation to the Distributed Shared Memory paradigm.

[1] M.Ajmone Marsan,G. Balbo,, and G. Conte,“A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Computer Systems, pp. 93-122, vol. 2, no. 2, May 1984.
[2] J. Arlat and J.-C. Laprie, “Performance-Related Dependability Evaluation of Supercomputer Systems,” Proc. 13th Int'l Symp. Fault-Tolerant Computing (FTCS-13), pp. 276-283, 1983.
[3] M. Balakrishnan and K.S. Trivedi, “Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components,” Proc. 25th Int'l Symp. Fault-Tolerant Computing (FTCS-25), pp. 259-268, 1995.
[4] G. Balbo, S. Bruell, and S. Ghanta, Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behaviour IEEE Trans. Computers, vol. 37, pp. 1251-1268, 1988.
[5] C. Béounes, M. Aguéra, J. Arlat, S. Bachman, C. Bourdeau, J.E. Doucet, K. Kanoun, J.-C. Laprie, S. Metge, J. Moreira de Souza, D. Powell, and P. Spiesser, “SURF2: A Program for Dependability Evaluation of Complex Hardware and Software Systems” Proc. 23rd IEEE Int'l Symp. Fault-Tolerant Computing, pp. 668-673, Toulouse, France, 1993.
[6] C. Betous-Almeida and K. Kanoun, “Dependability Evaluation from Functional to Structural Modelling,” Proc. 20th Int'l Conf. Computer Safety, Reliability and Security (SAFECOMP 2001), pp. 227-237, 2001.
[7] A. Bondavalli, I. Mura, S. Chiaradonna, R. Filippini, S. Poli, and F. Sandrini, “DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems,” Proc. DSN2000 Int'l Conf. Dependable Systems and Networks (FTCS-30 and DCCA-8), pp. 231-236, 2000.
[8] A. Bondavalli, I. Mura, and M. Nelli, “Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications,” Proc. IEEE High Assurance System Eng. Workshop (HASE '97) pp. 85-91, 1997.
[9] A. Bondavalli, I. Mura, and K.S. Trivedi, “Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems,” Proc. European Dependable Computing Conf. (EDCC-3), 1999.
[10] J. Campos, S. Donatelli, and M. Silva, “Structured Solution of Asynchronously Communicating Stochastic Modules,” IEEE Trans. Software Eng., vol. 25, no. 2, pp. 147-165, Mar./Apr. 1999.
[11] G. Ciardo and A. Miner, A Data Structure for the Efficient Kronecker Solution of GSPNs Proc. Eighth Int'l Workshop Petri Nets and Performance Models, pp. 22-31, 1999.
[12] G. Ciardo, J. Muppala, and K. Trivedi, SPNP: Stochastic Petri Net Package Proc. Third Int'l Workshop Petri Nets and Performance Models, pp. 142-151, 1989.
[13] G. Ciardo and K. Trivedi, “A Decomposition Approach for Stochastic Reward Net Models,” Performance Evaluation, vol. 18, no. 1, pp. 37-59, 1993.
[14] S. Donatelli, "Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution," R. Valette, ed., Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, Lecture Notes in Computer Science 815, pp. 258-277.Berlin, Heidelberg: Springer-Verlag, 1994.
[15] N. Fota, M. Kaâniche, and K. Kanoun, “Dependability Evaluation of an Air Traffic Control Computing System,” Performance Evaluation, vol. 35, nos. 3-4, pp. 253-273, 1999.
[16] N. Fota, M. Kâaniche, and K. Kanoun, “Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling,” Statistical and Probabilistic Models in Reliability, D.C. Ionescu and N. Limnios, eds., pp. 321-335, Birkhäuser, 1999.
[17] K. Kanoun and M. Borrel, “Dependability of Fault-Tolerant Systems—Explicit Modeling of the Interactions Between Hardware and Software Components,” Proc. Second IEEE Int'l Computer Performance and Dependability Symp. (IPDS), pp. 252-261, Urbana-Champaign, Ill., 1996.
[18] K. Kanoun, M. Borrel, T. Moreteveille, and A. Peytavin, “Availability of CAUTRA, a Subset of the French Air Traffic Control System,” IEEE Trans. Computers, vol. 48, no. 5, pp. 528-535, May 1999.
[19] R. Marie and A. Jean-Marie, “Quantitative Evaluation of Discrete Event Systems: Models, Performances and Techniques,” Proc. Fifth Int'l Workshop Petri Nets and Performance Models (PNPM '93), pp. 2-11, 1993.
[20] J.F. Meyer, “Performability: A Retrospective and Some Pointers to the Future,” Performance Evaluation, vol. 14, nos. 3-4, pp. 139-156, 1992.
[21] J.F. Meyer and W.H. Sanders, “Specification and Construction of Performability Models,” Proc. Int'l Workshop Performability Modeling of Computer and Comm. Systems, pp. 1-32, 1993.
[22] J.K. Muppala, A. Sathaye, R. Howe, and K.S. Trivedi, “Dependability Modeling of a Heterogeneous VAXcluster System Using Stochastic Reward Nets,” Hardware and Software Fault Tolerance in Parallel Computing Systems, D.R. Avresky, ed., pp. 33-59, 1992.
[23] I. Mura and A. Bondavalli, “Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability,” IEEE Trans. Computers, vol. 50, no. 12, pp. 1337-1351, Dec. 2001.
[24] M. Rabah, “Dependability Evaluation of Multipurpose Multiprocessor Systems,” PhD thesis, Nat'l Polytechnic Inst., Toulouse, France, in French, LAAS report 00453, Nov. 2000.
[25] M. Rabah, “Performability of a Distributed Shared Memory Multiprocessor Systems,” Proc. Int'l Conf. Dependable Systems and Networks (DSN 2000), pp. A37-A39, 2000.
[26] H. Shi, F. Sha, J.L. Drewniak, T.P. Van Doren, and J.H. Hubing, An Experimental Procedure for Characterizing Interconnects to the DC Power Bus on a Multilayer Printed Circuit Board IEEE Trans. EMC, vol. 39, pp. 279-285, Nov. 1997.
[27] I. Rojas, “Compositional Construction of SWN Models,” The Computer J., vol. 38, no. 7, pp. 612-621, 1995.
[28] R.A. Sahner and K.S. Trivedi, “Reliability Modeling Using SHARPE,” IEEE Trans. Reliability, vol. 36, no. 2, pp. 186-193, 1987.
[29] W.H. Sanders, W.D. Obal II, M.A. Qureshi, and F.K. Widjanarko, “TheUltraSANModeling Environment,” Performance Evaluation, vol. 24, no. 1, pp. 89-115, 1995.
[30] V. Santonja, M. Alonso, J. Molero, J.J. Serrano, P. Gil, and R. Ors, “Dependability Models of RAID Using Stochastic Activity Networks,” Proc. Second European Dependable Computing Conf. (EDCC-2), pp. 141-158, 1996.
[31] L.A. Tomek, V. Mainkar, R.M. Geist, and K.S. Trivedi, “Reliability Modeling of Life-Critical, Real-Time Systems,” Proc. IEEE, special issue on real-time systems, vol. 82, no. 1, pp. 108-121, 1994.
[32] K.S. Trivedi, B.R. Haverkort, A. Rindos, and V. Mainkar, “Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives,” Proc. Seventh Int'l Conf. Modelling Techniques and Tools for Computer Performance Evaluation, pp. 1-24, 1994.

Index Terms:
Dependability and performability evaluation, stochastic reward nets, modular modeling, multipurpose multiprocessors systems, distributed shared memory, clustered systems.
Mourad Rabah, Karama Kanoun, "Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach," IEEE Transactions on Computers, vol. 52, no. 2, pp. 223-236, Feb. 2003, doi:10.1109/TC.2003.1176988
Usage of this product signifies your acceptance of the Terms of Use.