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

M.J.M. Houtermans; G.E. Apostolakis; A.C. Brombacher; D.M. Karydas

doi:10.1016/S0925-7535%2801%2900087-X

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

M.J.M. Houtermans, G.E. Apostolakis, A.C. Brombacher, D.M. Karydas

Mechanical Engineering

Research output: Contribution to journal › Article › Academic › peer-review

12 Citations (Scopus)

Abstract

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

Original language	English
Pages (from-to)	813-833
Journal	Safety Science
Volume	40
Issue number	9
DOIs	https://doi.org/10.1016/S0925-7535%2801%2900087-X https://doi.org/10.1016/S0925-7535(01)00087-X
Publication status	Published - 2002

Access to Document

Cite this

@article{4016f91164394d71a0199a43e7edf9b5,

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

abstract = "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",

author = "M.J.M. Houtermans and G.E. Apostolakis and A.C. Brombacher and D.M. Karydas",

year = "2002",

doi = "10.1016/S0925-7535%2801%2900087-X",

language = "English",

volume = "40",

pages = "813--833",

journal = "Safety Science",

issn = "0925-7535",

publisher = "Elsevier",

number = "9",

}

TY - JOUR

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

AU - Houtermans, M.J.M.

AU - Apostolakis, G.E.

AU - Brombacher, A.C.

AU - Karydas, D.M.

PY - 2002

Y1 - 2002

N2 - 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

AB - 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

U2 - 10.1016/S0925-7535%2801%2900087-X

DO - 10.1016/S0925-7535%2801%2900087-X

M3 - Article

SN - 0925-7535

VL - 40

SP - 813

EP - 833

JO - Safety Science

JF - Safety Science

IS - 9

ER -

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

Abstract

Access to Document

Fingerprint

Cite this