TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time SystemsShow others and affiliations
2003 (English)In: Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems, 2003Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
2003.
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-19173ISBN: 978-3-540-21671-1 (print)OAI: oai:DiVA.org:uu-19173DiVA, id: diva2:46945
2006-11-272006-11-272018-01-12