Depuis l'invention d'Internet, les systèmes répartis, dont l'exécution se déroule simultanément sur plusieurs machines, ont connu un essor considérable. Actuellement, bien des aspects de notre vie quotidienne sont gérés par de tels systèmes. L'objectif de cet ouvrage est de présenter les principaux problèmes posés par la conception de tels systèmes dans différents domaines clés : les systèmes embarqués répartis (par exemple dans le domaine spatial), les nouveaux problèmes posés par la sécurité dans ces systèmes, et enfin, les nouveaux algorithmes que l'on doit construire lorsque le nombre de machines supportant leur exécution est important (on parle alors de "large échelle"). Nous avons délibérément choisi de présenter les systèmes répartis "en action", c'est-à-dire par l'exemple. Ainsi, cet ouvrage expose différents aspects de leur mode de fonctionnement en nous appuyant intensivement sur des applications concrètes. Les auteurs des différents chapitres mettent donc en situation les problèmes, les techniques et les algorithmes du domaine. Le présent ouvrage s'adresse à des ingénieurs ou des étudiants en Master-2, déjà familiarisés avec la programmation et l'algorithmique, désireux d'acquérir une vision d'ensemble sur les systèmes répartis.

Systèmes répartis en action - De l'embarqué aux systèmes à large échelle

Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes répartis et coopératifs dans un contexte pratique de Génie Logiciel. Ces techniques sont particulièrement intéressantes pour les domaines dits critiques. En effet, les systèmes répartis critiques nécessitent le recours à des méthodes formelles pour les phases amont et aval du Génie Logiciel. L'objectif de cet ouvrage est de présenter les techniques en pointe dans ce domaine, en particulier pour traiter des systèmes de taille industrielle. Le présent ouvrage vise un public d'étudiants en master 2, de jeunes chercheurs débutant dans le domaine ou des ingénieurs souhaitant disposer d'une vue synthétique sur un domaine en perpétuelle évolution, en particulier pour combattre la complexité due à l'accroissement des systèmes répartis requérant une analyse formelle.

Livres