Theory of Modelling and Simulation
Theory of Modelling and Simulation
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
A Reliability Model for Gracefully Degrading and Standby-Sparing Systems
IEEE Transactions on Computers
Performance-Related Reliability Measures for Computing Systems
IEEE Transactions on Computers
IEEE Transactions on Computers
Performability Evaluation of the SIFT Computer
IEEE Transactions on Computers
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
PRIME: a modular architecture for terminal-oriented systems
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
Analysis of Performability for Stochastic Models of Fault-Tolerant Systems
IEEE Transactions on Computers
Modeling and analysis of computer system availability
IBM Journal of Research and Development
Evaluation of Performability for Degradable Computer Systems
IEEE Transactions on Computers
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
SAFECOMP '01 Proceedings of the 20th International Conference on Computer Safety, Reliability and Security
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
On-Board Maintenance for Long-Life Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
The 'QoS Query Service' for Improved Quality-of-Service Decision Making in CORBA
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Performability-based quality of service metrics for communication services
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
FC-ORB: A robust distributed real-time embedded middleware with end-to-end utilization control
Journal of Systems and Software
IEEE Transactions on Computers
Design and Evaluation of a Fault-Tolerant Multiprocessor Using Hardware Recovery Blocks
IEEE Transactions on Computers
A Performability Solution Method for Degradable Nonrepairable Systems
IEEE Transactions on Computers
Performability Evaluation of the SIFT Computer
IEEE Transactions on Computers
A Statistical Failure/Load Relationship: Results of a Multicomputer Study
IEEE Transactions on Computers
Closed-Form Solutions of Performability
IEEE Transactions on Computers
Performability evaluation of mobile client-server systems
Proceedings of the 2008 ACM symposium on Applied computing
Performability modeling for scheduling and fault tolerance strategies for scientific workflows
HPDC '08 Proceedings of the 17th international symposium on High performance distributed computing
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Journal of Computational and Applied Mathematics
Reliability and survivability methodologies for next generation networks
Proceedings of the 6th International Conference on Advances in Mobile Computing and Multimedia
Numerical computation algorithms for sequential checkpoint placement
Performance Evaluation
Network survivability modeling
Computer Networks: The International Journal of Computer and Telecommunications Networking
Modular data centers: how to design them?
Proceedings of the 1st ACM workshop on Large-Scale system and application performance
An I/O subsystem supporting mass storage functions in parallel systems
Computer Standards & Interfaces
Performability: asymptotic distribution and moment computation
Computers & Mathematics with Applications
A generalized formulation for the performability indicator
Computers & Mathematics with Applications
Repairable consecutive-k-out-of-n: F system with fuzzy states
Fuzzy Sets and Systems
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
User-perceived software service availability modeling with reliability growth
ISAS'08 Proceedings of the 5th international conference on Service availability
Location-aware quality of service measurements for service-level agreements
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Evaluating the adaptivity of computing systems
Performance Evaluation
Performability/energy tradeoff in error-control schemes for on-chip networks
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Consistability: describing usually consistent systems
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Performance and security tradeoff
SFM'10 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
Stochastic comparisons for performability of telecommunication systems
ASMTA'10 Proceedings of the 17th international conference on Analytical and stochastic modeling techniques and applications
Evaluation of system BIST using computational performance measures
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Survivability modeling with stochastic reward nets
Winter Simulation Conference
Experience report: trading dependability, performance, and security through temporal decoupling
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
A BPMN extension for modeling non functional properties of business processes
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Characterizing session initiation protocol (SIP) network performance and reliability
ISAS'05 Proceedings of the Second international conference on Service Availability
Availability analysis for the design of distributed processing networks
Journal of Systems and Software
Dependability modeling and analysis of software systems specified with UML
ACM Computing Surveys (CSUR)
Analytical architecture-based performability evaluation of real-time software systems
Journal of Systems and Software
iCAAS: An Interoperable and Configurable Architecture for Accessing Sensor Networks
International Journal of Adaptive, Resilient and Autonomic Systems
Hierarchical availability analysis of multi-tiered Web applications
Software Quality Control
Survivability models for the assessment of smart grid distribution automation network designs
Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Self-adaptive containers: building resource-efficient applications with low programmer overhead
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Predictable quality of service atop degradable distributed systems
Cluster Computing
Resilience and opportunistic forwarding: beyond average value analysis
Proceedings of the 8th ACM MobiCom workshop on Challenged networks
Hi-index | 15.01 |
If the performance of a computing system is "degradable," performance and reliability issues must be dealt with simultaneously in the process of evaluating system effectiveness. For this purpose, a unified measure, called "performability," is introduced and the foundations of performability modeling and evaluation are established. A critical step in the modeling process is the introduction of a "capability function" which relates low-level system behavior to user-oriented performance levels. A hierarchical modeling scheme is used to formulate the capability function and capability is used, in turn, to evaluate performability. These techniques are then illustrated for a specific application: the performability evaluation of an aircraft computer in the environment of an air transport mission.