TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems
Times is a tool suite designed mainly for symbolic schedulability analysis and synthesis of executable code with predictable behaviours for real-time systems. Given a system design model consisting of (1) a set of application tasks whose executions may be required to meet mixed timing, precedence, and resource constraints, (2) a network of timed automata describing the task arrival patterns and (3) a preemptive or non-preemptive scheduling policy, Times will generate a scheduler, and calculate the worst case response times for the tasks. The design model may be further validated using a model checker e.g. UPPAAL and then compiled to executable C-code using the Times compiler. In this paper, we present the design and main features of Times including a summary of theoretical results behind the tool. Times can be downloaded at www.timestool.com.
KeywordsSchedule Policy Precedence Constraint Sporadic Task Schedulability Analysis Executable Code
Unable to display preview. Download preview PDF.
- 5.Ericsson, C., Wall, A., Yi, W.: Timed automata as task models for event-driven systems. In: Proceedings of Nordic Workshop on Programming Theory (1998)Google Scholar
- 8.Fersman, E., Yi, W.: A generic approach to schedulability analysis of real-time tasks (2003) (submitted for publication)Google Scholar
- 10.Rajkumar, R., Sha, L., Lehoczky, J.P.: An experimental investigation of synchronization protocols. In: Proceedings 6th IEEE Workshop on Real-Time Operating Systems and Software, pp. 11–17. IEEE Computer Society Press, Los Alamitos (1998)Google Scholar
- 11.Yi, W.: A Calculus of Real Time Systems. PhD thesis, Department of Computer Science, Chalmers University of Technology (1991)Google Scholar