Mobile Computersysteme

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.