TILCO Temporal Logic for Real-Time Systems Implementation in C++

Temporal logics are capable to describe temporal constraints among events and actions, as invariance, precedence, periodicity, repeated occurrences, liveness and safety conditions. They are typically used to specify and verify properties in the requirement analysis, to describe the system behavior that can be verified via property proof. Operational approaches have a state-based semantics which is many cases preferred at denotational approaches for their immediate interpretation and automatic conversion into programming language. In fact, for the implementation of real-time systems traditional programming languages are still used. In this paper, an integrated development environment to implement real-time systems based on the integration of TILCO temporal logic and C++ programming is presented. The integration is based on the execution of TILCO Temporal Logic specifications to manage the concurrent, behavioral and temporal requirements of the C++ application in Real-Time. Results about this new model of development are presented