Mobile Computersysteme: von informell zu formell

Mobiles Computing bezieht sich auf beide Aspekte: die Mobilität der Hardware und die Mobilität der Software. Mobiles Computing in Bezug auf die Software betrifft die Migration von Code von einem Standort zu einem anderen. Diese Mobilität war die erste, die in der Frühzeit verteilter und paralleler Systeme angeboten wurde, um die Last zwischen Prozessoren durch die Migration von Aufgaben auszugleichen oder um Fehlertoleranz zu gewährleisten. Hardware-Mobilität bezieht sich oft auf mobile Geräte, was durch die Entwicklung von drahtlosen Netzwerken (WIFI oder Mobilfunk) noch verstärkt wird. Die Software-Mobilität erlebte einen wichtigen und innovativen Trend mit dem Aufkommen des Internets und der damit verbundenen Transformation von verteilten Systemen mit lokalen und begrenzten Netzwerken hin zu global verteilten Systemen. Die Entwicklung mobiler Systeme (Hardware/Software) erfordert einen gut angepassten Softwareprozess über alle Entwicklungsphasen hinweg, von der Analyse über die Codierung bis hin zum Test. Das Ziel dieses Buches ist es, die Verwendung formaler Methoden für mobile Computersysteme aufzuzeigen.