La mobilité du code dans les systèmes embarqués

Abstract : With the advent of nomadism, mobile devices, virtualization and cloud computing in recent years, new problems have arisen taking into account ecological concerns, energy management, quality of service, security standards and many other aspects related to our societies. To solve these problems, we define the concept of Cloudlet as a local cloud where virtual devices and embedded applications can be virtualized. Then, we design a distributed architecture based on this architectural pattern related to cloud computing and virtualization of resources. These notions allow us to position our work among other approaches to offload mobile applications in a Cloudlet.On the other hand, a network of Cloudlets helps to secure the activity carried out on a mobile device by offloading embedded applications in a running virtual machine in the Cloudlet, and also to monitor users during their movements.These definitions guided us towards writing formal specifications via a higher order processes of algebra. They facilitate the calculation of operational semantics for different case studies based on this Cloudlet concept. These specifications foster a new vision for designing virtual devices suitable to all devices, sensors or actuators. This set of equations constitutes a formal definition relevant not only for prototyping a Cloudlet but also for constructing a timed automata system.Following the structure of our specifications, we built a model of timed automata for a network of Cloudlets. Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture. This work resulted in making technical choices leading to a prototype of such a distributed architecture using an OSGi server. A first result leads us to define a software architecture for mobile applications. Secondly, we implement the principle of migration to a Cloudlet neighbor. Our tests validate our initial choices and confirm the hypotheses of our work. They allow taking measures in order to assess the cost of an offloading to a Cloudlet during runtime, as well as keeping track during user’s movements
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-02123855
Contributor : Abes Star <>
Submitted on : Thursday, May 9, 2019 - 9:44:06 AM
Last modification on : Friday, October 4, 2019 - 1:12:43 AM
Long-term archiving on : Tuesday, October 1, 2019 - 11:35:03 PM

File

TH2018PESC1112.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02123855, version 1

Collections

Citation

Guy Lahlou Djiken. La mobilité du code dans les systèmes embarqués. Automatique. Université Paris-Est; Université de Yaoundé I, 2018. Français. ⟨NNT : 2018PESC1112⟩. ⟨tel-02123855⟩

Share

Metrics

Record views

118

Files downloads

183