Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Abstract : 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 of mutual exclusion protocols, the Scsi-2 bus arbitration protocol, the Send/Receive and Barrier primitives of Mpi (Message Passing Interface) implemented on a cache-coherent multiprocessor architecture, and the xSTream multiprocessor data-flow architecture for embedded multimedia streaming applications.
Type de document :
Communication dans un congrès
Tiziana Margaria and Bernhard Steffen. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. 6416, pp.128-142, 2010
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00532914
Contributeur : Christine Mckinty <>
Soumis le : jeudi 4 novembre 2010 - 17:01:20
Dernière modification le : mercredi 11 avril 2018 - 01:52:45
Document(s) archivé(s) le : samedi 5 février 2011 - 03:06:00

Fichier

Cost-Garavel-Hermanns-et-al-10...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00532914, version 1

Citation

Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, et al.. Ten Years of Performance Evaluation for Concurrent Systems Using CADP. Tiziana Margaria and Bernhard Steffen. 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. 6416, pp.128-142, 2010. 〈inria-00532914〉

Partager

Métriques

Consultations de la notice

520

Téléchargements de fichiers

154