Deriving safety properties for home network system based on goal-oriented hazard analysis model

被引：0
|
作者：
Graduate School of Information Science, Nara Institute of Science and Technolog, NAIST8916-5 Takayama, Ikoma, Nara 630-0101, Japan [1 ]
不详 [2 ]
机构：
来源：
Int. J. Smart Home | / 1卷 / 67-80期
关键词：
Compilation and indexing terms; Copyright 2024 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Personal communication systems - Abstracting - Home networks - Domestic appliances
引用
收藏
相关论文
共 50 条
  • [11] Deriving tabular event-based specifications from goal-oriented requirements models
    De Landtsheer, R
    Letier, E
    van Lamsweerde, A
    REQUIREMENTS ENGINEERING, 2004, 9 (02) : 104 - 120
  • [12] Reliability Analysis of Repairable System With Multiple Fault Modes Based on Goal-Oriented Methodology
    Yi, Xiao-Jian
    Shi, Jian
    Dong, Hai-Ping
    Lai, Yue-Hua
    ASCE-ASME JOURNAL OF RISK AND UNCERTAINTY IN ENGINEERING SYSTEMS PART B-MECHANICAL ENGINEERING, 2016, 2 (01):
  • [13] A Configurable Dependency Model of a SCADA System for Goal-Oriented Risk Assessment
    Cherdantseva, Yulia
    Burnap, Pete
    Nadjm-Tehrani, Simin
    Jones, Kevin
    APPLIED SCIENCES-BASEL, 2022, 12 (10):
  • [14] An Integrated Neural Network Model for Domain Action Determination in Goal-Oriented Dialogues
    Lee, Hyunjung
    Kim, Harksoo
    Seo, Jungyun
    JOURNAL OF INFORMATION PROCESSING SYSTEMS, 2013, 9 (02): : 259 - 270
  • [15] Goal-oriented platform based on knowledge-point: A new model of distance education system
    Qing, Y
    Yang, Y
    Juan, C
    18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2 (REGULAR PAPERS), PROCEEDINGS, 2004, : 528 - 531
  • [16] Goal-Oriented Input Design for Kernel-Based System Identification
    Fujimoto, Yusuke
    Sugie, Toshiharu
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [17] Approximate inferring approach of goal-oriented Credal network based on intelligent algorithms
    School of Management and Economics, Beijing Institute of Technology, Beijing 100081, China
    不详
    Beijing Ligong Daxue Xuebao, 2009, 8 (748-752): : 748 - 752
  • [18] Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology
    Ghanavati, Sepideh
    Amyot, Daniel
    Peyton, Liam
    PROCEEDINGS OF THE 2009 17TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, 2009, : 133 - 142
  • [19] Defensible Model Complexity: A Call for Data-Based and Goal-Oriented Model Choice
    Guthke, Anneli
    GROUNDWATER, 2017, 55 (05) : 646 - 650
  • [20] Goal-Oriented Security Requirements Analysis for a System Used in Several Different Activities
    Kaiya, Haruhiko
    Okubo, Takao
    Kanaya, Nobuyuki
    Suzuki, Yuji
    Ogata, Shinpei
    Kaijiri, Kenji
    Yoshioka, Nobukazu
    ADVANCED INFORMATION SYSTEMS ENGINEERING WORKSHOPS (CAISE), 2013, 148 : 478 - 489
12345