2014 | OriginalPaper | Chapter
A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)
Authors : Nada Olayan, Shuichiro Yamamoto
Published in: Knowledge-Based Software Engineering
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
After producing the D-case based on DFD, a question about the consistency of the produced D-case was raised. In this paper we will be discussing consistency checks for the produced D-case according to DFD and D-case rules and propose some approaches based on it . There are some rules used to define and formalize the DFD, in the same manner we will define the syntax and semantics of the produced D-case.