Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach

Maximilien Colange
  • Fonction : Auteur
  • PersonId : 971687
Lom Messan Hillah
Fabrice Kordon
Pierre Parutto
  • Fonction : Auteur

Résumé

Model checking is widely used as an automatic exhaustive verification technique to check properties of complex systems. However, it is difficult to operate in the context of today’s emerging systems that combine distribution (and asynchronous communications) together with a large size (and a hierarchical composition of components – and thus, of specifications). This paper combines existing techniques tackling the known combinatorial explosion of model checking. To achieve this, we exploit the structure of such distributed systems (symmetries and hierarchical composition), thus allowing a better compression factor and calculus factorization in favorable cases. We present these techniques and assess their impact on some benchmark examples.
Fichier non déposé

Dates et versions

hal-01282265 , version 1 (03-03-2016)

Identifiants

Citer

Maximilien Colange, Lom Messan Hillah, Fabrice Kordon, Pierre Parutto. Extreme Symmetries in Complex Distributed Systems: the Bag-Oriented Approach. Development, Operation and Management of Large-Scale Complex IT Systems, 17th Monterey Workshop, Revised Selected Papers, 2012, Oxford, United Kingdom. pp.330-352, ⟨10.1007/978-3-642-34059-8_17⟩. ⟨hal-01282265⟩
76 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More