Formal Specification Of Asynchronous Distributed Real-time Systems By APTL

Abstract

We propose a language, Asynchronous Propositional Temporal Logic (APTL), for the specification and verification of asynchronous hard-real-time systems. APTL extends the logic TPTL [1] by explicitly introducing local clocks whose numerical readings cannot be arithmetically compared to determine temporal precedence. To interprete timing inequalities involving… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics