
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Mourad Rabah, Karama Kanoun, "Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach," IEEE Transactions on Computers, vol. 52, no. 2, pp. 223236, February, 2003.  
BibTex  x  
@article{ 10.1109/TC.2003.1176988, author = {Mourad Rabah and Karama Kanoun}, title = {Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach}, journal ={IEEE Transactions on Computers}, volume = {52}, number = {2}, issn = {00189340}, year = {2003}, pages = {223236}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2003.1176988}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach IS  2 SN  00189340 SP223 EP236 EPD  223236 A1  Mourad Rabah, A1  Karama Kanoun, PY  2003 KW  Dependability and performability evaluation KW  stochastic reward nets KW  modular modeling KW  multipurpose multiprocessors systems KW  distributed shared memory KW  clustered systems. VL  52 JA  IEEE Transactions on Computers ER   
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 servicelevel 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 enduser configuration selection. We illustrate the approach on a particular family of MMSs under investigation by a system manufacturer for Internet and ecommerce 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 enduser 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. 93122, vol. 2, no. 2, May 1984.
[2] J. Arlat and J.C. Laprie, “PerformanceRelated Dependability Evaluation of Supercomputer Systems,” Proc. 13th Int'l Symp. FaultTolerant Computing (FTCS13), pp. 276283, 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. FaultTolerant Computing (FTCS25), pp. 259268, 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. 12511268, 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. FaultTolerant Computing, pp. 668673, Toulouse, France, 1993.
[6] C. BetousAlmeida and K. Kanoun, “Dependability Evaluation from Functional to Structural Modelling,” Proc. 20th Int'l Conf. Computer Safety, Reliability and Security (SAFECOMP 2001), pp. 227237, 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 (FTCS30 and DCCA8), pp. 231236, 2000.
[8] A. Bondavalli, I. Mura, and M. Nelli, “Analytical Modelling and Evaluation of PhasedMission Systems for Space Applications,” Proc. IEEE High Assurance System Eng. Workshop (HASE '97) pp. 8591, 1997.
[9] A. Bondavalli, I. Mura, and K.S. Trivedi, “Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems,” Proc. European Dependable Computing Conf. (EDCC3), 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. 147165, 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. 2231, 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. 142151, 1989.
[13] G. Ciardo and K. Trivedi, “A Decomposition Approach for Stochastic Reward Net Models,” Performance Evaluation, vol. 18, no. 1, pp. 3759, 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. 258277.Berlin, Heidelberg: SpringerVerlag, 1994.
[15] N. Fota, M. Kaâniche, and K. Kanoun, “Dependability Evaluation of an Air Traffic Control Computing System,” Performance Evaluation, vol. 35, nos. 34, pp. 253273, 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. 321335, Birkhäuser, 1999.
[17] K. Kanoun and M. Borrel, “Dependability of FaultTolerant Systems—Explicit Modeling of the Interactions Between Hardware and Software Components,” Proc. Second IEEE Int'l Computer Performance and Dependability Symp. (IPDS), pp. 252261, UrbanaChampaign, 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. 528535, May 1999.
[19] R. Marie and A. JeanMarie, “Quantitative Evaluation of Discrete Event Systems: Models, Performances and Techniques,” Proc. Fifth Int'l Workshop Petri Nets and Performance Models (PNPM '93), pp. 211, 1993.
[20] J.F. Meyer, “Performability: A Retrospective and Some Pointers to the Future,” Performance Evaluation, vol. 14, nos. 34, pp. 139156, 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. 132, 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. 3359, 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. 13371351, 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. A37A39, 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. 279285, Nov. 1997.
[27] I. Rojas, “Compositional Construction of SWN Models,” The Computer J., vol. 38, no. 7, pp. 612621, 1995.
[28] R.A. Sahner and K.S. Trivedi, “Reliability Modeling Using SHARPE,” IEEE Trans. Reliability, vol. 36, no. 2, pp. 186193, 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. 89115, 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. (EDCC2), pp. 141158, 1996.
[31] L.A. Tomek, V. Mainkar, R.M. Geist, and K.S. Trivedi, “Reliability Modeling of LifeCritical, RealTime Systems,” Proc. IEEE, special issue on realtime systems, vol. 82, no. 1, pp. 108121, 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. 124, 1994.