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 条
  • [31] A system design methodology for reducing system integration time and facilitating modular design verification
    Shannon, Lesley
    Fort, Blair
    Parikh, Samir
    Patel, Arun
    Saldana, Manuel
    Chow, Paul
    2006 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, 2006, : 289 - 294
  • [32] APPLICATION OF VALUE-IMPACT METHODOLOGY IN THE DESIGN ANALYSIS OF A NUCLEAR SAFETY SYSTEM
    STAMATELATOS, MG
    LIGON, DM
    ADAMANTIADES, AG
    NUCLEAR TECHNOLOGY, 1984, 64 (03) : 249 - 267
  • [33] Dynamic analysis and design of a machine tool spindle-bearing system
    Wang, W.R., 1600, Publ by ASME, New York, NY, United States (116):
  • [34] A Comparative Study on Reliability Analysis Methods for Safety Critical Systems Using Petri-Nets and Dynamic Flowgraph Methodology: A Case Study of Nuclear Power Plant
    Tripathi, Manish
    Singh, Lalit Kumar
    Singh, Suneet
    Singh, Pooja
    IEEE TRANSACTIONS ON RELIABILITY, 2022, 71 (02) : 564 - 578
  • [35] System Design and Verification for a Safety Related Integrated Sensor
    Sacco, Vincenzo
    Poezart, Mathieu
    Close, Gael F.
    SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2015, 8 (02): : 320 - 324
  • [36] Programmable electronic and hardwired emergency shutdown systems: A quantified safety analysis
    Sammarco, John J.
    IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, 2007, 43 (04) : 1061 - 1068
  • [37] SIGNATURE ANALYSIS AS A MEANS TO OBTAIN ONLINE SAFETY FOR PROGRAMMABLE ELECTRONIC SYSTEMS
    SCHWEITZER, A
    BREMONT, J
    LAMOTTE, M
    ONDE ELECTRIQUE, 1988, 68 (06): : 52 - 58
  • [38] USING MARKOV-MODELS FOR SAFETY ANALYSIS OF PROGRAMMABLE ELECTRONIC SYSTEMS
    BUKOWSKI, JV
    GOBLE, WM
    ISA TRANSACTIONS, 1995, 34 (02) : 193 - 198
  • [39] Programmable electronic and hardwired emergency shutdown systems: A quantified safety analysis
    Sammarco, JJ
    Conference Record of the 2005 IEEE Industry Applications Conference, Vols 1-4, 2005, : 210 - 217
  • [40] ANALYSIS OF CONTACT POSITIONS OF INSPECTION TOOL FOR MOTORCYCLE SAFETY VERIFICATION
    Inui, Masatomo
    Umezu, Nobuyuki
    PROCEEDINGS OF ASME 2023 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2023, VOL 2, 2023,
12345