This article describes the simulation of a network of weather-stations, which all can poll another station to get its weather-status or can send a message to an arbitrary weather-station. The services that are offered on the several OSI-layers are shown, as well as the internal function of each layer. I will also present some quantitative results and a very brief overview over possible correctness proof strategies. Contents 1 The System There are up to 15 Countries, which will build a network...