61 search results - page 1 / 13 » Efficient Run-Time Monitoring of Timing Constraints |
RTAS
1997
IEEE
13 years 8 months ago
1997
IEEE
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 ...
DASC
2006
IEEE
13 years 8 months ago
2006
IEEE
Run-time monitoring is a powerful approach for dynamically detecting faults or malicious activity of software systems. However, there are often two obstacles to the implementation...
MODELS
2009
Springer
13 years 11 months ago
2009
Springer
FORTE
2009
13 years 2 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
ENTCS
2006
13 years 4 months ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...