- \n
- Joint Workshop<\/em> of ANR Projects DUCAT and ESTATE<\/a>, Saint-Valery,\u00a0 (Cap Hornu<\/a>, Baie de Somme) March 15-18, 2022.<\/li>\n
- Joint Workshop<\/em> of ANR Projects DESCARTES and ESTATE<\/a>, Fontainebleau,\u00a0 November 8-10 2021.<\/li>\n
- Staff Recruitment (Grenoble): Marie Laveau. Post-doctoral fellow, Sept. 2021–May 2022.<\/li>\n
- Colette Johnen joined the Parisian DELYS team as an INRIA delegation from Sept. 1st, 2020 to Aug. 31, 2021.<\/span><\/span><\/li>\n
- Workshop<\/em> on Modularity and Dynamics in Modern Distributed Environments<\/a> , Co-organized by ANR DESCARTES<\/a> et ANR ESTATE<\/a>, Le Cap Hornu, Saint-Val\u00e9ry-sur-Somme, June 9-12 2020. ***CANCELLED DUE TO COVID19 PANDEMIC***<\/span><\/li>\n<\/ul>\n
(to get more<\/a>)<\/p>\n
\nPresentation<\/h3>\n
The availability of wireless communications has tremendously increased in recent years.\u00a0 Such evolution brings new usages, and with them a wealth of practical and theoretical problems.\u00a0 It mandates to design new applications that make various communicating agents and terminals interact together, mostly autonomously.<\/p>\n
This new paradigm of distributed system, called ubiquitous computing<\/em>, leads to significant changes in telecommunications engineering that must be able to adapt to frequent changes in the communication graph, mainly due to the mobility of communicating agents.\u00a0 The dynamics of these distributed systems has a significant impact on the nature of the tasks that can be performed. Designing applications over such networks requires the ability to adapt to topology changes and to the lack of (static) logical structures such as trees, spanners, minimum dominating sets, the presence of a leader, etc.<\/p>\n
The core of ESTATE consists in laying the foundations of a new algorithmic framework for enabling Autonomic Computing in distributed and highly dynamic systems and networks<\/em>. In other words, we plan to design a model that includes the minimal algorithmic basis allowing the emergence of dynamic distributed systems with self-*<\/em> capabilities, e.g., self-organization, self-healing, self-configuration, self-management, self-optimization, self-adaptiveness, or self-repair.\u00a0 In order to do this, we consider three main approaches:<\/p>\n
- \n
- Building the theoretical foundations of autonomic computing in dynamic systems.\u00a0 We consider self-stabilization<\/em> as a practical approach to implement distributed basic algorithms enabling Autonomic Computing.<\/li>\n
- Enhancing the safety in some cases. We plan to revisit specializations of self-stabilization<\/em> in the context of dynamic environments.\u00a0 We aim at establishing the minimum requirements in terms of amount or type of dynamics to allow some strong safety guarantees.<\/li>\n
- Providing additional formal guarantees by proposing a general framework based on the Coq proof assistant<\/em> to (semi-)automatically construct certified proofs.\u00a0 To that end, we will identify adequate formal models and general proof schemes used to show the correctness of algorithms.<\/li>\n<\/ol>\n
These three main streams interact with each other as follows. The first one brings lower bounds and limitations to the second, which in turn provides use cases and problems to the former.\u00a0 The third action aims at providing certified proofs of theoretical results obtained in both the first and second actions, e.g.,<\/em> impossibility results, complexity bounds, and correctness of distributed algorithms.\u00a0\u00a0 Algorithms are validated through four complementary approaches: (i)<\/em> classical \u00ab\u00a0by-hand\u00a0\u00bb proofs, (ii)<\/em> (semi-)automatically certified proofs given by Workpackage #3, (iii)<\/em> by simulations, and (iv)<\/em> in real mobility context.\u00a0 Approches (iii)<\/em> and (iv)<\/em> will be implemented on dedicated platforms.<\/p>\n
Project ESTATE (ANR-16-CE25-0009-03) is supported by French state funds managed by the ANR (Agence Nationale de la Recherche).<\/em><\/p>\n
\u00a0<\/a>
![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2016\/12\/lip6.png\")
<\/a> \u00a0 \u00a0\u00a0\u00a0 ![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2018\/09\/LOGO_SCIENCES_SU-300x121.png\")
<\/a>\u00a0 ![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2016\/12\/logo_VERIMAG-300x215.png\")
<\/a>\u00a0\u00a0\u00a0 ![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/logo-uga.png\")
<\/a> \u00a0 \u00a0\u00a0 ![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/inp-300x201.png\")
<\/a><\/p>\n![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2016\/12\/logo_labri.jpg\")
<\/a>\u00a0\u00a0\u00a0 ![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/bordeaux_logo.png\")
\u00a0\u00a0\u00a0<\/a>![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/logo_ANR-290x300.jpg\")
<\/a><\/p>\n\u00a9
![\"\"](\"https:\/\/wp-systeme.lip6.fr\/estate\/wp-content\/uploads\/sites\/6\/2017\/08\/ESTATE-Vert72-1-300x208.jpg\")
\u00a0\u00a0<\/a><\/pre>\n\u00a0<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"
Last Posts Joint Workshop of ANR Projects DUCAT and ESTATE, Saint-Valery,\u00a0 (Cap Hornu, Baie de Somme) March 15-18, 2022. Joint Workshop of ANR Projects DESCARTES and ESTATE, Fontainebleau,\u00a0 November 8-10 2021. Staff Recruitment (Grenoble): Marie Laveau. Post-doctoral fellow, Sept. 2021–May 2022. Colette Johnen joined the Parisian DELYS team as an INRIA delegation from Sept. 1st, … Continuer la lecture de Estate<\/span>
- Enhancing the safety in some cases. We plan to revisit specializations of self-stabilization<\/em> in the context of dynamic environments.\u00a0 We aim at establishing the minimum requirements in terms of amount or type of dynamics to allow some strong safety guarantees.<\/li>\n
- Joint Workshop<\/em> of ANR Projects DESCARTES and ESTATE<\/a>, Fontainebleau,\u00a0 November 8-10 2021.<\/li>\n