원문정보
초록
영어
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the services is a crucial issue. However, safety properties to be verified against the HNS have been given in an ad-hoc manner. This paper presents a systematic method that can derive the verifiable safety properties from a given HNS model and hazard contexts. Specifically, we first define a hazard analysis model for the HNS consisting of four levels of abstractions. We then conduct a goal-oriented analysis to specify logical relations between the adjacent abstraction levels. The analysis yields cause-and-effect chains from the abstract hazard contexts to the concrete attributes and operations of HNS objects (appliances, services, environment). Finally, the safety properties and their responsible operations are derived from the complete model, which give the strong rationale of the safety of the HNS.
목차
1. Introduction
2. Preliminaries
2.1. Home Network System (HNS)
2.2. Object-Oriented Model for HNS
2.3. Describing HNS Specification
2.4. Safety Property and Validation
3. Research Goal and Approach
4. Proposed Method
4.1. HNS Hazard Analysis Model
4.2. Constructing HNS-HAM
4.3. Deriving Safety Properties with HNS-HAM
4.4. Updating HNS Specifications with Derived Safety Properties
4.5. Procedure of Proposed Method
5. Case study
6. Discussion
6.1. Summary and Future Work
6.2. Related Work
References