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 条
  • [1] Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model
    Yan, Ben
    Nakamura, Masahide
    Matsumoto, Ken-ichi
    FGCN: PROCEEDINGS OF THE 2008 SECOND INTERNATIONAL CONFERENCE ON FUTURE GENERATION COMMUNICATION AND NETWORKING, VOLS 1 AND 2, 2008, : 906 - +
  • [2] Improving reusability of hazard analysis model with hazard template for deriving safety properties of home network system
    Yan, Ben
    Nakamura, Masahide
    du Bousquet, Lydie
    Matsumoto, Ken-Ichi
    International Journal of Smart Home, 2009, 3 (02): : 71 - 88
  • [3] Applying a goal-oriented method for hazard analysis: A case study
    Supakkul, Sam
    Chung, Lawrence
    FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS, PROCEEDINGS, 2006, : 22 - +
  • [4] Goal-oriented feature interaction detection in the intelligent network model
    Kamoun, J
    Logrippo, L
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V, 1998, : 172 - 186
  • [5] Goal-oriented, model-based drug regimens
    Jelliffe, RW
    Maire, P
    COMPUTERS IN BIOLOGY AND MEDICINE, 2001, 31 (03) : 145 - 146
  • [6] Deriving event-based transition systems from goal-oriented requirements models
    Letier, Emmanuel
    Kramer, Jeff
    Magee, Jeff
    Uchitel, Sebastian
    AUTOMATED SOFTWARE ENGINEERING, 2008, 15 (02) : 175 - 206
  • [7] Deriving tabular event-based specifications from goal-oriented requirements models
    Renaud De Landtsheer
    Emmanuel Letier
    Axel van Lamsweerde
    Requirements Engineering, 2004, 9 : 104 - 120
  • [8] Goal-oriented sequential pattern for network banking chum analysis
    Chiang, DA
    Wang, YF
    Lee, SL
    Lin, CJ
    EXPERT SYSTEMS WITH APPLICATIONS, 2003, 25 (03) : 293 - 302
  • [9] Deriving event-based transition systems from goal-oriented requirements models
    Emmanuel Letier
    Jeff Kramer
    Jeff Magee
    Sebastian Uchitel
    Automated Software Engineering, 2008, 15 : 175 - 206
  • [10] Deriving tabular event-based specifications from goal-oriented requirements models
    De Landtsheer, R
    Letier, E
    van Lamsweerde, A
    11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2003, : 200 - 210
12345