Verifying temporal properties without temporal logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems
IEEE Transactions on Software Engineering
A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging
IEEE Transactions on Software Engineering
A Specificational Approach to High Level Program Monitoring and Measuring
IEEE Transactions on Software Engineering - Special issue on software measurement principles, techniques, and environments
Dynascope: a tool for program directing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A framework for dynamic program analyzers
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
An annotated bibliography of interactive program steering
ACM SIGPLAN Notices
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Implementation of the sentry system
Software—Practice & Experience
Distributed real-time systems: monitoring, visualization, debugging, and analysis
Distributed real-time systems: monitoring, visualization, debugging, and analysis
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
A lightweight architecture for program execution monitoring
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Enforcing trace properties by program transformation
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Requirements-based monitors for real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Modern Operating Systems
Program Monitoring and Visualization: An Exploratory Approach
Program Monitoring and Visualization: An Exploratory Approach
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Computer
On-Line Monitoring: A Tutorial
Computer
Using Runtime Analysis to Guide Model Checking of Java Programs
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
The Temporal Rover and the ATG Rover
Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
FasTLInC: a constraint-based tracing approach
Journal of Systems and Software
A Configurable Automatic Instrumentation Tool for ANSI C
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Monitoring Software Requirements Using Instrumented Code
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Efficient Run-Time Monitoring of Timing Constraints
RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Steering of Real-Time Systems Based on Monitoring and Checking
WORDS '99 Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Synthesizing Dynamic Programming Algorithms fromLinear Temporal Logic Formulae
Synthesizing Dynamic Programming Algorithms fromLinear Temporal Logic Formulae
FLAVER: A Finite State Verification Technique for Software Systems TITLE2:
FLAVER: A Finite State Verification Technique for Software Systems TITLE2:
Deriving real-time monitors from system requirements documentation
Deriving real-time monitors from system requirements documentation
Monitoring Web Service Requirements
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
An Integrated Development Of A Dynamic Software-Fault Monitoring System
Journal of Integrated Design & Process Science
Systems and Software Verification: Model-Checking Techniques and Tools
Systems and Software Verification: Model-Checking Techniques and Tools
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Tutorial: towards dynamic web services
Proceedings of the 28th international conference on Software engineering
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
Designing Run-Time Fault-Tolerance Using Dynamic Updates
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
DESERT: a decentralized monitoring tool generator
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
An integrated infrastructure for monitoring and evaluating agent-based systems
Expert Systems with Applications: An International Journal
Development Support for Specifying and Monitoring Goals of Open Business Processes
SOCCER '08 Proceedings of the 2008 International Workshop on Service-Oriented Computing Consequences for Engineering Requirements
Towards a framework for web service compositions recovery
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Runtime monitoring composite web services through stateful aspect extension
Journal of Computer Science and Technology
A distributed monitoring system for enhancing security and dependability at architectural level
Architecting dependable systems IV
Monitoring architectural properties in dynamic component-based systems
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Towards a tool for generating aspects from MEDL and PEDL specifications for runtime verification
RV'07 Proceedings of the 7th international conference on Runtime verification
Applying the composition filter model for runtime verification of multiple-language software
ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Towards pro-active adaptation with confidence: augmenting service monitoring with online testing
Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Runtime repair of software faults using event-driven monitoring
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Zenet: generating and enforcing real-time temporal invariants
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
An event view model and DSL for engineering an event-based SOA monitoring infrastructure
Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems
Autonomic computing technologies for cyber-physical systems
ICACT'10 Proceedings of the 12th international conference on Advanced communication technology
End-to-end framework for fault management for open source clusters: Ranger
Proceedings of the 2010 TeraGrid Conference
The disappearing boundary between development-time and run-time
Proceedings of the FSE/SDP workshop on Future of software engineering research
Taxonomy and classification of automatic monitoring of program security vulnerability exploitations
Journal of Systems and Software
A new monitor model for enhancing trust-based systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
You should better enforce than verify
RV'10 Proceedings of the First international conference on Runtime verification
RV'10 Proceedings of the First international conference on Runtime verification
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Service research challenges and solutions for the future internet
Service research challenges and solutions for the future internet
Building components with embedded security monitors
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Measures and mechanisms for process monitoring in evolving business networks
Data & Knowledge Engineering
Towards dynamic monitoring of WS-BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Data management for component-based embedded real-time systems: The database proxy approach
Journal of Systems and Software
Discovery and diagnosis of behavioral transitions in patient event streams
ACM Transactions on Management Information Systems (TMIS)
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
WS-Policy for service monitoring
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
A generic solution for agile run-time inspection middleware
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
Run-time systems failure prediction via proactive monitoring
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Constructing a Model-Based Software Monitor for the Insulin Pump Behavior
Journal of Medical Systems
Components monitoring through formal specifications
Proceedings of the 17th international doctoral symposium on Components and Architecture
RV'11 Proceedings of the Second international conference on Runtime verification
CoMA: conformance monitoring of java programs by abstract state machines
RV'11 Proceedings of the Second international conference on Runtime verification
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Patterns to enable mass-customized business process monitoring
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Information and Software Technology
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
JMF: Java measurement framework: language-supported runtime integrity measurement
Proceedings of the seventh ACM workshop on Scalable trusted computing
Review: Intrusion detection system: A comprehensive review
Journal of Network and Computer Applications
A generic solution for agile run-time inspection middleware
Proceedings of the 12th International Middleware Conference
An efficient data dissemination approach for cloud monitoring
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
An automated round-trip support towards deployment assessment in component-based embedded systems
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Adequate monitoring of service compositions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Web Service Diagnoser Model for managing faults in web services
Computer Standards & Interfaces
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Software and Systems Modeling (SoSyM)
Hi-index | 0.01 |
A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one to analyze and recover from detected faults, providing additional defense against catastrophic failure. Although runtime monitoring has been in use for over 30 years, there is renewed interest in its application to fault detection and recovery, largely because of the increasing complexity and ubiquitous nature of software systems. This paper presents a taxonomy that developers and researchers can use to analyze and differentiate recent developments in runtime software fault-monitoring approaches. The taxonomy categorizes the various runtime monitoring research by classifying the elements that are considered essential for building a monitoring system, i.e., the specification language used to define properties; the monitoring mechanism that oversees the program's execution; and the event handler that captures and communicates monitoring results. After describing the taxonomy, the paper presents the classification of the software-fault monitoring systems described in the literature.