Système d'agents mobiles pour les architectures de calculs auto-adaptatifs

Abstract : This work belongs to the domain of numerical simulation on heterogeneous distributed platforms such as grids. This type of platform is characterized by possible changes in execution conditions and a significant probability of some components failure. An application running in such an environment must be adaptable to its execution context and fault tolerant. Facing the growing complexity of implementing computation cases on grid computing, we propose a software platform which solves numerical computation cases in a distributed heterogeneous environment. Our work provides a solution based on a mobile agent system, which allows an application to adapt to change in its execution environment. At first, we use the higher-order pi calculus language to specify a « farm of workers » able to take part in solving any type of computation case. Then we set the properties that characterize the system's correct execution with a temporal logic TCTL. In order to do this, we perform a temporal modeling system based on terms defined by the formal specification in pi calculus. To achieve this transformation, we define a translation of terms written in pi calculus into timed automata. The properties are verified with the UppAal tool. To validate this modeling work, we develop the MCA (for Mobile Computing Architecture) framework. It offers a set of tools which facilitate the implementation of distributed heterogeneous components in order to solve computation cases. These components, mobile or not, are developed with a library written in Java and which uses Jini and JavaSpaces technologies. Finally, our framework is evaluated through the resolution of three different computation cases. Each of these experiments, performed on a 20 node cluster allow us to highlight our framework's main characteristics : programming simplicity, low overhead in execution time without the fault tolerance activation and efficient fault tolerance
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01127591
Contributor : Abes Star <>
Submitted on : Saturday, March 7, 2015 - 3:45:25 AM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM
Long-term archiving on : Monday, June 8, 2015 - 4:17:23 PM

File

2014PEST1016.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01127591, version 1

Collections

Citation

Cyril Dumont. Système d'agents mobiles pour les architectures de calculs auto-adaptatifs. Informatique [cs]. Université Paris-Est, 2014. Français. ⟨NNT : 2014PEST1016⟩. ⟨tel-01127591⟩

Share

Metrics

Record views

270

Files downloads

1350