Prototyping home automation wireless sensor networks with ASSL

Abstract:

We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a simulated virtual home environment. This approach allows for formal validation, experiments under simulated conditions, and smooth transition from a prototype system to a real one.

Intelligent swarms draw their inspiration from biology where many simple entities act independently, but when grouped, they appear to be highly organized. NASA is currently investigating swarm-based technologies for the ...

One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or ...

Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such ...

This work presents an approach to self-healing that deals with un-handled exceptions within an executing program.
More precisely, we propose an approach based on control theory that automatically disables system functionalities ...