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.
Type de document :
Article dans une revue
Innovations in Systems and Software Engineering, Springer Verlag, 2009, 5 (3), pp.181-196. 〈10.1007/s11334-009-0092-5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953582
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:53:56
Dernière modification le : jeudi 11 janvier 2018 - 06:26:40

Lien texte intégral

Identifiants

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〉

Partager

Métriques

Consultations de la notice

182