Research Topics
My current research works are concentrated on the Test and validation of the behavior of distributed cooperative objects, application to sensor networks.
A sensor network consists of a set of communicating entities that must ensure a certain services. These different entities communicate with each other (internal communications) and with the environment (external communications) in order to collaborate and make the expected service. The approach for the validation of system behavior is to check various properties. We will focus on two types of properties to be satisfied by system entities: local properties and global properties. There are many verification techniques such as: Model-based Simulation, Model-based Testing, Theorem Proving or Model checking. We will focus on the verification environment based on Model checking .