Analzying Real-Time Systems by Combining Temporal Logic and Statistical Models

This joint project with the University of Debrecen and the Esterhazy Karoly College in Hungary runs from January 1, 2007 to December 31, 2008. It is sponsored by the Austrian Academic Exchange Service under the contract HU 13/2007. The goal of this project is to further develop the understanding of the scope and relationship of the descriptions of real-time systems provided by temporal logic and by statistical models as a basis for a potential future unifying framework that integrates both views. For this purpose, several sample real-time systems (simplified models of real applications as e.g. from telecommunication) are modeled and analyzed in various theoretical frameworks and the results are compared.