Skip header Section
Skip Bibliometrics Section
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software packageJanuary 1996
Abstract
No abstract available.
Cited By
Masetti G, Chiaradonna S, Di Giandomenico F, Sanders W and Feddersen B (2021). Extending the Möbius Modeling Environment with the Advanced Replication Operator, ACM SIGMETRICS Performance Evaluation Review, 48:4, (62-67), Online publication date: 17-May-2021.- Scarpa M and Molica G MAGNET Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, (164-169)
- Trivedi K Performance Engineering Education Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion, (179-179)
- Ge M, Hong J, Guttmann W and Kim D (2017). A framework for automating security analysis of the internet of things, Journal of Network and Computer Applications, 83:C, (12-27), Online publication date: 1-Apr-2017.
- Matos R, Dantas J, Araujo J, Trivedi K and Maciel P (2017). Redundant Eucalyptus Private Clouds, Journal of Grid Computing, 15:1, (1-22), Online publication date: 1-Mar-2017.
- Kamyod C, Nielsen R, Prasad N and Prasad R (2016). A Novel Estimation Framework for Quality of Resilience, Wireless Personal Communications: An International Journal, 90:3, (1369-1386), Online publication date: 1-Oct-2016.
- Pérez-Miguel C, Mendiburu A and Miguel-Alonso J (2015). Modeling the availability of Cassandra, Journal of Parallel and Distributed Computing, 86:C, (29-44), Online publication date: 1-Dec-2015.
- Ro C (2015). Modeling and analysis of memory virtualization in cloud computing, Cluster Computing, 18:1, (177-185), Online publication date: 1-Mar-2015.
- Munir A, Antoon J and Gordon-Ross A (2015). Modeling and Analysis of Fault Detection and Fault Tolerance in Wireless Sensor Networks, ACM Transactions on Embedded Computing Systems, 14:1, (1-43), Online publication date: 21-Jan-2015.
- Thomasian A (2014). Analysis of Fork/Join and Related Queueing Systems, ACM Computing Surveys, 47:2, (1-71), Online publication date: 8-Jan-2015.
- Vinayak R, Krishnaswamy D and Dharmaraja S (2014). Analytical modeling of Transmission Control Protocol NewReno using Generalized Stochastic Petri Nets, International Journal of Communication Systems, 27:12, (4185-4198), Online publication date: 1-Dec-2014.
- Lima M, Maciel P, Silva B and Guimarães A (2014). Performability evaluation of emergency call center, Performance Evaluation, 80:C, (27-42), Online publication date: 1-Oct-2014.
- Mitrevski P and Hristoski I (2014). Behavioral-based performability modeling and evaluation of e-commerce systems, Electronic Commerce Research and Applications, 13:5, (320-340), Online publication date: 1-Sep-2014.
- Munir A, Gordon-Ross A, Ranka S and Koushanfar F (2014). A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems, Journal of Parallel and Distributed Computing, 74:1, (1872-1890), Online publication date: 1-Jan-2014.
- Codetta-Raiteri D and Portinale L A GSPN based tool to inference generalized continuous time Bayesian networks Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (316-319)
- Zimmermann A Reliability modelling and evaluation of dynamic systems with stochastic Petri nets (tutorial) Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (324-327)
- Yang Y, Zhang Y, Wang A, Yu M, Zang W, Liu P and Jajodia S (2013). Quantitative survivability evaluation of three virtual machine-based server architectures, Journal of Network and Computer Applications, 36:2, (781-790), Online publication date: 1-Mar-2013.
- Roy A, Kim D and Trivedi K (2012). Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees, Security and Communication Networks, 5:8, (929-943), Online publication date: 1-Aug-2012.
- Veeraragavan N, Vitenberg R and Meling H Reliability modeling and analysis of modern distributed interactive multimedia applications Proceedings of the 12th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems, (185-193)
- Bicchierai I, Bucci G, Nocentini C and Vicario E Integrating metrics in an ontological framework supporting SW-FMEA Proceedings of the 3rd International Workshop on Emerging Trends in Software Metrics, (35-41)
- Lê M and Walter M Bounds for two-terminal network reliability with dependent basic events Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, (31-45)
- Distefano S, Puliafito A and Trivedi K (2012). Dynamic aspects and behaviors of complex systems in performance and reliability assessment, ACM SIGMETRICS Performance Evaluation Review, 39:4, (71-78), Online publication date: 9-Mar-2012.
- Bruneo D, Distefano S, Longo F, Puliafito A and Scarpa M (2012). Evaluating wireless sensor node longevity through Markovian techniques, Computer Networks: The International Journal of Computer and Telecommunications Networking, 56:2, (521-532), Online publication date: 1-Feb-2012.
- Bernardi S, Merseguer J and Petriu D (2011). A dependability profile within MARTE, Software and Systems Modeling (SoSyM), 10:3, (313-336), Online publication date: 1-Jul-2011.
- Tan L and Krings A An adaptive N-variant software architecture for multi-core platforms Proceedings of the 2011 international conference on Computational science and its applications - Volume Part II, (490-505)
- Barbierato E, Gribaudo M and Iacono M Exploiting multiformalism models for testing and performance evaluation in SIMTHESys Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (121-130)
- Bao F, Chen I, Chang M and Cho J Hierarchical trust management for wireless sensor networks and its application to trust-based routing Proceedings of the 2011 ACM Symposium on Applied Computing, (1732-1738)
- Gupta V, Dharmaraja S and Gong M (2011). Analytical modeling of TCP flow in wireless LANs, Mathematical and Computer Modelling: An International Journal, 53:5-6, (684-693), Online publication date: 1-Mar-2011.
- Wolter K and Reinecke P Performance and security tradeoff Proceedings of the Formal methods for quantitative aspects of programming languages, and 10th international conference on School on formal methods for the design of computer, communication and software systems, (135-167)
- Castel-Taleb H, Ismael-Aouled I and Pekergin N Stochastic comparisons for performability of telecommunication systems Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications, (189-203)
- Marzolla M The qnetworks toolbox Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications, (102-116)
- Bruneo D, Puliafito A and Scarpa M Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, (25-30)
- Salfner F, Lenk M and Malek M (2010). A survey of online failure prediction methods, ACM Computing Surveys, 42:3, (1-42), Online publication date: 1-Mar-2010.
- Heegaard P and Trivedi K Survivability modeling with stochastic reward nets Winter Simulation Conference, (807-818)
- Thomasian A and Blaum M (2009). Higher reliability redundant disk arrays, ACM Transactions on Storage, 5:3, (1-59), Online publication date: 1-Nov-2009.
- Raderius J, Närman P and Ekstedt M Assessing System Availability Using an Enterprise Architecture Analysis Approach Service-Oriented Computing --- ICSOC 2008 Workshops, (351-362)
- Trivedi K and Sahner R (2009). SHARPE at the age of twenty two, ACM SIGMETRICS Performance Evaluation Review, 36:4, (52-57), Online publication date: 25-Mar-2009.
- Guida M, Longo M and Postiglione F Reliability and survivability methodologies for next generation networks Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia, (326-331)
- Beccuti M, Codetta-Raiteri D, Franceschinis G and Haddad S Non deterministic repairable fault trees for computing optimal repair strategy Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools, (1-10)
- Ramakrishnan L and Reed D Performability modeling for scheduling and fault tolerance strategies for scientific workflows Proceedings of the 17th international symposium on High performance distributed computing, (23-34)
- Bertolino A, Angelis G, Frantzen L and Polini A Model-Based Generation of Testbeds for Web Services Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop, (266-282)
- Trivedi K, Ciardo G, Dasarathy B, Grottke M, Matias R, Rindos A and Vashaw B Achieving and assuring high availability Proceedings of the 5th international conference on Service availability, (20-25)
- Das O and Das A Performability evaluation of mobile client-server systems Proceedings of the 2008 ACM symposium on Applied computing, (2197-2201)
- Eusgeld I References Dependability metrics, (267-300)
- Moscato F, Flammini F, Lorenzo G, Vittorini V, Marrone S and Iacono M The software architecture of the OsMoSys multisolution framework Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-10)
- Zhang L, Okamura H and Dohi T Performance evaluation for automatic protection switching in a CDMA-TDD wireless communication system Proceedings of the 12th international conference on Human-computer interaction: applications and services, (1200-1209)
- Balsamo S and Marin A Queueing networks Proceedings of the 7th international conference on Formal methods for performance evaluation, (34-82)
- Rosing T, Mihic K and De Micheli G (2007). Power and reliability management of SoCs, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 15:4, (391-403), Online publication date: 1-Apr-2007.
- Sharma V and Trivedi K (2007). Quantifying software performance, reliability and security, Journal of Systems and Software, 80:4, (493-509), Online publication date: 1-Apr-2007.
- Bernardi S and Merseguer J A UML profile for dependability analysis of real-time embedded systems Proceedings of the 6th international workshop on Software and performance, (115-124)
- Chołda P, Domżał J, Jajszczyk A and Wajda K Reliability analysis of resilient packet rings Proceedings of the 25th international conference on Computer Safety, Reliability, and Security, (289-301)
- Lampka K, Siegle M and Walter M An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology, (35-50)
- Chan P, Lyu M and Malek M Making services fault tolerant Proceedings of the Third international conference on Service Availability, (43-61)
- Mishra K and Trivedi K Model based approach for autonomic availability management Proceedings of the Third international conference on Service Availability, (1-16)
- Sharma V and Trivedi K Architecture based analysis of performance, reliability and security of software systems Proceedings of the 5th international workshop on Software and performance, (217-227)
- Sharma V, Jalote P and Trivedi K Evaluating performance attributes of layered software architecture Proceedings of the 8th international conference on Component-Based Software Engineering, (66-81)
- Vaidyanathan K and Trivedi K (2005). A Comprehensive Model for Software Rejuvenation, IEEE Transactions on Dependable and Secure Computing, 2:2, (124-137), Online publication date: 1-Apr-2005.
- Gokhale S, Wong W, Horgan J and Trivedi K (2004). An analytical approach to architecture-based software performance and reliability prediction, Performance Evaluation, 58:4, (391-412), Online publication date: 1-Dec-2004.
- Scarpa M, Puliafito A, Villari M and Zaia A (2004). A Modeling Technique for the Performance Analysis of Web Searching Applications, IEEE Transactions on Knowledge and Data Engineering, 16:11, (1339-1356), Online publication date: 1-Nov-2004.
- Chen G, Kandemir M, Vijaykrishnan N, Sivasubramaniam A and Irwin M Analyzing heap error behavior in embedded JVM environments Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (230-235)
- Lyu M, Chen X and Wong T (2004). Design and Evaluation of a Fault-Tolerant Mobile-Agent System, IEEE Intelligent Systems, 19:5, (32-38), Online publication date: 1-Sep-2004.
- Gokhale S, Lyu M and Trivedi K (2004). Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain, Software Quality Journal, 12:3, (211-230), Online publication date: 1-Sep-2004.
- Betous-Almeida C and Kanoun K (2004). Construction and stepwise refinement of dependability models, Performance Evaluation, 56:1-4, (277-306), Online publication date: 1-Mar-2004.
- Nicol D, Sanders W and Trivedi K (2004). Model-Based Evaluation, IEEE Transactions on Dependable and Secure Computing, 1:1, (48-65), Online publication date: 1-Jan-2004.
- Deavours D, Clark G, Courtney T, Daly D, Derisavi S, Doyle J, Sanders W and Webster P (2002). The Möbius Framework and Its Implementation, IEEE Transactions on Software Engineering, 28:10, (956-969), Online publication date: 1-Oct-2002.
- Gillmann M, Weikum G and Wonner W Workflow management with service quality guarantees Proceedings of the 2002 ACM SIGMOD international conference on Management of data, (228-239)
- Sun H, Han J and Levendel I Availability Requirement for a Fault Management Server in High-Availability Communication Systems Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Weerasinghe G, Antonios I and Lipsky L A Generalized Analytic Performance Model of Distributed Systems that Perform N Tasks Using P Fault-Prone Processors Proceedings of the 16th International Parallel and Distributed Processing Symposium
- German R Non-Markovian analysis Lectures on formal methods and performance analysis, (156-182)
- Yoo B and Das C (2002). A Fast and Efficient Processor Allocation Scheme for Mesh-Connected Multicomputers, IEEE Transactions on Computers, 51:1, (46-60), Online publication date: 1-Jan-2002.
- Sheldon F, Grenier S and Benzinger M Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models Proceedings of the 10th International Workshop on Software Specification and Design
- Begain K, Bolch G and Telek M (2000). Scalable Schemes for Call Admission and Handover in Cellular Networks with Multiple Services, Wireless Personal Communications: An International Journal, 15:2, (125-144), Online publication date: 1-Nov-2000.
- Yin M, Blough D and Bic L (2000). A Dependability Analysis for Systems with Global Spares, IEEE Transactions on Computers, 49:9, (958-963), Online publication date: 1-Sep-2000.
- Gafsi J and Biersack E (2000). Modeling and Performance Comparison of Reliability Strategies for Distributed Video Servers, IEEE Transactions on Parallel and Distributed Systems, 11:4, (412-430), Online publication date: 1-Apr-2000.
- Chen I, Chen T and Lee C (2000). Analysis and Comparison of Location Strategies for Reducing RegistrationCost in PCS Networks, Wireless Personal Communications: An International Journal, 12:2, (117-136), Online publication date: 1-Feb-2000.
- Vaidyanathan K and Trivedi K A Measurement-Based Model for Estimation of Resource Exhaustion in Operational Software Systems Proceedings of the 10th International Symposium on Software Reliability Engineering
- Lopez-Benitez N and Hyon J Simulation of Task Graph Systems in Heterogeneous Computing Environments Proceedings of the Eighth Heterogeneous Computing Workshop
- Rigoutsos I and Delis A (1998). Managing Statistical Behavior of Large Data Sets in Shared-Nothing Architectures, IEEE Transactions on Parallel and Distributed Systems, 9:11, (1073-1087), Online publication date: 1-Nov-1998.
- Cankaya H and Nair V (1998). Accelerated reliability analysis for self-healing SONET networks, ACM SIGCOMM Computer Communication Review, 28:4, (268-277), Online publication date: 1-Oct-1998.
- Cankaya H and Nair V Accelerated reliability analysis for self-healing SONET networks Proceedings of the ACM SIGCOMM '98 conference on Applications, technologies, architectures, and protocols for computer communication, (268-277)
Index Terms
- Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Recommendations
Software architecture reliability analysis using failure scenarios
With the increasing size and complexity of software in embedded systems, software has now become a primary threat for the reliability. Several mature conventional reliability engineering techniques exist in literature but traditionally these have ...
Performance-Related Reliability Measures for Computing Systems
We have developed measures which reflect the interaction between the reliability and the performance characteristics of computing systems. These measures can be used to evaluate traditional computer architectures, such as uniprocessors and standby ...