4.Description Steps


1.Define the system life cycle, summarize input, output document of each phase.

2.Categorize input, output documents.

3.State a top goal : “the system is dependable”.

4.State dependability requirements, environment information and vocabulary definitions as context node to top goals.

5.Grasp the structure of D-case.

6.Place necessary documents in context node.

7.Create D-case subtree from said documents.

8.For sections of D-Case without subtrees, create subtrees using typical argument structures.

9.Repeat the above as needed.

<<3.Description Rules   5.Description Examples>>