This paper proposes the usage of IBM Rational DOORS for the planning, controlling and supporting the verification of a system. This includes defining the verification methods & stages for technical requirements, defining the verification activities, establishing links between technical requirements and verification activities, defining the scope and success criteria of tests, monitoring the progress of the verification campaigns and finally the generation of the compliance matrix, all within a single tool. We illustrate the usage of this tool over the entire lifecycle of two recent projects (NAOMI, 4MOST) and give an outlook of its application to the verification of the Extremely Large Telescope (ELT).
|