Skip to Main content Skip to Navigation
Conference papers

Modelling and Analysing Dynamic Decentralised Systems

Abstract : We introduce a method to specify and analyse decentralised dynamic systems; the method is based on the combination of an event-based multi-process system specification approach with a multi-facet analysis approach that considers a reference abstract model and several specific ones derived from the abstract model in order to support facet-wise analysis. The method is illustrated with the modelling and the analysis of a mobile ad-hoc network. The Event-B framework and its related tools B4free and ProB are used to conduct the experiments.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00420009
Contributor : Christian Attiogbe Connect in order to contact the contributor
Submitted on : Monday, April 5, 2010 - 6:58:58 PM
Last modification on : Wednesday, April 27, 2022 - 4:11:47 AM

Links full text

Identifiers

Citation

Christian Attiogbé. Modelling and Analysing Dynamic Decentralised Systems. International Symposium on Dependable Computing (PRDC 2009), Nov 2009, Shanghai, China. pp.109-114, ⟨10.1109/PRDC.2009.9⟩. ⟨hal-00420009⟩

Share

Metrics

Record views

86