Using formal methods to increase confidence in a home network system implementation: a case study |
| |
Authors: | Lydie du Bousquet Masahide Nakamura Ben Yan Hiroshi Igaki |
| |
Affiliation: | (1) Laboratoire d’Informatique de Grenoble (LIG), Universités de Grenoble (UJF), BP 72, 38402 Saint Martin d’Hères cedex, France;(2) Graduate School of Engineering Science, Kobe University, Kobe, Japan;(3) Graduate School of Information Science, Nara Institute of Science and Technology, Nara, Japan |
| |
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. This is a substantially revised version of our paper that appeared in the proceedings of the Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Poitiers-Futuroscope, France, December 2007. |
| |
Keywords: | Formal methods Validation by testing Home network system |
本文献已被 SpringerLink 等数据库收录! |
|