Theoretical Computer Science
Temporal proof methodologies for timed transition systems
Information and Computation
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Event-clock automata: a determinizable class of timed automata
Theoretical Computer Science
Bro: a system for detecting network intruders in real-time
Computer Networks: The International Journal of Computer and Telecommunications Networking
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Implementing a Generalized Tool for Network Monitoring
LISA '97 Proceedings of the 11th Conference on Systems Administration
It's About Time: Real-Time Logics Reviewed
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Membership Questions for Timed and Hybrid Automata
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Passive testing and applications to network management
ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
T-UPPAAL: Online Model-based Testing of Real-Time Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
Deliberative, search-based mitigation strategies for model-based software health management
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain contexts, such as network management and intrusion detection for security, passive monitoring is the most applicable methodology for assuring correctness of the system's behavior. More generally, it can serve to complement and extend functional testing and fault detection efforts that take place during the software/product development lifecycle. Two distinguishing aspects of passive monitoring are that: (a) the fault detection process cannot influence the execution of the system by providing particular inputs to the system, and (b) observations are obtained mid-stream, from an unknown state in the middle of the execution of the system. In this paper, we present results on passively testing for real-time behavioral properties that can be applied to a large class of systems including those that can be modeled as timed automata. Our results provide a natural extension of the passive testing study conducted in [17] for untimed properties. We have implemented our approach using the real-time model checker UPPAAL, and we report on its application to passively test fault tolerance software in a telecommunications switch developed at Lucent Technologies.