The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification

被引：6
|
作者：
Houtermans, M
Apostolakis, G
Brombacher, A
Karydas, D
机构：
[1] MIT, Cambridge, MA 02139 USA
[2] IQSE, TUV Prod Serv, Danvers, MA 01923 USA
[3] Eindhoven Univ Technol, Fac Mech Engn, NL-5600 MB Eindhoven, Netherlands
[4] Factory Mutual Engn, Norwood, MA 02062 USA
来源：
SAFETY SCIENCE | 2002年 / 40卷 / 09期
关键词：
D O I：
10.1016/S0925-7535(01)00087-X
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
The objective of this paper is to demonstrate the use of the Dynamic Flowgraph Methodology (DFM) during the design and verification of programmable electronic safety-related systems. The safety system consists of hardware as well as software. This paper explains and demonstrates the use of DFM, and how DFM can be used to verify the hardware and application software design. DFM is used not only to analyze newly developed software but also to verify existing software, The outcome of the design verification of the safety system is used to define the necessary diagnostic capabilities that are essential to guarantee the correct functioning of the safety functions. (C) 2002 Elsevier Science Ltd. All rights reserved.
引用
收藏
页码：813 / 833
页数：21
相关论文
共 50 条
  • [21] Design and Verification of Polymorphic Safety Logic Control Method for Cruise Ammunition Fuze Based on Electronic Safety System
    Zhang C.
    Li H.
    Gong X.
    Chen Z.
    Yu H.
    Binggong Xuebao/Acta Armamentarii, 2023, 44 (10): : 3079 - 3090
  • [22] A nonlinear hybrid life support system: Dynamic modeling, control design, and safety verification
    Glavaski, Sonja
    Subramanian, Dharmashankar
    Ariyur, Kartik
    Ghosh, Ranjana
    Lamba, Nitin
    Papachristodoulou, Antonis
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 2007, 15 (06) : 1003 - 1017
  • [23] A comparison of Fault Trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems Part 1: Reactor trip logic loop reliability analysis
    McNelles, Phillip
    Zeng, Zhao Chang
    Renganathan, Guna
    Lamarre, Greg
    Akl, Yolande
    Lu, Lixuan
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2016, 153 : 135 - 150
  • [24] Safety Analysis and Decision Making Methodology in Ship Towing System Design
    Huang, Xiangbing
    Huang, Xingling
    ADVANCES IN ENGINEERING DESIGN AND OPTIMIZATION III, PTS 1 AND 2, 2012, 201-202 : 1013 - 1016
  • [25] ANALYSIS OF DYNAMIC CHARACTERISTIC OF MACHINE TOOL VIA DYNAMIC DATA SYSTEM (DDS) METHODOLOGY.
    Peng Zemin
    Tian Xin
    Liu Youwu
    Tianjin Daxue Xuebao (Ziran Kexue yu Gongcheng Jishu Ban)/Journal of Tianjin University Science and Technology, 1982, : 23 - 38
  • [26] Demonstration of the dynamic flowgraph methodology using the Titan II space launch vehicle digital flight control system
    1600, Elsevier Science Ltd, Oxford, Engl (49):
  • [27] Software safety lifecycles and the methods of a programmable electronic safety system for a nuclear power plant
    Lee, Jang-Soo
    Lindner, Arndt
    Choi, Jong-Gyun
    Miedl, Horst
    Kwon, Kee-Choon
    COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 85 - 98
  • [28] Structural dynamic design optimization and experimental verification of a machine tool
    Lei Shen
    Xiaohong Ding
    Tianjian Li
    Xiangzhi Kong
    Xiaohu Dong
    The International Journal of Advanced Manufacturing Technology, 2019, 104 : 3773 - 3786
  • [29] Structural dynamic design optimization and experimental verification of a machine tool
    Shen, Lei
    Ding, Xiaohong
    Li, Tianjian
    Kong, Xiangzhi
    Dong, Xiaohu
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2019, 104 (9-12): : 3773 - 3786
  • [30] Overview of IEC 61508 - Design of electrical/electronic/programmable electronic safety-related systems
    Brown, S
    COMPUTING & CONTROL ENGINEERING JOURNAL, 2000, 11 (01): : 6 - 12
12345