Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
1140759 | Mathematics and Computers in Simulation | 2010 | 14 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Romain Kervarc, Jean Bourrely, Claire Quillien,