Search: onr:"swepub:oai:DiVA.org:uu-19173" >
TIMES: a Tool for S...
-
Amnell, TobiasUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems
(author)
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
- Article/chapterEnglish2003
Publisher, publication year, extent ...
Numbers
-
LIBRIS-ID:oai:DiVA.org:uu-19173
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-19173URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:kon swepub-publicationtype
Notes
-
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.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Fersman, ElenaUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems
(author)
-
Mokrushin, LeonidUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems(Swepub:uu)lemok839
(author)
-
Pettersson, PaulUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems(Swepub:uu)paulpet
(author)
-
Yi, WangUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems(Swepub:uu)wangyi
(author)
-
Uppsala universitetInstitutionen för informationsteknologi
(creator_code:org_t)
Related titles
-
In:Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems9783540216711
Internet link
Find in a library
To the university's database