4.Description Steps
- Define the system life cycle, summarize input, output document of each phase.
- Categorize input, output documents.
- State a top goal : “the system is dependable”.
- State dependability requirements, environment information and vocabulary definitions as context node to top goals.
- Grasp the structure of D-case.
- Place necessary documents in context node.
- Create D-case subtree from said documents.
- For sections of D-Case without subtrees, create subtrees using typical argument structures.
- Repeat the above as needed.