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 条
  • [1] Field Programmable Gate Array Reliability Analysis Using the Dynamic Flowgraph Methodology
    McNelles, Phillip
    Lu, Lixuan
    NUCLEAR ENGINEERING AND TECHNOLOGY, 2016, 48 (05) : 1192 - 1205
  • [2] Dynamic modeling and verification of safe-set architectures .3. Dynamic flowgraph methodology (DFM) for safety verification and analysis of critical control software
    Guarro, SB
    Yau, MK
    WESCON - 96, CONFERENCE PROCEEDINGS, 1996, : 534 - 540
  • [3] Programmable electronic system design & verification utilizing DFM
    Houtermans, M
    Apostolakis, G
    Brombacher, A
    Karydas, D
    COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 275 - 285
  • [4] Methodology analysis of a computational tool used in electronic circuit design
    Almeida, Tiago da Silva
    Rodrigues da Silva, Alexandre C.
    Grout, Ian Andrew
    2011 IEEE INTERNATIONAL INSTRUMENTATION AND MEASUREMENT TECHNOLOGY CONFERENCE (I2MTC), 2011, : 710 - 715
  • [5] Wireless Power Transfer System Design Methodology - analysis, design, verification
    Frivaldsky, M.
    Pavelek, M.
    Kindl, V
    Zavrel, M.
    13TH INTERNATIONAL CONFERENCE ON ELEKTRO (ELEKTRO 2020), 2020,
  • [6] A Verification and Analysis Tool Set for Embedded System Design
    Nakamura, Yuichi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2011, E94A (12): : 2788 - 2793
  • [7] Safety Analysis Methodology in Marine Salvage System Design
    Liu, Yan Hong
    Chen, Li Yuan
    Huang, Xing Ling
    Liu, Bo Yun
    PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MECHATRONICS, ROBOTICS AND AUTOMATION (ICMRA 2015), 2015, 15 : 155 - 159
  • [8] Analysis tool and methodology design for electronic vibration stress understanding and prediction
    Hsieh, SJ
    Crane, R
    Sathish, S
    THERMOSENSE XXVII, 2005, 5782 : 221 - 233
  • [9] A comparison of fault trees and the Dynamic Flowgraph Methodology for the analysis of FPGA-based safety systems part 2: Theoretical investigations
    McNelles, Phillip
    Renganathan, Guna
    Chang, Zeng Zhao
    Chirila, Marius
    Lu, Lixuan
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2019, 183 : 60 - 83
  • [10] The Integrated Health Monitoring Design Using the Dynamic Flowgraph Methodology for Thermal Control Systems of Payloads
    Shi, Jianming
    Wang, Gong
    Liu, Ying
    Tong, Tiefeng
    2013 PROGNOSTICS AND HEALTH MANAGEMENT CONFERENCE (PHM), 2013, 33 : 211 - 216
12345