Model-Based Specification of Timing Requirements

In the past, model-based development focused mainly on functional and structural aspects of the system to be devel-oped. Recently, several approaches to include timing aspects have been suggested. However, these approaches are typi-cally applied in later development phases. Models specifying the requirements with respect to timing without focusing on a specific solution are missing. For example, few models sup-port the specification of the allowed jitter of a system. In this paper, we identify requirements on languages for mod-eling the desired timing behavior of hard and soft real-time systems by analyzing different application domains. Based on these results, we evaluate existing approaches with re-spect to their suitability and present a suitable approach. Finally, this paper describes the application of the suggested approach in the context of an example from the automation domain