Using formal methods to increase confidence in a home network system implementation: a case study

Abstract : 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 a home network system. We rely on the Java Modelling Language to formally specify and validate an abstraction of the system.
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-00953582
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 1:53:56 PM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM

Links full text

Identifiers

Collections

Citation

Lydie Du Bousquet, M. Nakamura, B. Yan, H. Igaki. Using formal methods to increase confidence in a home network system implementation: a case study. Innovations in Systems and Software Engineering, Springer Verlag, 2009, 5 (3), pp.181-196. ⟨10.1007/s11334-009-0092-5⟩. ⟨hal-00953582⟩

Share

Metrics

Record views

256