Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l'on parle de plus en plus de systèmes embarqués, il s'agit avant tout d'un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l'art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s'agit d'opérations cruciales qui détermineront la fiabilité du futur système. L'apparition récente des techniques basées sur l'ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l'implémentation de la partie logicielle. L'ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).

Modélisation et analyse de systèmes embarqués

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