Application of waveform and data flow analysis in engine sensor fault determination - a case study of Volkswagen B7 engine

2020 ◽  
Author(s):  
Bingxian Li ◽  
Shengbo Zhou ◽  
Donglei Zhang
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Sensor Fault ◽  
Data Flow Analysis

A Formal Definition of FRSM and Applications

1998 ◽  
Vol 08 (02) ◽  
pp. 253-281 ◽  
Author(s):  
Shaoying Liu
Keyword(s):  
Data Flow ◽  
Formal Semantics ◽  
Flow Analysis ◽  
Flow Diagram ◽  
Data Flow Analysis ◽  
Requirements Specifications ◽  
Specification Method ◽  
Definition Of ◽  
Formal Requirements

FRSM (Formal Requirements Specification Method) is a structured formal language and method for requirements analysis and specification construction based on data flow analysis. It uses a formalized DeMarco data flow diagram to describe the overall structure of systems and a VDM-SL like formal notation to describe precisely the functionality of components in the diagrams. This paper first describes the formal syntax and semantics of FRSM and then presents an example of using the axiom and inference rules given in the definition of the formal semantics for checking consistency of specifications. A case study of applying FRSM to a practical example is described to demonstrate the principle of constructing requirements specifications and to uncover the benefits and deficiencies of FRSM.

scholarly journals On Probabilistic Techniques for Data Flow Analysis

2007 ◽  
Vol 190 (3) ◽  
pp. 59-77 ◽  
Author(s):  
Alessandra Di Pierro ◽  
Chris Hankin ◽  
Herbert Wiklicky
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

May/must analysis and the DFAGen data-flow analysis generator

2009 ◽  
Vol 51 (10) ◽  
pp. 1440-1453 ◽  
Author(s):  
Andrew Stone ◽  
Michelle Strout ◽  
Shweta Behere
Keyword(s):  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis

Polyhedral Data-Flow Analysis for Data Storage and Transfer Exploration

1998 ◽  
pp. 121-153
Author(s):  
Francky Catthoor ◽  
Sven Wuytack ◽  
Eddy De Greef ◽  
Florin Balasa ◽  
Lode Nachtergaele ◽  
...  
Keyword(s):  
Data Storage ◽  
Data Flow ◽  
Flow Analysis ◽  
Data Flow Analysis
Sign in / Sign up

Export Citation Format

Share Document