Explanation
Two cross-cutting mechanisms within SysML that can be used to establish traceability between the systems model and a UML software model are allocations and stereotypes. Allocations are dependencies that indicate a relationship between elements in different models or domains. Stereotypes are extensions of existing metaclasses that add additional information or semantics to model elements. By using allocations and stereotypes, different aspects of the systems model and the software model can be linked and traced.
References: https://www.omg.org/ocsmp/ocsmp-adv-exam.htmhttps://www.omg.org/spec/SysML/1.6/PDF