Treffer: Implementing JAVA based Virtual Machine for Embedding Wireless Sensor Network Nodes

On the design of a reliable programming model for wireless sensor networks (WSN), we must deal with various concerns, such as heterogeneousness of sensors, different sensing capabilities, dynamic updates and power consumption. The adhoc-networking characteristic of WSNs, its nonviable physical access, and the fact that WNS's are typically programmed in low-level paradigms, and the nonexistence of a robust semantic for existing languages are features that burden the task of programming sensor networks. A more efficient approach to program WSN is using a high-level programming language combined with robust semantics. This combination is not provided by any existing programming languages. Consequently, it is not possible to prove the equivalence between the semantics of the language and its implementation. Therefore, a semantic gap is induced. The CALLAS project proposes the creation of a calculus for a specific programming language and the corresponding virtual machine. Furthermore, it provides the semantic equivalence between the calculus and the virtual machine, thus the type-safety of the language. The main contribution of this thesis is the design and the implementation of a virtual machine for the Callas language, as derived from the base calculus  Keywords: Wireless, Sensor, Network, CALLAS, virtual machine, calculus