Earticle

초록

영어

The recent ubiquitous/pervasive technologies allow general household appliances to be connected within the network at home. The home network system (HNS, for short) is comprised of such networked appliances to provide various services and applications for home users. The great advantage of HNS lies in integrating (or orchestrating) features of multiple appliances, which yields more value-added and powerful services. We call such services HNS integrated services. In developing and providing a HNS integrated service, the service provider must guarantee that the service is safe for inhabitants, house properties and their surrounding environment. As for the HNS integrated services, however, we have to consider the safety much more carefully. This paper presents a systematic method that can derive the verifiable safety properties from a given HNS model and hazard contexts. Specifically, we propose the HNS Hazard Analysis Model (HNS-HAM) for deriving safety properties with conducting a goal-oriented analysis. The analysis yields cause-and-effect chains from the abstract hazard contexts to the concrete attributes and operations of HNS objects (appliances, services, and environment). Then the safety properties and their responsible operations are derived from the complete model, which give the strong rationale of the safety of the HNS. On the other hand, to make the proposed method more practical, it is necessary to save the analysis cost while appliances and services in the HNS are added or changed. For this, we have also proposed the notion of the hazard template, which characterizes the generic portion of the HNS-HAM. For every hazard context, the hazard template is supposed to be constructed once by the safety experts. The template can be reused for various kinds of the HNS objects for the common hazard context. The reusable templates make it possible to save the analysis cost and improve the quality of the HNS-HAM.

목차

Abstract
 1. Introduction
 2. Preliminaries
  2.1. Object-Oriented model for HNS
  2.2 Specification for describing appliance and service
  2.3 The proposal for safety property validation
  2.4 Requirement engineering approach for deriving safety properties
 3. Improving reusability of HNS-HAM with hazard template
  3.1. Hazard template for HNS-HAM
 4. Case study
 5. Summary
 References

키워드

저자

• Ben Yan [ Graduate School of Information Science, Nara Institute of Science and Technology 8916-5 Takayama, Ikoma, Nara 630-0101, Japan ]
• Masahide Nakamura [ Graduate School of Engineering, Kobe University 1-1 Rokkodai-cho, Nada-ku, Kobe, Hyogo 657-8501, Japan ]
• Lydie du Bousquet [ Joseph Fourier University (Grenoble I) BP72, F-38402, Saint-Martin d’H`eres Cedex, France ]
• Ken-ichi Matsumoto [ Graduate School of Information Science, Nara Institute of Science and Technology 8916-5 Takayama, Ikoma, Nara 630-0101, Japan ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Smart Home

• 간기

  격월간

• pISSN

  1975-4094

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605