Science & Engineering Research Support soCiety (SERSC)
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, the authors first define a hazard analysis model for the HNS consisting of four levels of abstractions.