Fredrik Orava

Learn More
In a mobile communication network some nodes change locations, and are therefore connected to different other nodes at different points in time. We show how some important aspects of such a network can be formally defined and verified using theπ-calculus, which is a development of CCS (Calculus of Communicating Systems) allowing port names to be sent as(More)
ABSTRACT This work dis usses the evolution of W-LANs from their urrent status of wireless termination of LAN servi es to a possible global infrastru ture where the a ess networks be ome open to multiple operators and a vehi le of a winwin s enario, where both users and operators bene t from the new network ar hite ture. The idea of Open A ess Networks(More)
This paper has outlined a method (called OBGP) of extending BGP to support lightpath setup and management across an optical network. The development of OBGP has been discussed by reviewing current BGP behavior and design requirements for OBGP. An implementation of OBGP using simulation tools has been presented, along with initial test results, which have(More)
This paper discusses the evolution of W-LAN starting from the mere extension of LAN services indoors, through the widespread diffusion of outdoors coverage with free and often un-authorized access, to the business models supporting their evolution to public coverage HotSpots. Besides, the idea of Open Access Networks (OANs) going beyond wireless HotSpots to(More)
We present a method by which the abstract behaviour of railyards can be speciied, and analysed for safety. Our analysis is based on well established railway signalling concepts such as train routes and ank protection and attempts to verify safety properties which state that if the railyard is conngured in a correct way, no unwanted situations such as train(More)