Gilbert Cabillic

A Checkpointing Algorithm for Mobile Computing Environment

Mobile computing is going to change the way, computers are used today. However mobile computing environment has features like high mobility, frequent disconnections, and lack of resources, such as memory and battery power. Such features make applications, running on mobile devices, more susceptible to faults. Checkpointing is a major technique to confine faults and restart applications faster. In this paper, we present a coordinated checkpointing algorithm for deterministic applications. We are using anti-messages along-with selective logging to achieve faster recovery and reduced energy consumption. Our algorithm is non-blocking in nature and avoids unnecessary computation. We ask only minimum number of processes to take the checkpoint and also take in to account the limited storage available at mobile devices.

Providing an embedded software environment for wireless PDAs

The use of wireless PDAs is foreseen to outrun the one of PCs in the near future. However, for this to actually happen, adequate software environments must be devised in order to allow the execution of various types of applications. This paper introduces the base features of such an environment, which is a customizable JVM-based middleware. In particular, the middleware platform embeds services for appropriate resource management and for supporting novel PDA-oriented applications.

An approach for a dependable Java embedded environment

A Java Execution Environment (JEE) presents lots of advantages for embedded architectures. In this paper, we present an approach to build a dependable Java execution environment for Wireless PDAs. It is based on a modular software architecture. Our on-going works focus on reducing software errors, increasing the security of the software and minimizing native software pieces of code to increase the overall stability of the platform by transferring operating system features in Java world.