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 条
  • [41] Dynamic Process Simulation as a Tool in Safety Analysis
    Hecht, Corinna
    Rix, Armin
    Paul, Niklas
    Zitzewitz, Philip
    CHEMIE INGENIEUR TECHNIK, 2020, 92 (12) : 2028 - 2034
  • [42] A Design of Programmable Parser Generation System Based on Dynamic Programming
    Wang, Xiaolong
    Liu, Qinrang
    Yan, Binghao
    PROCEEDINGS OF THE 2017 IEEE INTERNATIONAL CONFERENCE ON INFORMATION, COMMUNICATION AND ENGINEERING (IEEE-ICICE 2017), 2017, : 325 - 328
  • [43] Electronic system design methodology: Europe's positioning
    Jerraya, A
    Matheron, G
    DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, 2001, : 720 - 720
  • [44] The design of an electronic pedigree system for food safety
    Weili Han
    Yun Gu
    Wei Wang
    Yin Zhang
    Yuliang Yin
    Junyu Wang
    Li-Rong Zheng
    Information Systems Frontiers, 2015, 17 : 275 - 287
  • [45] The design of an electronic pedigree system for food safety
    Han, Weili
    Gu, Yun
    Wang, Wei
    Zhang, Yin
    Yin, Yuliang
    Wang, Junyu
    Zheng, Li-Rong
    INFORMATION SYSTEMS FRONTIERS, 2015, 17 (02) : 275 - 287
  • [46] Design on Piezoelectric Converter for Electronic Safety System
    Xiao, Hongbing
    Xing, Suxia
    He, Feiyun
    MEASURING TECHNOLOGY AND MECHATRONICS AUTOMATION IV, PTS 1 AND 2, 2012, 128-129 : 1421 - 1425
  • [47] Design and verification of hybrid dynamic worm detection system
    Wang H.
    Tang X.
    Zhuang C.
    Fu C.
    International Journal of Advancements in Computing Technology, 2011, 3 (11) : 80 - 87
  • [48] Hydrostatic spindle dynamic design system and its verification
    Chen, Wanqun
    Sun, Yazhou
    Liang, Yingchun
    Bai, Qingshun
    Zhang, Peng
    Liu, Haitao
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2014, 228 (01) : 149 - 155
  • [49] Fire safety design based on calculations: Uncertainty analysis and safety verification
    Magnusson, SE
    Frantzich, H
    Harada, K
    FIRE SAFETY JOURNAL, 1996, 27 (04) : 305 - 334
  • [50] Reliability Model and Sensitivity Analysis for Electrical/Electronic/Programmable Electronic Safety-Related Systems
    Torres, Esperanza S.
    Sriramula, Srinivas
    Celeita, David
    Ramos, Gustavo
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2020, 56 (04) : 3422 - 3430
12345