Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
A tool for component based design of embedded software
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems
LCTES '00 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
Monitoring of Timing Constraints with Confidence Threshold Requirements
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
IEEE Transactions on Software Engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Model-based self-monitoring embedded programs with temporal logic specifications
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Monitoring of Timing Constraints with Confidence Threshold Requirements
IEEE Transactions on Computers
Safe Runtime Verification of Real-Time Properties
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Run-time conformance checking of mobile and distributed systems using executable models
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Feasibility of semiring-based timing constraints
ACM Transactions on Embedded Computing Systems (TECS)
A resource-efficient event algebra
Science of Computer Programming
A software update service with self-protection capabilities
Proceedings of the Conference on Design, Automation and Test in Europe
Implementation and performance evaluation of a real-time e-brokerage system
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Power fingerprinting in SDR integrity assessment for security and regulatory compliance
Analog Integrated Circuits and Signal Processing
Model feasible interactions in distributed real-time systems
Formal modeling
Timing driven architectural adaptation
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
ECMAF: an event-based cross-layer service monitoring and adaptation framework
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Hi-index | 0.00 |
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to react when a timing failure happens. For critical timing constraints, a timing failure should be detected as soon as possible. However, early detection of timing failures requires more resource usage which may be deemed excessive. While work in real-time system monitoring has progressed in recent years, the issue of tradeoff between detection latency and resource overhead has not been adequately considered. This paper presents an approach for monitoring timing constraints in real-time systems which is based on a simple and expressive specification method for defining the timing constraints to be monitored. Efficient algorithms are developed to catch violations of timing constraints at the earliest possible time. These algorithms have been implemented in a tool called JRTM (Java Run-time Timing-constraint Monitor) in the language Java. This tool can be used to specify and monitor timing constraints of Java applications.