An improved preemption delay upper bound for floating non-preemptive region

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.

Response time analysis of COTS-Based multicores considering the contention on the shared memory bus

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

Uniprocessor EDF scheduling with mode change

Consider the problem of scheduling sporadically-arriving tasks with implicit deadlines using Earliest-Deadline-First (EDF) on a single processor. The system may undergo changes in its operational modes and therefore the characteristics of the task set may change at run-time. We consider a well-established previously published mode-change protocol and we show that if every mode utilizes at most 50% of the processing capacity then all deadlines are met. We also show that there exists a task set that misses a deadline although the utilization exceeds 50% by just an arbitrarily small amount. Finally, we present, for a relevant special case, an exact schedulability test for EDF with mode change.

The utilization bound of static-priority preemptive partitioned multiprocessor scheduling is 50%

This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.

Implementação e integração do modelo de acreditação da Joint Commission International na unidade de imagiologia do Hospital Privado da Boavista

Este trabalho descreve a abordagem abrangente sobre a melhoria do sistema de gestão da qualidade na Unidade de Imagiologia do Hospital da Boavista através da implementação das normas de acreditação da Joint Commission International (JCI). Fundamental para a melhoria geral da qualidade é a redução contínua de riscos para os doentes e para os profissionais da Unidade. Tais riscos podem existir ao nível do ambiente físico assim como no circuito dos exames e dos doentes. A acreditação em Saúde é uma das prioridades estratégicas do Ministério da Saúde e tem como objetivo fortalecer a confiança dos cidadãos nos profissionais de saúde bem como nas instituições de saúde. É importante que Portugal cultive a melhoria da qualidade e segurança nas instituições de saúde mantendo uma relação adequada custo/benefício. A União Europeia tem feito um esforço para que a acreditação seja harmoniosa nos seus princípios, no entanto é respeitada sempre a prevalência da legislação de cada país, bem como as suas especificações culturais e religiosas (Shaw, 2006), responsabilizando-o pelo seu sistema de saúde O trabalho aqui apresentado tem como objetivo principal fundamentar a escolha do modelo de acreditação da JCI para o Hospital da Boavista, nomeadamente para a Unidade de Imagiologia, ver se os padrões estão de acordo com os procedimentos da Unidade, identificar falhas e apontar possiveis melhorias. Pretende-se ainda mostrar a importância da implementação dos sistemas de certificação e acreditação da gestão da qualidade, documentada pela experiência profissional, bem como o know-how do Hospital da Boavista, assim como a complementaridade dos programas da gestão da qualidade, certificação e acreditação. A escolha do modelo de acreditação da JCI, foi uma opção do Hospital da Boavista baseada na credibilidade e no grau de exigência que a entidade impõe. Foi imperativo que a Unidade de Imagiologia realizasse as suas funções de forma válida e fiável e que disponibilizasse produtos / serviços de qualidade. A monitorização e consequente controlo de qualidade do serviço prestado pela Unidade de Imagiologia, foi difícil mas simplificado, em parte, devido ao sistema de gestão da qualidade ISO 9001:2008 já implementado, tendo este sido consolidado com a implementação da acreditação da JCI, com padrões específicos bem definidos na gestão do controlo de qualidade na Unidade de Imagiologia do Hospital da Boavista.