Sciweavers

Share
ISOLA
2010
Springer

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

11 years 8 months ago
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functional verification and performance evaluation. This approach lays its foundations on semantic models, such as Imc (Interactive Markov Chain) and Ipc (Interactive Probabilistic Chain), at the crossroads of concurrency theory and mathematical statistics. To support the approach, a number of software tools have been devised and integrated within the Cadp (Construction and Analysis of Distributed Processes) toolbox. These tools provide various functionalities, ranging from state space generation (Cæsar and Exp.Open), state space minimization (Bcg Min and Determinator), numerical analysis (Bcg Steady and Bcg Transient), to simulation (Cunctator). Several applications of increasing complexity have been successfully handled using these tools, namely the Hubble telescope lifetime prediction, performance comparison o...
Nicolas Coste, Hubert Garavel, Holger Hermanns, Fr
Added 28 Jan 2011
Updated 28 Jan 2011
Type Journal
Year 2010
Where ISOLA
Authors Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Comments (0)
books