Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Safety, Reliability, and Security

SAFECOMP 2000: Computer Safety, Reliability and Security pp 275–285Cite as

Programmable Electronic System Design & Verification Utilizing DFM

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1943))

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 to verify the hardware and application software design for safety issues. The outcome of the design verification is used to define the necessary diagnostic capabilities that are essential to guarantee the correct functioning of the safety system. The paper also demonstrates how DFM can be used as an application software test tool.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Reference

  1. Leveson, N., 1995, Safeware, System Safety and Computers. Addison Wesley

    Google Scholar 

  2. Garrett, C.J., Guarro, S.B., Apostolakis G.E., The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 25, No. 5, May 1995

    Google Scholar 

  3. Yau, M., Apostolakis, G., Guarro, S., 1998, The Use of Prime Implicants in Dependability Analysis of Software Controlled Systems. Reliability Engineering and System Safety, 62, 23–32

    Google Scholar 

  4. Milici, A., Yau, M., Guarro, S., Software Safety Analysis of the Space Shuttle Main Engine Control Software. PSAM 4, New York, September 1998

    Google Scholar 

  5. Garrett, C.J., Apostolakis, G., Context in the Risk Assessment of Digital Systems. Risk Analysis, 19, 23–32, 1999

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Mechanical Engineering, Reliability of Mechanical Equipment, Eindhoven University of Technology, PO Box 513, 5600 MB, Eindhoven, The Netherlands

    Michel Houtermans & Aarnout Brombacher

  2. TÜV PRODUCT SERVICE, Automation, Software and Electronics — IQSE, 5 Cherry Hill Drive, MA 01923, Danvers, USA

    Michel Houtermans

  3. Nuclear Engineering, Massachusetts Institute of Technology, 77 Massachusetts Avenue, MA 02139, Cambridge, USA

    George Apostolakis

  4. Factory Mutual Insurance, Factory Mutual Engineering, 1151 Boston-Providence Tnpk, MA 02062, Norwood, USA

    Dimitrios Karydas

Authors
  1. Michel Houtermans
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. George Apostolakis
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Aarnout Brombacher
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dimitrios Karydas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Safety Science Group, TU Delft, Jaffalaan 5, 2628, BX Delft, The Netherlands

    Floor Koornneef

  2. SIMTECH, Max Euwelaan 60, 3062, MA Rotterdam, The Netherlands

    Meine van der Meulen

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Houtermans, M., Apostolakis, G., Brombacher, A., Karydas, D. (2000). Programmable Electronic System Design & Verification Utilizing DFM. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-40891-6_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41186-4

  • Online ISBN: 978-3-540-40891-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation