An interval point duration temporal logic for the modeling of real time systems

The paper presents temporal logic borrowing features from different logics namely interval and point logics as well as duration calculus. We gave it the name IPDTL. Each of the above mentioned logics has been proved useful in the development of real-time systems and widely reported in different papers. Each logic is applied on a suitable case study for which the logic is chosen but once we chose that logic we regret some missing features we could have found in other logics. This remark has motivated our work. IPDTL groups some concepts of interval and point logics and extend them by introducing new operators to specify properties depending on points and duration over intervals. It uses temporal formulae prefixed by interval length as primitive modalities to refer to point, interval and duration. The paper presents the syntax of the formal language based on the IPDTL and an illustration through a version of a computer controlled gas burner.