Systèmes Informatiques Mobiles : de l'informel vers le formel

L¿informatique mobile (ou « mobile computing », en anglais) fait référence aux deux aspects : mobilité du matériel informatique aussi que mobilité des logiciels. L¿informatique mobile sur son aspect logiciel, concerne la migration de code d¿un site vers un autre. Cette mobilité était la première à être proposée durant les premiers air des systèmes distribués et des systèmes parallèle dans l¿objectif de : équilibrer la charge entre processeurs par migration de tâches ou pour assurer la tolérance aux pannes. La mobilité sur son plan hardware réfère souvent aux dispositifs mobiles, encore renforcé par le développement des réseaux sans fils (soit WIFI ou cellulaire). La mobilité logicielle a connu une tendance importante et innovante avec l¿apparition de l¿internet et donc, la transformation des systèmes distribués à réseaux local et limité vers des systèmes répartis sur un échelle planétaire. Développer des systèmes mobiles (hardware/software) exige un processus logiciel bien adapté sur toutes les phases de développement, depuis l¿analyse jusqüau codage et test. L¿objectif de ce livre est de montrer l¿usage des méthodes formelles pour les systèmes informatiques mobiles.