A generic logical-temporal performance analysis method for complex systems

摘要

In this paper, we introduce a method which allows us to study the performance of a complex system. Its general principal consists of using simulations and models of the various components of the system, and express in a common formalism their performance for each function which they realise. Then, organising these functions in a general tree structure where dependancies between functions are expressed using a temporal logic, it is possible to compute recursively a notion of performance. Moreover, we describe a tool implementing this analysis technique.