Sökning: onr:"swepub:oai:DiVA.org:uu-19173" >
TIMES: a Tool for S...
-
Amnell, TobiasUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems
(författare)
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
- Artikel/kapitelEngelska2003
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:uu-19173
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-19173URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Fersman, ElenaUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems
(författare)
-
Mokrushin, LeonidUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems(Swepub:uu)lemok839
(författare)
-
Pettersson, PaulUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems(Swepub:uu)paulpet
(författare)
-
Yi, WangUppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems(Swepub:uu)wangyi
(författare)
-
Uppsala universitetInstitutionen för informationsteknologi
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems9783540216711
Internetlänk
Hitta via bibliotek
Till lärosätets databas