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...

Full description

Saved in:

Bibliographic Details
Published in:	Proceedings of the ninth ACM International Conference on Embedded Software pp. 329 - 338
Main Authors:	Kleinsorge, Jan C., Falk, Heiko, Marwedel, Peter
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 09.10.2011 IEEE
Series:	ACM Conferences
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!