A generic logical-temporal performance analysis method for complex systems

  • Authors:
  • Romain Kervarc;Jean Bourrely;Claire Quillien

  • Affiliations:
  • -;-;-

  • Venue:
  • Mathematics and Computers in Simulation
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Abstract: 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.