|
|||||
|
|
The dynamic flowgraph methodology as a safety analysis tool: programmable electronic system design and verification |
|
| Authors: | Michel Houtermans George Apostolakis Aarnout Brombacher Dimitrios Karydas |
| Institution: | a Automation, Software and Electronics, TUV Product Service, IQSE, 5 Cherry Hilll Drive, Danvers, MA 01923, USA;b Massachusetts Institute of Technology, Nuclear Engineering, 77 Massachusetts Avenue, Cambridge, MA 02139, USA;c Eindhoven University of Technology, Faculty of Mechanical Engineering, Reliability of Mechanical Equipment, PO Box 513, 5600 MB, Eindhoven, The Netherlands;d Factory Mutual Engineering, 1151 Boston-Providence Turnpike, Norwood, MA 02062, USA |
| 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. |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |