Towards real multi-criticality scheduling

Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends the unified rate-based scheduling framework RBED in several dimensions to fit the requirements of such systems: we have removed the requirement that the deadline of a task is equal to its period. The introduction of inter-process communication reflects the need to communicate. Additionally we also discuss server tasks, budget replenishment and the low level details needed to deal with the physical reality of systems. While a number of these issues have been studied in previous work in isolation, we focus on the problems discovered and lessons learned when integrating solutions. We report on our experiences implementing the proposed mechanisms in a commercial grade OKL4 microkernel as well as an application with soft real-time and best-effort tasks on top of it.

Considerations on the Least Upper Bound for Mixed-Criticality Real-Time Systems

5th Brazilian Symposium on Computing Systems Engineering, SBESC 2015 (SBESC 2015). 3 to 6, Nov, 2015. Foz do Iguaçu, Brasil.

How realistic is the mixed-criticality real-time system model?

23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France. Best Paper Award Nominee

Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

Medição da satisfação profissional dos técnicos de farmácia e farmacêuticos do norte de Portugal

Vários trabalhos têm associado a Satisfação Profissional (SP) a variáveis como a produtividade, o absentismo e o turnover (McPherson, Davies, Bewick, & Bhudia, 1999, citado em Ferguson, Ashcroft, & Hassell, 2011; Mott, 2000; Judge, Thoresen, Bono, & Patton, 2001) indicando ser importante o estudo da problemática nos Técnicos de Farmácia e Farmacêuticos, uma vez que pode condicionar a prestação de cuidados de saúde. Pretendeu-se medir e comparar a SP entre Técnicos de Farmácia e Farmacêuticos e entre Farmácia Hospitalar e de Oficina do Norte de Portugal. Verificou-se a relação entre a SP e: idade, género, grau de formação na área da Farmácia, experiência profissional (em anos) e experiência profissional no local de trabalho (em anos). Utilizou-se a escala Job Satisfaction Survey (JSS) (Spector, 1985), tendo sido adaptada e validada para o contexto. A JSS e subescalas revelaram correlação de carácter forte com a escala e subescalas da Minnesota Satisfaction Questionnaire-Short version (MSQ) de Weiss, Dawis, England, & Lofquist (1967). Contudo, apenas foi identificada validade convergente entre algumas das subescalas da JSS com a MSQ e respectivas subescalas, o que sugere que ambas (JSS e MSQ) medem construtos que estão intimamente associados mas não medem exactamente o mesmo. A amostra é constituída por 291 profissionais que responderam ao instrumento entre Março de 2010 e Abril de 2011. Foram encontrados níveis de SP positivos excepto para a Satisfação com o superior hierárquico directo (média inferior a 3) e Satisfação com procedimentos de trabalho e comunicação na organização (valor ambivalente entre 3 e 4). Diferenças foram encontradas entre Farmácia de Oficina e Hospitalar e entre Técnicos de Farmácia e Farmacêuticos, sendo revelados níveis de Satisfação mais elevados para os Técnicos de Farmácia. Também foram encontradas diferenças para o género (SP global e subescalas) e para o nível de formação em Farmácia (algumas subescalas). A idade, a experiência profissional e a experiência profissional no local de trabalho revelaram associação positiva com a SP global e com algumas das subescalas. A lacuna existente neste tipo de estudos para os profissionais de saúde e nomeadamente dos Técnicos de Farmácia e Farmacêuticos em Portugal tornam este estudo relevante e inovador, lançando novas pistas e direccionando novas investigações.

Hopping conduction and persistent photoconductivity in Cu2ZnSnS4 thin films

The temperature dependence of electrical conductivity and the photoconductivity of polycrystalline Cu2ZnSnS4 were investigated. It was found that at high temperatures the electrical conductivity was dominated by band conduction and nearest-neighbour hopping. However, at lower temperatures, both Mott variable-range hopping (VRH) and Efros–Shklovskii VRH were observed. The analysis of electrical transport showed high doping levels and a large compensation ratio, demonstrating large degree of disorder in Cu2ZnSnS4. Photoconductivity studies showed the presence of a persistent photoconductivity effect with decay time increasing with temperature, due to the presence of random local potential fluctuations in the Cu2ZnSnS4 thin film. These random local potential fluctuations cannot be attributed to grain boundaries but to the large disorder in Cu2ZnSnS4.

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.

Improving the IEEE 802.15.4 Slotted CSMA/CA MAC for time-critical events in wireless sensor networks

In beacon-enabled mode, IEEE 802.15.4 is ruled by the slotted CSMA/CA Medium Access Control (MAC) protocol. The standard slotted CSMA/CA mechanism does not provide any means of differentiated services to improve the quality of service for timecritical events (such as alarms, time slot reservation, PAN management messages etc.). In this paper, we present and discuss practical service differentiation mechanisms to improve the performance of slotted CSMA/CA for time-critical events, with only minor add-ons to the protocol. The contribution of our proposal is more practical than theoretical since our initial requirement is to leave the original algorithm of the slotted CSMA/CA unchanged, but rather tuning its parameters adequately according to the criticality of the messages. We present a simulation study based on an accurate model of the IEEE 802.15.4 MAC protocol, to evaluate the differentiated service strategies. Four scenarios with different settings of the slotted CSMA/CA parameters are defined. Each scenario is evaluated for FIFO and Priority Queuing. The impact of the hiddennode problem is also analyzed, and a solution to mitigate it is proposed.

Análise de Desempenho e Recomendação para Soluções IVR

Mestrado em Engenharia Informática, Área de Especialização em Tecnologias do Conhecimento e da Decisão

A gestão de stocks do serviço de assistência técnica na área da eletromedicina

Dissertação apresentada ao Instituto Superior de Administração e Contabilidade do Porto para obtenção do Grau de Mestre em Logística Orientada por: Professora Doutora Maria Clara Rodrigues Bento Vaz Fernandes

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.