CS27 業績リスト

Search this article in Google Scholar


分類 論文誌
著者名 (author) Ben Yan,Masahide Nakamura,Lydie du-Bousquet,Ken-ichi Matsumoto
英文著者名 (author)
キー (key)
表題 (title) Validating Safety for Integrated Services of Home Network System Using {JML}
表題 (英文)
定期刊行物名 (journal) IPSJ Journal (also published as Journal of Information Processing (JIP))
定期刊行物名 (英文)
巻数 (volume) 49
号数 (number) 6
ページ範囲 (pages) 1751-1762
刊行月 (month) June
出版年 (year) 2008
付加情報 (note)
注釈 (annote)
内容梗概 (abstract) The home network system (HNS, for short) enables flexible integration of networked home appliances, which achieves value-added integrated services. Assuring safety within such integrated services is a crucial issue to guarantee high quality of life in smart home. In this paper, we present a novel framework for the safety of the HNS integrated services. We first propose a way to define the safety in the context of the integrated services, which is characterized
by local safety, global safety, and environment safety. We then propose a method that can validate the above three kinds of safety for given HNS implementations. Exploiting the concept of Design by Contract (DbC, for short), the proposed method represents every safety property as a contract between a provider and a consumer of an HNS object. The contracts are embedded within the implementations, and then are validated through elaborate testing. We implement the method using Java Modeling Language (JML, for short) and JUnit with a test-case generation tool TOBIAS. Using the proposed framework, one can define and validate the safety of HNS integrated services, systematically and efficiently.
論文電子ファイル


[1-89]  Ben Yan, Masahide Nakamura, Lydie du-Bousquet, and Ken-ichi Matsumoto, ``Validating Safety for Integrated Services of Home Network System Using JML,'' IPSJ Journal (also published as Journal of Information Processing (JIP)), vol.49, no.6, pp.1751-1762, June 2008.

@article{1_89,
    author = {Ben Yan and Masahide Nakamura and Lydie du-Bousquet and Ken-ichi
    Matsumoto},
    author_e = {},
    title = {Validating Safety for Integrated Services of Home Network System
    Using {JML}},
    title_e = {},
    journal = {IPSJ Journal (also published as Journal of Information Processing
    (JIP))},
    journal_e = {},
    volume = {49},
    number = {6},
    pages = {1751-1762},
    month = {June},
    year = {2008},
    note = {},
    annote = {}
}

This site is maintained by webadmin.

PMAN 2.5.4 - Paper MANagement system / (C) 2002-2007, Osamu Mizuno / All rights reserved.