Digital signal processing (2nd ed.): principles, algorithms, and applications
Digital signal processing (2nd ed.): principles, algorithms, and applications
Monitoring distributed real-time systems
Real-Time Systems
Monitoring and debugging of distributed real-time systems
Monitoring and debugging of distributed real-time systems
Functional documents for computer systems
Science of Computer Programming
Distributed real-time systems: monitoring, visualization, debugging, and analysis
Distributed real-time systems: monitoring, visualization, debugging, and analysis
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Supervision of real-time software systems using optimistic path prediction and rollbacks
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Deriving real-time monitors from system requirements documentation
Deriving real-time monitors from system requirements documentation
Conformance test experiments for distributed real-time systems
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
Before designing safety- or mission-critical real-time systems, a specification of the required behaviour of the system should be produced and reviewed by domain experts. After the system has been implemented, it should be thoroughly tested to ensure that it behaves correctly. This is best done using a monitor, a system that observes the behaviour of a target system and reports if that behaviour is consistent with the requirements. Such a monitor can be used both as an oracle during testing and as a supervisor during operation. Monitors should be based on the documented requirements of the system.If the target system is required to monitor or control real-valued quantities, then the requirements, which are expressed in terms of the monitored and controlled quantities, will allow a range of behaviours to account for errors and imprecision in observation and control of these quantities. Even if the controlled variables are discrete valued, the requirements must specify the timing tolerance. Because of the limitations of the devices used by the monitor to observe the environmental quantities, there is unavoidable potential for false reports, both negative and positive.This paper discusses design of monitors for real-time systems, and examines the conditions under which a monitor will produce false reports. We describe the conclusions that can be drawn when using a monitor to observe system behaviour.