A formalism for arrival time analysis of Real-Time tasks based on UML models

One of the important and effort-consuming aspects in the development of real-time (RT) systems is the analysis of RT job arrival times, i.e., finding the time instant(s) or time interval(s) when tasks are allowed to start. The analysis of arrival times becomes complex when the number of RT tasks under analysis grows and also when RT tasks have different arrival patterns, e.g., periodic. We present in this paper an automatable UML-based arrival time analysis formalism for RT systems. To show the applicability and effectiveness of our formalism, an example arrival time analysis using the formalism is presented.