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

Hubert Garavel; Frédéric Lang; Radu Mateescu; Gwen Salaün; Wendelin Serwe

hal-00667288, version 1

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

Hubert Garavel ()^a^, 1, Frédéric Lang ( Author to contact preferably )^a^, 1, Radu Mateescu ()^a^, 1, Gwen Salaün ()^b^, 1, Wendelin Serwe ()^a^, 1

Approches Formelles dans l'Assistance au Développement de Logiciels (2012)

Abstract: 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.

a – INRIA
b – Grenoble INP
1: CONVECS (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
INRIA – Université Joseph Fourier - Grenoble I – CNRS : UMR5217 – Institut polytechnique de Grenoble (Grenoble INP) – Laboratoire d'Informatique de Grenoble : LIG

hal-00667288, version 1
http://hal.inria.fr/hal-00667288
oai:hal.inria.fr:hal-00667288
From: Wendelin Serwe <>
Submitted on: Thursday, 31 January 2013 15:35:32
Updated on: Thursday, 31 January 2013 17:24:45

See detailed view

Associated documents

Annexes :

PDF :

Export

Bibtex EndNote TEI RefWorks

%% hal-00667288, version 1
%% http://hal.inria.fr/hal-00667288
@misc{garavel:hal-00667288,
    hal_id = {hal-00667288},
    url = {http://hal.inria.fr/hal-00667288},
    title = {{CADP : une bo{\^\i}te {\`a} outils pour la conception et l'analyse de syst{\`e}mes distribu{\'e}s}},
    author = {Garavel, Hubert and Lang, Fr{\'e}d{\'e}ric and Mateescu, Radu and Sala{\"u}n, Gwen and Serwe, Wendelin},
    abstract = {{Le parall{\'e}lisme asynchrone est pr{\'e}sent dans un nombre grandissant de syst{\`e}mes couvrant de nombreux domaines, allant des syst{\`e}mes sur puce aux applications "dans le nuage" en passant par les architectures multi-processeurs. Or, la complexit{\'e} inh{\'e}rente de l'asynchronisme rend difficile la conception correcte de tels syst{\`e}mes, et cr{\'e}e le besoin d'outils de validation. CADP (Construction and Analysis of Distributed Systems) est une bo{\^\i}te {\`a} outils pour la conception, la v{\'e}rification fonctionnelle et l'analyse de performance des syst{\`e}mes asynchrones. Actuellement, CADP comporte une cinquantaine d'outils interconnectables et de biblioth{\`e}ques de code. CADP est distribu{\'e} gratuitement aux acad{\'e}miques. De ce fait, CADP est d{\'e}j{\`a} utilis{\'e} dans plus de 440 institutions partout dans le monde et pour des domaines d'applications vari{\'e}s. Cependant, compte tenu du nombre croissant de syst{\`e}mes asynchrones, CADP pourrait {\^e}tre utile encore plus largement en recherche, dans l'industrie et pour l'enseignement des concepts du parall{\'e}lisme asynchrone.}},
    keywords = {bisimulation, cha{\^\i}nes de Markov, {\'e}valuation de performance, exploration exhaustive, langages de description formels, logique temporelle, $\mu$-calcul, parall{\'e}lisme asynchrone, s{\'e}mantique d'entrelacement, sp{\'e}cification formelle, syst{\`e}mes distribu{\'e}s, v{\'e}rification compositionnelle},
    language = {French},
    affiliation = {CONVECS - INRIA Grenoble Rh{\^o}ne-Alpes / LIG Laboratoire d'Informatique de Grenoble},
    howpublished = {{Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels}},
    address = {Grenoble, France},
    type = {Tutorial},
    audience = {national },
    year = {2012},
    month = Jan,
    pdf = {http://hal.inria.fr/hal-00667288/PDF/Garavel-Lang-Mateescu-et-al-12.pdf},
}

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Documents associated with scientific events (Tutorial, poster/pres./preface, short paper, conference digest, …)</head>
<biblStruct type="article" xml:id="hal-00667288"><analytic>
<author><persName><forename>Hubert</forename><surname>Garavel</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">CONVECS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Laboratoire d'Informatique de Grenoble : LIG</orgName>
</affiliation>
</author>
<author><persName><forename>Frédéric</forename><surname>Lang</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">CONVECS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Laboratoire d'Informatique de Grenoble : LIG</orgName>
</affiliation>
</author>
<author><persName><forename>Radu</forename><surname>Mateescu</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">CONVECS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Laboratoire d'Informatique de Grenoble : LIG</orgName>
</affiliation>
</author>
<author><persName><forename>Gwen</forename><surname>Salaün</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">CONVECS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Laboratoire d'Informatique de Grenoble : LIG</orgName>
</affiliation>
</author>
<author><persName><forename>Wendelin</forename><surname>Serwe</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">CONVECS</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
<orgName type="institution">Institut polytechnique de Grenoble (Grenoble INP)</orgName>
<orgName type="institution">Laboratoire d'Informatique de Grenoble : LIG</orgName>
</affiliation>
</author>
<title type="main" level="a">CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués</title></analytic><monogr><meeting>Approches Formelles dans l'Assistance au Développement de Logiciels</meeting><imprint><pubPlace><settlement>Grenoble</settlement><country>France</country></pubPlace></imprint></monogr><idno type="HALid">http://hal.inria.fr/hal-00667288</idno><idno type="HALFile">http://hal.inria.fr/hal-00667288/PDF/Garavel-Lang-Mateescu-et-al-12.pdf</idno></biblStruct>
</listBibl>
</listBibl>