A generic logical-temporal performance analysis method for complex systems

Romain Kervarc, Jean Bourrely and Claire Quillien

Mathematics and Computers in Simulation (MATCOM), 2010, vol. 81, issue 3, 717-730

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.

Date: 2010
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0378475410002971
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:matcom:v:81:y:2010:i:3:p:717-730

DOI: 10.1016/j.matcom.2010.09.007

Access Statistics for this article

Mathematics and Computers in Simulation (MATCOM) is currently edited by Robert Beauwens

More articles in Mathematics and Computers in Simulation (MATCOM) from Elsevier
Bibliographic data for series maintained by Catherine Liu ().