To be able to perform any analysis of the timing properties related to synchronization constraints, the timing properties influencing the validity of the constraint must first be determined. This means any information that can be obtained regarding the events and their timely propagation through the system. This includes WCET, communication delays, jitter, response times and offsets. These properties will in most cases have to be estimated since concrete figures typically are known only at the implementation level. In principle, the same techniques as in the time-budgeting use case can be applied to perform the estimation. Of course, if the system is designed based on already existing components, the figures would be available with a higher accuracy although they would probably still need adaptations due to the new system setting.
|