Main Reference PaperFormal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments, IEEE Transactions on Parallel and Distributed Systems, Aug 2013.
  • This project is to enable formal specification and runtime detection in asynchronous pervasive computing environments. This work propose a algorithm called property detection for asynchronous context (PDAC). PDAC consists of three essential parts: 1) modeling of the temporal evolution of the environment state; 2) specification of dynamic properties; and 3) detection of the specified dynamic property. The part 1 is observe the environment status in runtime, where as part 3 propose the SurfMaint algorithm, which maintains the active surface at runtime instead of maintaining the whole lattice.

+ Description
  • This project is to enable formal specification and runtime detection in asynchronous pervasive computing environments. This work propose a algorithm called property detection for asynchronous context (PDAC). PDAC consists of three essential parts: 1) modeling of the temporal evolution of the environment state; 2) specification of dynamic properties; and 3) detection of the specified dynamic property. The part 1 is observe the environment status in runtime, where as part 3 propose the SurfMaint algorithm, which maintains the active surface at runtime instead of maintaining the whole lattice.

  • To reduce the space cost by propose a algorithm for maintained the active surface instead of maintain the whole lattice.

+ Aim & Objectives
  • To reduce the space cost by propose a algorithm for maintained the active surface instead of maintain the whole lattice.

  • In future work, a technique is contributed to further reduce the space cost for runtime maintenance of the lattice.

+ Contribution
  • In future work, a technique is contributed to further reduce the space cost for runtime maintenance of the lattice.

  • OS : Window 7 (Cygwin) / Ubuntu 12.04 LTS 64bit.

  • Simulator: NS 2.35, Language : TCL and AWK script, (C++)

+ Software Tools & Technologies
  • OS : Window 7 (Cygwin) / Ubuntu 12.04 LTS 64bit.

  • Simulator: NS 2.35, Language : TCL and AWK script, (C++)

  • B.E / B.Tech / M.E / M.Tech

+ Project Recommended For
  • B.E / B.Tech / M.E / M.Tech

Professional Ethics: We S-Logix would appreciate the students those who willingly contribute with atleast a line of thinking of their own while preparing the project with us. It is advised that the project given by us be considered only as a model project and be applied with confidence to contribute your own ideas through our expert guidance and enrich your knowledge.