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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Reference
Leveson, N., 1995, Safeware, System Safety and Computers. Addison Wesley
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
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
Milici, A., Yau, M., Guarro, S., Software Safety Analysis of the Space Shuttle Main Engine Control Software. PSAM 4, New York, September 1998
Garrett, C.J., Apostolakis, G., Context in the Risk Assessment of Digital Systems. Risk Analysis, 19, 23–32, 1999
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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