Performability evaluation of multipurpose multiprocessor systems: The "separation of concerns" approach

IEEE Transactions on Computers

Volumn 52, Issue 2, 2003, Pages 223-236

  Rabah, Mourad ^a   Kanoun, Karama ^b  

^a UNIVERSITÉ DE LA ROCHELLE   (France)

^b LAAS CNRS   (France)

Author keywords

Clustered systems; Dependability and performability evaluation; Distributed shared memory; Modular modeling; Multipurpose multiprocessors systems; Stochastic reward nets

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SOFTWARE MAINTENANCE; ELECTRONIC COMMERCE; FAULT TOLERANT COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; RANDOM ACCESS STORAGE; STOCHASTIC CONTROL SYSTEMS;

CLUSTERED SYSTEMS; STOCHASTIC REWARD NETS;

MULTIPROCESSING SYSTEMS;

EID: 0037328215     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/TC.2003.1176988     Document Type: Article

References (32)

1. M.A. Marsan, G. Balbo, and G. Conte, "A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems," ACM Trans. Computer Systems, vol. 2, no. 2, pp. 93-122, 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.C. Bruell, and S. Ghanta, "Combining Queuing Networks and GSPNs for the Solution of Complex Models of System Behaviour," IEEE Trans. Computers, vol. 37, no. 10, pp. 1251-1268, Oct. 1988.
5. C. Béounes, M. Aguéra, J. Arlat, S. Bachman, C. Bourdeau, J.E. Doucet, K. Kanonn, J.-C. Laprie, S. Metge, J. Moreira de Souza, D. Powell, and P. Spiesser, "SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems," Proc. 23rd Int'l Symp. Fault-Tolerant Computing, pp. 668-673, 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. Int'l Conf. Dependable Systems and Networks (DSN 2000), pp. 231-236, 2000.
8. A. Bondavalli, I. Mura, and M. Nelli, "Analytical Modeling and Evaluation of Phased Mission Systems in Space Applications," Proc. Second IEEE High Assurance System Eng. Workshop (HASE), pp. 85-91, 1997.
9. A. Bondavalli, I. Mura, and K.S. Trivedi, "Dependability Modeling and Sensitivity Analysis of Scheduled Maintenance Systems," Proc. Third European Dependable Computing Conf. (EDCC-3), pp. 7-23, 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.S. Miner, "A Data Structure for the Efficient Kronecker Solution of GSPNs," Proc. Eighth Int'l Workshop Petri Nets and Performance Models (PNPM '99), pp. 22-29, 1999.
12. G. Ciardo, J. Muppala, and K.S. Trivedi, "SPNP: Stochastic Petri Net Package," Proc. Third Int'l Workshop Petri Nets and Performance Models (PNPM '89), 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 Net: Definition and Efficient Solution," Proc. 15th Int'l Conf. Applications and Theory of Petri Nets, pp. 258-277, 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. Int'l Computer Performance & Dependability Symposium (IPDS '96), pp. 252-261, 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.C. Howe, and K.S. Trivedi, "Dependability Modeling of a Heterogeneous VAX-Cluster System Using Stochastic Reward Nets," Hardware and Software Fault Tolerance in Parallel Computing Systems, D.R. Avresky, ed., pp. 33-59, Ellis Horwood Ltd., 1992.
23. L. 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. M. Rabah and K. Kanoun, "Dependability Evaluation of a Distributed Shared Memory Multiprocessor System," Proc. Third European Dependable Computing Conf. (EDCC-3), pp. 42-59, 1999.
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, "The UltraSAN Modeling Environment," Performance Evaluation, vol. 24, nos. 1-2, 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.