Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/3706
Título: An improved preemption delay upper bound for floating non-preemptive region
Autor: Marinho, José
Nélis, Vincent
Petters, Stefan M.
Puaut, Isabelle
Data: 2012
Editora: IEEE
Relatório da Série N.º: Industrial Embedded Systems (SIES);
Resumo: In embedded systems, the timing behaviour of the control mechanisms are sometimes of critical importance for the operational safety. These high criticality systems require strict compliance with the offline predicted task execution time. The execution of a task when subject to preemption may vary significantly in comparison to its non-preemptive execution. Hence, when preemptive scheduling is required to operate the workload, preemption delay estimation is of paramount importance. In this paper a preemption delay estimation method for floating non-preemptive scheduling policies is presented. This work builds on [1], extending the model and optimising it considerably. The preemption delay function is subject to a major tightness improvement, considering the WCET analysis context. Moreover more information is provided as well in the form of an extrinsic cache misses function, which enables the method to provide a solution in situations where the non-preemptive regions sizes are small. Finally experimental results from the implementation of the proposed solutions in Heptane are provided for real benchmarks which validate the significance of this work.
Peer review: yes
URI: http://hdl.handle.net/10400.22/3706
ISBN: 978-1-4673-2685-8
Versão do Editor: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6356570
Aparece nas colecções:ISEP – CISTER – Comunicações em eventos científicos

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
COM_VincentNelis_2012_CISTER.pdf1,1 MBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.