Home

Login

Abstract :

Emerging technologies enable general household appliances to be connected to LAN at home. Such smart home appliances are generally called networked appliances. A HomeNetwork System (HNS) consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Research and development of the HNS is currently a hot topic in the area of ubiquitous/pervasive computing. The Laboratoire d’Informatique de Grenoble (LIG) has developed a platform for home automation, called H-Omega. This is a gateway, implemented on OSGi and iPOJO, that eases the creation and deployment of new services. The new services are developed as classical Java components and are embedded in containers that deals with technical issues such as heterogeneity and dynamism. The dynamism of service-oriented applications like the home automation system impose a shift in the V&V process. The Home Network System is required to exhibit qualities such as correctness and safety with high assurance in the presence of service dynamism. It has been identified that home services are likely to interact : a new service can change the behavior of pre-existing ones, break them, or even crash the system. This paper is an illustration of how a service can be specified, developed and deployed in the H-Omega platform. In particular, we focus on the different ways of specifying a service. We observed that some approaches to specifying services are more “interaction” prone than others. We used the Java Modeling Language (JML) to specify services. JML is an executable specification language for Java, based on assertions. They can be embedded in the components and deployed on the gateway, to monitor the execution.