Sistemi informatici mobili

L'informatica mobile si riferisce a entrambi gli aspetti: mobilit hardware e mobilit software. Per quanto riguarda il software, il mobile computing si riferisce alla migrazione del codice da un sito all'altro. Questa mobilit stata proposta per la prima volta agli albori dei sistemi distribuiti e paralleli con l'obiettivo di: bilanciare il carico tra i processori mediante la migrazione dei task o garantire la tolleranza ai guasti. La mobilit dal punto di vista hardware si riferisce spesso a dispositivi mobili, ulteriormente potenziati dallo sviluppo di reti wireless (WIFI o cellulari). La mobilit del software ha conosciuto una tendenza importante e innovativa con l'emergere di Internet e quindi la trasformazione dei sistemi distribuiti con reti locali e limitate in sistemi distribuiti a livello globale. Lo sviluppo di sistemi mobili (hardware/software) richiede un processo di software ben adattato in tutte le fasi di sviluppo, dall'analisi alla codifica e al test. L'obiettivo di questo libro mostrare l'uso di metodi formali per i sistemi di mobile computing.