Programmable electronic system design & verification utilizing DFM

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

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review


    The objective of this paper is to demonstrate the use of the Dynamic Flowgraph Methodology (DIM) 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 DIM 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
    Originele taal-2Engels
    TitelComputer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen
    Plaats van productieBerlin
    ISBN van geprinte versie3-540-41186-0
    StatusGepubliceerd - 2000

    Publicatie series

    NaamLecture notes in computer science
    ISSN van geprinte versie0302-9743


    Duik in de onderzoeksthema's van 'Programmable electronic system design & verification utilizing DFM'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit