uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. DoCS. (Real-Time Systems)
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. DoCS. (Real-Time Systems)
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. DoCS. (Real-Time Systems)
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, Computer Systems. DoCS. (Real-Time Systems)
Show 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 Science
Identifiers
URN: urn:nbn:se:uu:diva-19173ISBN: 978-3-540-21671-1 (print)OAI: oai:DiVA.org:uu-19173DiVA: diva2:46945
Available from: 2006-11-27 Created: 2006-11-27

Open Access in DiVA

No full text

Other links

http://www.springerlink.com/content/vcn6er2uyvbyhpwr/?p=4226d4f4bfab43bf80120d486c954a5b&pi=5

Authority records BETA

Mokrushin, LeonidPettersson, PaulYi, Wang

Search in DiVA

By author/editor
Mokrushin, LeonidPettersson, PaulYi, Wang
By organisation
Department of Information TechnologyComputer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 408 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf