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

被引：17
|
作者：
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 条
  • [1] A tool-supported approach to engineering HTN planning models
    McCluskey, TL
    Kitchin, DE
    [J]. TENTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 1998, : 272 - 279
  • [2] A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process
    Ul Muram, Faiz
    Gallina, Barbara
    Kanwal, Samina
    [J]. RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, 2019, 11495 : 125 - 141
  • [3] A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
    Marinescu, Raluca
    Seceleanu, Cristina
    Le Guen, Helene
    Pettersson, Paul
    [J]. ADVANCES IN COMPUTERS, VOL 98, 2015, 98 : 89 - 140
  • [4] A Tool-Supported Compliance Process for Software Systems
    Engiel, Priscila
    Sampaio do Prado Leite, Julio Cesar
    Mylopoulos, John
    [J]. 2017 11TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2017, : 66 - 76
  • [5] On a tool-supported model-based approach for building architectures and roadmaps: The MegaM@Rt2 project experience
    Sadovykh, Andrey
    Afzal, Wasif
    Truscan, Dragos
    Pierini, Pierluigi
    Bruneliere, Hugo
    Bagnato, Alessandra
    Gomez, Abel
    Cabot, Jordi
    Avila-Garcia, Orlando
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2019, 71
  • [6] Tool Supported Model-Based Safety Analysis and Optimization
    Guedemann, Matthias
    Lipaczewski, Michael
    Ortmeier, Frank
    [J]. 2011 IEEE 17TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2011, : 294 - 295
  • [7] A tool-supported framework for work planning on construction sites based on constraint programming
    Camacho, Azahara
    Canizares, Pablo C.
    Estevez, Sonia
    Nunez, Manuel
    [J]. AUTOMATION IN CONSTRUCTION, 2018, 86 : 190 - 198
  • [8] A tool-supported approach to testing UML design models
    Dinh-Trong, T
    Kawane, N
    Ghosh, S
    France, R
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 519 - 528
  • [9] A tool-supported approach for assessing the quality of modeling artifacts
    Basciani, Francesco
    Di Rocco, Juri
    Di Ruscio, Davide
    Iovino, Ludovico
    Pierantonio, Alfonso
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2019, 51 : 173 - 192
  • [10] A tool-supported approach to inter-tabular verification
    Vanthienen, J
    Mues, C
    Wets, G
    Delaere, K
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 1998, 15 (3-4) : 277 - 285
12345