Requirements traceability issues: Generic model, methodology and formal basis

This paper focuses on the traceability issue as key element in systems design and management of system. The work is presented through the system engineering framework with a main emphasis on requirements process. Effectively in decision making, the need for traceability model is often required in order to find out the link for a considered decision and often the semantics of such link. With the advent for information technology and integrating technical needs and business goal, the traceability find its essence and many models can now be easily implemented automatically. The paper is based on many experiences carried out ranging from audit to requirement evolution issues for impact analysis.