Nguyen chart 2


A high-level software assurance case pattern for system safe mode.

A high-level software assurance case pattern for system safe mode. The top-level goal, GTopLevel, is systematically decomposed into subgoals until specific evidence for those subgoals can be provided. The argument decomposition is indicated using black arrows, and context is included using red arrows. Arrows in the bottom rectangles indicate that the argument is continued in another diagram.  More »