A Dependability Assurance Method Based on Data Flow Diagram (DFD)

摘要

The paper discusses the use of Data flow diagram(DFD) to assure dependability. Until now, DFD has beenwidely used to track data movement from input to outputmaking it easy to organize processes and have an overallunderstanding of the system. However, no studies exist ondependability using Data Flow Diagrams. After examiningseveral D-Cases (dependability cases) produced from DFD, Itbecame clear that it was easy to support the main goal, i.e.proving system is dependable, by providing evidence, as DFDtracks every process, input, output and data stores. Thispaper will explain the derivation of a D-Case from DFD anddiscusses various aspects of this method in detail.