61508。这些指引中的常见要求是关键需求必须经过确认，且验证过程要可以通过可追踪性来展现。
需求之前及需求之后的可追踪性.要将需求可追踪性连结到设计、实现及验证的开发产物可能会相关困难。例如在实现软体需求时,需求可能是在需求管理软体中，而设计产物可能是在、Mathworks Simulink、或Microsoft Visio等工具软体中。而最后实现的开发产物可能是以原始码的形式出现。验证产物可能是由内部测试或是型式验证工具（像是、或SCADE）所产生的结果。在维护动态系统