TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: WFRF:(Mokrushin Leonid) > TIMES: a Tool for S...

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		02774naa a2200337 4500
001		oai:DiVA.org:uu-19173
003		SwePub
008		061127s2003 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
024	7	a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-191732 URI
040		a (SwePub)uu
041		a engb eng
042		9 SwePub
072	7	a ref2 swepub-contenttype
072	7	a kon2 swepub-publicationtype
100	1	a Amnell, Tobiasu Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems4 aut
245	1 0	a TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
264	1	c 2003
338		a print2 rdacarrier
520		a 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.
650	7	a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe
650	7	a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng
653		a Computer science
653		a Datalogi
700	1	a Fersman, Elenau Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems4 aut
700	1	a Mokrushin, Leonidu Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems4 aut0 (Swepub:uu)lemok839
700	1	a Pettersson, Paulu Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems4 aut0 (Swepub:uu)paulpet
700	1	a Yi, Wangu Uppsala universitet,Institutionen för informationsteknologi,Datorteknik,DoCS,Real-Time Systems4 aut0 (Swepub:uu)wangyi
710	2	a Uppsala universitetb Institutionen för informationsteknologi4 org
773	0	t Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systemsz 9783540216711
856	4	u http://www.springerlink.com/content/vcn6er2uyvbyhpwr/?p=4226d4f4bfab43bf80120d486c954a5b&pi=5
856	4 8	u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-19173

Hitta via bibliotek

Proceedings of the International Conference of Formal Modeling and Analysis of T... (Sök värdpublikationen i LIBRIS)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...: Amnell, Tobias; Fersman, Elena; Mokrushin, Leoni ...; Pettersson, Paul; Yi, Wang

Om ämnet

NATURVETENSKAP: NATURVETENSKAP; och Data och informa ...; och Datavetenskap

Artiklar i publikationen: Proceedings of t ...

Av lärosätet: Uppsala universitet

Sök utanför SwePub

Sök vidare i:: Google; Google Book Search; Google Scholar

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

LIBRIS.kb.se