CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués

Hubert Garavel 1 Frédéric Lang 1, * Radu Mateescu 1 Gwen Salaün 1 Wendelin Serwe 1, *
* Auteur correspondant
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Résumé : Le parallélisme asynchrone est présent dans un nombre grandissant de systèmes couvrant de nombreux domaines, allant des systèmes sur puce aux applications "dans le nuage" en passant par les architectures multi-processeurs. Or, la complexité inhérente de l'asynchronisme rend difficile la conception correcte de tels systèmes, et crée le besoin d'outils de validation. CADP (Construction and Analysis of Distributed Systems) est une boîte à outils pour la conception, la vérification fonctionnelle et l'analyse de performance des systèmes asynchrones. Actuellement, CADP comporte une cinquantaine d'outils interconnectables et de bibliothèques de code. CADP est distribué gratuitement aux académiques. De ce fait, CADP est déjà utilisé dans plus de 440 institutions partout dans le monde et pour des domaines d'applications variés. Cependant, compte tenu du nombre croissant de systèmes asynchrones, CADP pourrait être utile encore plus largement en recherche, dans l'industrie et pour l'enseignement des concepts du parallélisme asynchrone.
Liste complète des métadonnées

https://hal.inria.fr/hal-00667288
Contributeur : Wendelin Serwe <>
Soumis le : jeudi 31 janvier 2013 - 15:35:32
Dernière modification le : jeudi 11 janvier 2018 - 06:23:43
Document(s) archivé(s) le : mardi 8 mai 2012 - 02:31:00

Identifiants

  • HAL Id : hal-00667288, version 1

Citation

Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe. CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués. Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012. 〈hal-00667288〉

Partager

Métriques

Consultations de la notice

469

Téléchargements de fichiers

240