A synergetic approach to accurate analysis of cache-related preemption delay

The worst-case execution time (WCET) of a task denotes the largest possible execution time for all possible inputs and thus, hardware states. For non-preemptive multitask scheduling, techniques for the static estimation of safe upper bounds have been subject to industrial practice for years. For pre...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Proceedings of the ninth ACM International Conference on Embedded Software s. 329 - 338
Hlavní autoři:	Kleinsorge, Jan C., Falk, Heiko, Marwedel, Peter
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 09.10.2011 IEEE
Edice:	ACM Conferences
Témata:	Accuracy Cache-related Preemption Delay Complexity theory Delay Estimation General and reference > Cross-computing tools and techniques > Performance Multitasking Proposals Resilience Social and professional topics > Professional topics > Management of computing and information systems > Software management > Software selection and adaptation Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software organization and properties > Extra-functional properties > Software performance Software and its engineering > Software organization and properties > Software functional properties > Formal methods Static Analysis Upper bound Useful Cache Blocks static analysis multitasking cache-related preemption delay useful cache blocks
ISBN:	1450307140, 9781450307147
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!