A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Before being deployed, one has to guarantee the correctness, the safety and the security of the system. Here, we present the approach chosen to validate the Java implementation of one home network system. We relies on the Java Modeling Language (JML), to formaly specify and validate a model of the system. it.