| タイトル |
-
en
Describing and verifying integrated services of home network systems
|
| 作成者 |
|
| アクセス権 |
open access |
| 権利情報 |
|
| 主題 |
-
Other
en
home computing
-
Other
en
formal specification
-
Other
en
formal verification
-
Other
en
specification languages
-
Other
en
integrated services
-
Other
en
home network systems
-
Other
en
modeling language
-
Other
en
symbolic model checking
-
Other
en
symbolic model verifier language
-
Other
en
Intserv networks
-
Other
en
Home automation
-
Other
en
Home appliances
-
Other
en
Object oriented modeling
-
Other
en
Protocols
-
Other
en
Information science
-
Other
en
Local area networks
-
Other
en
Automatic control
-
Other
en
Temperature control
-
Other
en
Ubiquitous computing
|
| 内容注記 |
-
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.
|
| 出版者 |
IEEE
|
| 日付 |
|
| 言語 |
|
| 資源タイプ |
conference paper |
| 出版タイプ |
AM |
| 資源識別子 |
HDL
http://hdl.handle.net/10061/12763
,
URI
https://naist.repo.nii.ac.jp/records/5156
|
| 関連 |
-
ISBN
0769524656
-
isVersionOf
DOI
https://doi.org/10.1109/APSEC.2005.59
|
| 収録誌情報 |
|
| ファイル |
-
-
fulltext
fulltext
-
387.3 kB
(application/pdf)
-
|
| コンテンツ更新日時 |
2025-09-04 |
