Efficient Decentralized LTL Monitoring Framework Using Tableau Technique
نویسندگان
چکیده
منابع مشابه
Efficient Decentralized LTL Monitoring Framework Using Tableau Approach
The paper proposes a novel framework for decentralized monitoring of Linear Temporal Logic (LTL), under the situation where processes are synchronous, uniform, and fully interconnected and the formula is represented as a tableau. In the proposed framework, processes can propagate messages containing truth values of atomic formulas, compound formulas, and temporal formulas depending on the synta...
متن کاملEAGLE does Space Efficient LTL Monitoring
We briefly present a rule-based framework, called EAGLE, that has been shown to be capable of defining and implementing finite trace monitoring logics, including future and past time temporal logic, extended regular expressions, real-time and metric temporal logics (MTL), interval logics, forms of quantified temporal logics, and so on. In this paper we show how EAGLE can perform linear temporal...
متن کاملA traditional tree-style tableau for LTL
Propositional linear time temporal logic (LTL) is the standard temporal logic for computing applications and many reasoning techniques and tools have been developed for it. Tableaux for deciding satisfiability have existed since the 1980s. However, the tableaux for this logic do not look like traditional tree-shaped tableau systems and their processing is often quite complicated. We present a n...
متن کاملMonitoring Bounded LTL Properties Using Interval Analysis
Verification of temporal logic properties plays a crucial role in proving the desired behaviors of hybrid systems. In this paper, we propose an interval method for verifying the properties described by a bounded linear temporal logic. We relax the problem to allow outputting an inconclusive result when verification process cannot succeed with a prescribed precision, and present an efficient and...
متن کاملEfficient online monitoring of Ltl properties for asynchronous distributed systems
We define an efficient online method to monitor the execution of asynchronous distributed systems. The code of such systems has been instrumented to record and output, during execution, some pertinent events. This output can be abstracted as a trace , i.e. a partially ordered set of events. During the execution, the online monitoring system collects the trace and checks on the fly that it satif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Embedded Computing Systems
سال: 2019
ISSN: 1539-9087,1558-3465
DOI: 10.1145/3358219