Simulation and Analysis of Distributed Systems in Klaim - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Simulation and Analysis of Distributed Systems in Klaim

Résumé

Network and distributed systems typically consists of a large number of actors that act and interact with each other in a highly dynamic environment. Due to the number of involved actors and their strong dependence on mobility and interaction, performance and dependability issues are of utmost importance for this class of systems. StoKlaim is a stochastic extension of Klaim specifically thought to facilitate the incorporation of random phenomena in models for network-aware computing. In this paper we show how StoKlaim can be used to specify and verify quantitative properties of distributed systems. To support the analysis an automatic tool is introduced and used.
Fichier principal
Vignette du fichier
calzolailoreti.pdf (1.24 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01054619 , version 1 (07-08-2014)

Licence

Paternité

Identifiants

Citer

Francesco Calzolai, Michele Loreti. Simulation and Analysis of Distributed Systems in Klaim. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.122-136, ⟨10.1007/978-3-642-13414-2_9⟩. ⟨hal-01054619⟩
67 Consultations
81 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More