Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach

被引：18
|
作者：
Falessi, Davide [1 ]
Sabetzadeh, Mehrdad
Briand, Lionel [2 ]
Turella, Emanuele
Coq, Thierry [3 ]
Panesar-Walawege, Rajwinder Kaur
机构：
[1] Univ Roma Tor Vergata, Dept Informat Syst & Prod Engn, I-00173 Rome, Italy
[2] Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust, Luxembourg, Luxembourg
[3] Det Norske Veritas, Paris, France
来源：
IEEE SOFTWARE | 2012年 / 29卷 / 03期
关键词：
D O I：
10.1109/MS.2011.116
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：64 / 70
页数：7
相关论文
共 50 条
  • [41] Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach
    de Boer, Frank S.
    Giachino, Elena
    de Gouw, Stijn
    Haehnle, Reiner
    Johnsen, Einar Broch
    Laneve, Cosimo
    Pun, Ka, I
    Zavattaro, Gianluigi
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (302): : 1 - 15
  • [42] A probability-based approach to model-based path planning
    Mantegh, I
    Jenkin, MRM
    Goldenberg, AA
    IROS '97 - PROCEEDINGS OF THE 1997 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOT AND SYSTEMS: INNOVATIVE ROBOTICS FOR REAL-WORLD APPLICATIONS, VOLS 1-3, 1996, : 1189 - 1195
  • [43] Modular Construction of Dependability Models from System Architecture Models: A Tool-supported Approach
    Magyar, M.
    Majzik, I.
    SIXTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2009, : 95 - 96
  • [44] A model-based approach for planning blockchain service provisioning
    Carlos Melo
    Jean Araujo
    Jamilson Dantas
    Paulo Pereira
    Paulo Maciel
    Computing, 2022, 104 : 315 - 337
  • [45] A HYBRID MODEL-BASED APPROACH FOR THE PRODUCTION PLANNING OF FMSS
    STECKE, KE
    MIN, MK
    KIM, IY
    EXPERT SYSTEMS AND THE LEADING EDGE IN PRODUCTION AND OPERATIONS MANAGEMENT: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE, 1989, : 281 - 291
  • [46] A model-based approach for planning blockchain service provisioning
    Melo, Carlos
    Araujo, Jean
    Dantas, Jamilson
    Pereira, Paulo
    Maciel, Paulo
    COMPUTING, 2022, 104 (02) : 315 - 337
  • [47] Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation
    Panesar-Walawege, Rajwinder Kaur
    Sabetzadeh, Mehrdad
    Briand, Lionel
    INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (05) : 836 - 864
  • [48] Tool-supported interpreter-based user interface architecture for ubiquitous computing
    Braubach, L
    Pokahr, A
    Moldt, D
    Bartelt, A
    Lamersdorf, W
    INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION AND VERIFICATION, 2002, 2545 : 89 - 103
  • [49] A Model-Based System Safety Analysis Tool and Case Study
    Dong, Yanhong
    Hu, Jun
    Qi, Jian
    Gu, Qingfan
    Rong, Hao
    COMMUNICATIONS, SIGNAL PROCESSING, AND SYSTEMS, VOL. 1, 2022, 878 : 970 - 979
  • [50] Tool-supported Requirements-based Topology Design for Wireless Sensor Networks
    Lange, Stefan
    Loesche, Juergen
    Piotrowski, Krzysztof
    FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2014, 2014, 2 : 1043 - 1047
12345