DSpace Repository

Characterizing Safety of Integrated Services in Home Network System

Show simple item record

dc.contributor.author Yan, Ben en
dc.contributor.author Nakamura, Masahide en
dc.contributor.author du Bousquet, Lydie en
dc.contributor.author Matsumoto, Ken-ichi en
dc.date.accessioned 2018-10-29T02:05:12Z en
dc.date.available 2018-10-29T02:05:12Z en
dc.date.issued 2007 en
dc.identifier.isbn 9783540730354 en
dc.identifier.uri http://hdl.handle.net/10061/12702 en
dc.description ICOST 2007 : Pervasive Computing for Quality of Life Enhancement, June 21-23, 2007, Nara, Japan en
dc.description.abstract This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety instructions of individual networked appliances. The global safety is specified as required properties of HNS services, which use multiple appliances simultaneously. The environment safety is derived from residential rules in home and surrounding environments. Based on the safety defined, we propose a modeling/validation framework for the safety. Specifically, we first introduce an object-oriented modeling technique to clarify the relationships among the appliances, the services and the home (environment) objects. We then employ the technique of Design by Contract with JML (Java Modeling Language), which achieves systematic safety validation through testing. en
dc.language.iso en en
dc.publisher Springer Berlin Heidelberg en
dc.rights c Springer Berlin Heidelberg 2007 en
dc.subject Safety Property en
dc.subject Safety Instruction en
dc.subject Global Safety en
dc.title Characterizing Safety of Integrated Services in Home Network System en
dc.type.nii Conference Paper en
dc.textversion author en
dc.identifier.spage 130 en
dc.identifier.epage 140 en
dc.relation.doi 10.1007/978-3-540-73035-4_14 en
dc.identifier.NAIST-ID 73292310 en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account