Kingshuk De

Learn More
In this paper we propose a methodology to guarantee resource contracts and increase reliability across updates in embedded soft real-time systems. We present the road map to a solution based on the verification of component updates using update contracts. In our system the behavior of all components is modeled in detail. Relying on a resource aware(More)
This paper gives the design and implementation of pSync, a P2P file syncing tool for challenged networks. pSync implements a number of advanced features over existing file syncing tools, such as - role based file transfer, device priority scheduling and UDP based networking; to handle intermittent and frequent connection break-ups as well as short contact(More)
  • 1