If it was not possible to resolve the requirement violation at a certain abstraction level, it is advisable to examine other neighbouring abstraction levels. In case there is ground for believing that there is a need for obtaining more detailed and refined information, it is necessary to involve the lower abstraction level.
This task identifies the requirement at the lower level that corresponds to the violated requirement at the original abstraction level.
After having retrieved the more detailed information at the lower level, it needs to be transferred back to the original abstraction level as a property in the timing model of that abstraction level. |