Data Flow Analysis allows to verify the compliance of the data operations in terms of interface and validity domains.

Data structures are generated based on the software design. Depending on its characteristics (eg: real time, object-oriented) a data structure is defined.

Optimizations may be made, such as analysis of loop iterations or optimisation of functions calls - to improve the real-time behavior of the system.