DSpace Repository

Describing and verifying integrated services of home network systems

Show simple item record

dc.contributor.author Leelaprute, Pattara
dc.contributor.author Nakamura, Masahide
dc.contributor.author Tsuchiya, Tatsuhiro
dc.contributor.author Matsumoto, Ken-ichi
dc.contributor.author Kikuno, Tohru
dc.date.accessioned 2018-10-30T04:57:16Z
dc.date.available 2018-10-30T04:57:16Z
dc.date.issued 2005
dc.identifier.isbn 769524656
dc.identifier.issn 1530-1362
dc.identifier.uri http://hdl.handle.net/10061/12763
dc.description APSEC'05 : 12th Asia-Pacific Software Engineering Conference, 15-17 Dec. 2005, Taipei, Taiwan,
dc.description.abstract This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integrated services. Complementing our previous work, the language captures each appliance as an object consisting of properties and methods, encapsulating the underlying protocols and platforms. We then present a method that verifies the integrated services with symbolic model checking, by translating the proposed language into the SMV (symbolic model verifier) language. Thus, it is possible to validate if the integrated service is specified as intended, automatically and exhaustively. Using the proposed framework, service developers can effectively detect design flaws in a single integrated service, as well as feature interactions among multiple services, in early stages of service development.
dc.language.iso en
dc.publisher IEEE
dc.rights c Copyright IEEE 2005
dc.subject home computing
dc.subject formal specification
dc.subject formal verification
dc.subject specification languages
dc.subject integrated services
dc.subject home network systems
dc.subject modeling language
dc.subject symbolic model checking
dc.subject symbolic model verifier language
dc.subject Intserv networks
dc.subject Home automation
dc.subject Home appliances
dc.subject Object oriented modeling
dc.subject Protocols
dc.subject Information science
dc.subject Local area networks
dc.subject Automatic control
dc.subject Temperature control
dc.subject Ubiquitous computing
dc.title Describing and verifying integrated services of home network systems
dc.type.nii Conference Paper
dc.identifier.fulltexturl https://doi.org/10.1109/APSEC.2005.59
dc.textversion author
dc.relation.doi 10.1109/APSEC.2005.59
dc.identifier.NAIST-ID 73292310

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace

Advanced Search


My Account