Strategies for real-time system specification
Strategies for real-time system specification
Monitoring and performance measuring distributed systems during operation
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
IEEE Transactions on Software Engineering
SDL with applications from protocol specification
SDL with applications from protocol specification
Monitoring and debugging of distributed real-time systems
Monitoring and debugging of distributed real-time systems
Complex performance measurements with NICE (Notation for Interval Combinations and Events)
Software—Practice & Experience
Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Monitoring QoS distribution in multimedia networks
International Journal of Network Management
BRISK: a portable and flexible distributed instrumentation system
Software—Practice & Experience
Automated performance modeling of softwaree genrated by a design environment
Performance Evaluation
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Timing Analysis of Real-Time Software: A Practical Approach to the Specification and Design of Real-Time
Computer Networking: A Top-Down Approach Featuring the Internet
Computer Networking: A Top-Down Approach Featuring the Internet
Constructing Dependable Web Services
IEEE Internet Computing
On-Line Monitoring: A Tutorial
Computer
Measuring and Analyzing Real-Time Performance
IEEE Software
Process Monitoring and Diagnosis: A Model-Based Approach
IEEE Expert: Intelligent Systems and Their Applications
Performance Prediction: An Industry Perspective
Proceedings of the 9th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Detection of Response Time Failures of Real-Time Software
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Hi-index | 0.00 |
We describe a monitoring approach for evaluation of the response performance of services delivered by real-time software systems. Our approach handles certain specification nondeterminism in the behavioral requirements of these systems and is capable of concurrently measuring state-dependent response time intervals. We detect impairments to service performance as response performance failures, i.e., those system response time intervals that statistically exceed some specified maximum delay. While monitoring of behavioral correctness may require a full specification model to detect behavioral failures, our approach detects response time and response performance failures using a reduced timepost-model (TPM). We consider those targets whose: (1) behavior is specified using communicating extended finite state machines; (2) response time objectives are tabular in format. We present an algorithm for deriving an interpretable TPM from these software requirements. We report and comment on an experimental evaluation of the TPM derivation algorithm and the robustness of the approach in the presence of behavioral failures. The target in the evaluation was the call processing program for a small telephone switch.