Data stores can have significant effects on software verification, especially in the area of data coupling and control. Models and subsystems that use only inports and outports to pass data result in clean, well-specified, and easily verifiable interfaces in the generated code.
Data stores, like any type of global data, make verification more difficult. If your development process includes software verification, consider planning for the effect of data stores early in the design process.
For more information, see RTCA DO-331, "Model-Based Development and Verification Supplement to DO-178C and DO-278A," Section MB.6.3.3.b.