| 1 Introduction | 第7-11页 |
| 1.1 Research Scope | 第7-8页 |
| 1.2 Target of the Research | 第8-10页 |
| 1.3 Structure of This Document | 第10-11页 |
| 2 Research Background | 第11-19页 |
| 2.1 Related Works | 第11-13页 |
| 2.2 Safety Problems of the Domestic Environment | 第13-19页 |
| 3 Overview of Proposed System | 第19-28页 |
| 3.1 The Service Intermediary Model (SIM) | 第19-20页 |
| 3.2 The System Deployment in the SIM | 第20-21页 |
| 3.3 Domestic Environment Model (DEM) | 第21-28页 |
| 3.3.1 The Interactions | 第21-22页 |
| 3.3.2 Abstraction of Domestic Environment | 第22-28页 |
| 4 Dependability of Domestic Environment Model | 第28-37页 |
| 4.1 Original Concept of Dependability | 第28-30页 |
| 4.2 The Definition of the Dependability of Domestic Environment | 第30-37页 |
| 4.2.1 The Threats to Dependability | 第32-35页 |
| 4.2.2 The Attributes of Dependability | 第35-36页 |
| 4.2.3 The Means to Obtain Dependability | 第36-37页 |
| 5 Fault Tolerance for the DEM | 第37-49页 |
| 5.1 The Concept of Fault Tree Analysis | 第37-39页 |
| 5.2 Cases Analysis by Using FTA | 第39-47页 |
| 5.2.1 Case 1: air-conditioner fire | 第39页 |
| 5.2.2 Case 2: Clothes dryer fire | 第39页 |
| 5.2.3 Case 3: Mattress and bedding fires | 第39-43页 |
| 5.2.4 Case 4: Portable heater fires | 第43页 |
| 5.2.5 Case 5: Residential building electrical fire | 第43页 |
| 5.2.6 Case 6: Structure cooking fire | 第43-47页 |
| 5.3 Fault Tolerance Approach Based on the Analysis | 第47-49页 |
| 6 Error Avoidance and Failure Handling for the DEM | 第49-58页 |
| 6.1 Finite State Machine (FSM) of the DEM | 第49-56页 |
| 6.1.1 The States of the FSM | 第50-54页 |
| 6.1.2 The Inputs of the FSM | 第54页 |
| 6.1.3 The outputs of the FSM | 第54-55页 |
| 6.1.4 Transition Function of the FSM | 第55-56页 |
| 6.2 Error Avoidance | 第56页 |
| 6.3 Failure Handling | 第56-58页 |
| 7 Simulation Cases and Results | 第58-78页 |
| 7.1 Simulation Environment | 第58-65页 |
| 7.1.1 Domestic Environment for Simulation | 第58-60页 |
| 7.1.2 Simulation Tools | 第60-65页 |
| 7.2 Case 1: Overload Current | 第65-74页 |
| 7.3 Case 2: A Fire Caused by Clothes Dryer | 第74-76页 |
| 7.4 Result Analysis | 第76-78页 |
| 8 Conclusion and Future Work | 第78-80页 |
| 8.1 Conclusion | 第78-79页 |
| 8.2 Future Work | 第79-80页 |
| Bibliography | 第80-83页 |
| Acknowledgements | 第83-84页 |
