@inbook{552780fde90849f4a72eed210d02f2db,
title = "TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems",
abstract = "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.",
author = "Tobias Amnell and Elena Fersman and Leonid Mokrushin and Paul Pettersson and Wang Yi",
year = "2004",
doi = "10.1007/978-3-540-40903-8\_6",
language = "英语",
isbn = "3540216715",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "60--72",
editor = "Larsen, \{Kim G.\} and Peter Niebert",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "德国",
}