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 条
  • [31] Tool-supported advanced mutation approach for verification of C# programs
    Derezinska, Anna
    Szustek, Anna
    DEPCOS - RELCOMEX 2008: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2008, : 261 - 268
  • [32] Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
    Sljivo, Irfan
    Gallina, Barbara
    Carlson, Jan
    Hansson, Hans
    Puri, Stefano
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, 2018, 10873 : 19 - 33
  • [33] A MODEL-BASED MISSION PLANNING AND DECISION SUPPORT TOOL
    Jessop, Simon M.
    Cook, Thomas C.
    PROCEEDINGS OF ASME TURBO EXPO 2009, VOL 4, 2009, : 991 - 999
  • [34] Tool-Supported Model-Driven Validation Process for System Architectures
    Pflueger, Andre
    Golubski, Wolfgang
    Queins, Stefan
    PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 1 - 6
  • [35] A model-based approach to assembly sequence planning
    Zhou Xiaoming
    Du Pingan
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2008, 39 (9-10): : 983 - 994
  • [36] A model-based approach to assembly sequence planning
    Zhou Xiaoming
    Du Pingan
    The International Journal of Advanced Manufacturing Technology, 2008, 39 : 983 - 994
  • [37] A unified approach to model-based planning and execution
    Muscettola, N
    Dorais, GA
    Fry, C
    Levinson, R
    Plaunt, C
    INTELLIGENT AUTONOMOUS SYSTEMS 6, 2000, : 751 - 758
  • [38] A model-based approach for dynamic tool integration
    Schattkowsky, T
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 130 - 135
  • [39] Tool-supported safety management in the development process through Product Lifecycle Management (PLM)
    Toolgestütztes Safety Management im Entwicklungsprozess durch Product Lifecycle Management
    1600, VDI Fachmedien GmBH & Co. KG (04):
  • [40] A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards
    Panesar-Walawege, Rajwinder Kaur
    Sabetzadeh, Mehrdad
    Briand, Lionel
    22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2011, : 30 - 39
12345