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.