SWE.2.BP8 Ensure consistency
SWE.2.O.2 The software requirements are allocated to the elements of thesoftware