< Guest Talk "Forschen im Ausland mit FITweltweit: DAAD-Stipendien für die Informatik"
25.02.2013 16:31 Age: 12 yrs
By: Wehrle
Meet COMSYS at Mobile World Congress (MWC 2013)
COMSYS presents two projects at Mobile World Congess (MWC 2013) in Barcelona -- the world's largest exhibition on mobile communications and mobile Internet technology. Meet us in hall 8.1 G14.
COMSYS is presenting two research projects of the UMIC research cluster at MWC 2013:
SO-FI: On-demand Content-centric Wireless Networking Typical scenarios in the city or on campus, show a high proliferation of wireless communication devices such as smartphones, laptops or netbooks. Wireless 802.11 networks between these devices allow for a spontaneous exchange of content or provision of services without the need for infrastructure-based services. However, the above mentioned proliferation of devices and therefore large number of networks hinders users in identifying and selecting the network that serves a specific request.
We propose an approach to client-driven content-centric wireless networking in which the user specifically signals his request for a user, content item or service via 802.11 management frames. Upon reception of these frames, wireless devices that serve this request establish a dedicated wireless network on-demand. Our approach seamlessly integrates into the 802.11 association process and therefore provides support for unmodified wireless devices. Furthermore, by leveraging the wireless broadcast medium, we achieve pervasive service and peer discovery without the overhead of iterating through existing networks or running a traditional service discovery protocol.
KleeNet: High coverage bug detection with Symbolic Distributed Execution High-coverage testing of networked applications is vital for pre-deployment bug cleansing, but has previously been difficult due to the limited set of available tools. In this demo, we show an integration of a symbolic execution engine with a network simulator to allow for straight-forward and intuitive high-coverage testing initiated from a simulation environment. A tight coupling of simulation and testing helps detect, narrow down, and fix complex interaction bugs in an early development phase. We demonstrate the seamless and intuitive transition between the simulation and symbolic execution with little manual effort. Our framework enables future research in how high-coverage testing tools could be used in cooperation with simulation tools.