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

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01282265
Contributor : Lip6 Publications <>
Submitted on : Thursday, March 3, 2016 - 3:00:39 PM
Last modification on : Thursday, March 21, 2019 - 2:39:17 PM

Identifiers

Citation

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⟩

Share

Metrics

Record views

123