Programmable electronic system design & verification utilizing DFM

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    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
    Original languageEnglish
    Title of host publicationComputer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen
    Place of PublicationBerlin
    PublisherSpringer
    Pages275-285
    ISBN (Print)3-540-41186-0
    Publication statusPublished - 2000

    Publication series

    NameLecture notes in computer science
    Volume1943
    ISSN (Print)0302-9743

    Fingerprint

    Security systems
    Application programs
    Systems analysis
    Software design
    Computer hardware
    Hardware

    Cite this

    Houtermans, M. J. M., Apostolakis, G. E., Brombacher, A. C., & Karydas, D. M. (2000). Programmable electronic system design & verification utilizing DFM. In Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen (pp. 275-285). (Lecture notes in computer science; Vol. 1943). Berlin: Springer.
    Houtermans, M.J.M. ; Apostolakis, G.E. ; Brombacher, A.C. ; Karydas, D.M. / Programmable electronic system design & verification utilizing DFM. Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen. Berlin : Springer, 2000. pp. 275-285 (Lecture notes in computer science).
    @inproceedings{5d740de49dab4c0aa9a7a4f43f4e87c6,
    title = "Programmable electronic system design & verification utilizing DFM",
    abstract = "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",
    author = "M.J.M. Houtermans and G.E. Apostolakis and A.C. Brombacher and D.M. Karydas",
    year = "2000",
    language = "English",
    isbn = "3-540-41186-0",
    series = "Lecture notes in computer science",
    publisher = "Springer",
    pages = "275--285",
    booktitle = "Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen",
    address = "Germany",

    }

    Houtermans, MJM, Apostolakis, GE, Brombacher, AC & Karydas, DM 2000, Programmable electronic system design & verification utilizing DFM. in Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen. Lecture notes in computer science, vol. 1943, Springer, Berlin, pp. 275-285.

    Programmable electronic system design & verification utilizing DFM. / Houtermans, M.J.M.; Apostolakis, G.E.; Brombacher, A.C.; Karydas, D.M.

    Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen. Berlin : Springer, 2000. p. 275-285 (Lecture notes in computer science; Vol. 1943).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Programmable electronic system design & verification utilizing DFM

    AU - Houtermans, M.J.M.

    AU - Apostolakis, G.E.

    AU - Brombacher, A.C.

    AU - Karydas, D.M.

    PY - 2000

    Y1 - 2000

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

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

    M3 - Conference contribution

    SN - 3-540-41186-0

    T3 - Lecture notes in computer science

    SP - 275

    EP - 285

    BT - Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen

    PB - Springer

    CY - Berlin

    ER -

    Houtermans MJM, Apostolakis GE, Brombacher AC, Karydas DM. Programmable electronic system design & verification utilizing DFM. In Computer safety, reliability and security : 19th international conference, Rotterdam, The Netherlands, October 24-27, 2000 ; proceedings / Ed. F. Koornneef, M. van der Meulen. Berlin: Springer. 2000. p. 275-285. (Lecture notes in computer science).