A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Competitive analysis of static-priority partitioned scheduling on uniform multiprocessors

Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can be preempted but they cannot migrate between processors. On each processor, tasks are scheduled according to rate-monotonic. We propose an algorithm that can schedule all task sets that any other possible algorithm can schedule assuming that our algorithm is given processors that are √2 / √2−1 ≈ 3.41 times faster. No such guarantees are previously known for partitioned static-priority scheduling on uniform multiprocessors.

Exact analysis of TDMA with slot skipping

Consider a communication medium shared among a set of computer nodes; these computer nodes issue messages that are requested to be transmitted and they must finish their transmission before their respective deadlines. TDMA/SS is a protocol that solves this problem; it is a specific type of Time Division Multiple Access (TDMA) where a computer node is allowed to skip its time slot and then this time slot can be used by another computer node. We present an algorithm that computes exact queuing times for TDMA/SS in conjunction with Rate-Monotonic (RM) or Earliest- Deadline-First (EDF).

Real-time communications over cluster-tree sensor networks with mobile sink behaviour

Modelling the fundamental performance limits of wireless sensor networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst case conditions and to make the appropriate design choices. In that direction, this paper contributes with a methodology for modelling cluster tree WSNs with a mobile sink. We propose closed form recurrent expressions for computing the worst case end to end delays, buffering and bandwidth requirements across any source-destination path in the cluster tree assuming error free channel. We show how to apply our theoretical results to the specific case of IEEE 802.15.4/ZigBee WSNs. Finally, we demonstrate the validity and analyze the accuracy of our methodology through a comprehensive experimental study, therefore validating the theoretical results through experimentation.

Multiprocessor scheduling with few preemptions

Consider the problem of scheduling a set of periodically arriving tasks on a multiprocessor with the goal of meeting deadlines. Processors are identical and have the same speed. Tasks can be preempted and they can migrate between processors. We propose an algorithm with a utilization bound of 66% and with few preemptions. It can trade a higher utilization bound for more preemption and in doing so it has a utilization bound of 100%.

Dynamic adaptation of stability periods for service level agreements

A QoS adaptation to dynamically changing system conditions that takes into consideration the user’s constraints on the stability of service provisioning is presented. The goal is to allow the system to make QoS adaptation decisions in response to fluctuations in task traffic flow, under the control of the user. We pay special attention to the case where monitoring the stability period and resource load variation of Service Level Agreements for different types of services is used to dynamically adapt future stability periods, according to a feedback control scheme. System’s adaptation behaviour can be configured according to a desired confidence level on future resource usage. The viability of the proposed approach is validated by preliminary experiments.

Implementation of a dominance protocol for wireless medium access

Consider the problem of scheduling sporadic message transmission requests with deadlines. For wired channels, this has been achieved successfully using the CAN bus. For wireless channels, researchers have recently proposed a similar solution; a collision-free medium access control (MAC) protocol that implements static-priority scheduling. Unfortunately no implementation has been reported, yet. We implement and evaluate it to find that the implementation indeed is collision-free and prioritized. This allows us to develop schedulability analysis for the implementation. We measure the response times of messages in our implementation and find that our new response-time analysis indeed offers an upper bound on the response times. This enables a new class of wireless real-time systems with timeliness guarantees for sporadic messages and it opens-up a new research area: schedulability analysis for wireless networks.

O Ensino do Português como Língua Estrangeira na Alemanha – O Enquadramento do Português no Ensino Superior Alemão

O conhecimento e domínio de línguas estrangeiras representam hoje em dia uma habilidade imprescindível e altamente apreciada, abrindo portas em diversos aspetos. Tendo isso em consideração, o ensino das mesmas assume um papel cada vez mais importante, o que resulta num aumento da procura de cursos de línguas. No caso específico da língua portuguesa pode-se observar uma tendência semelhante. Esta dissertação, realizada no âmbito do Mestrado em Ensino do Português como Língua Segunda e Estrangeira, tem como objetivo proporcionar uma visão geral do Português, mais precisamente do seu desenvolvimento em termos económicos e históricos, a nível global, e do ensino como LE, particularmente na Alemanha. Neste contexto, destaca-se o conceito de internacionalização, quer em relação à língua portuguesa quer no ensino superior alemão. Portanto, como a língua está sujeita a constantes mudanças devido à evolução histórica, requerem-se alterações e adaptações apropriadas no respetivo ensino, a fim de acompanhar os tempos e implementar estratégias de internacionalização com êxito. Na Alemanha verifica-se um grande empenho nessa área, o que se torna benéfico para o crescimento de línguas estrangeiras, inclusive a portuguesa, no ensino superior. Embora o EPLE seja uma disciplina relativamente recente, na Alemanha já marca presença em várias instituições do ensino superior com programas de estudos muito semelhantes em termos de conteúdos, estrutura e organização. Contudo, existem igualmente diferenças substanciais. Tomando como exemplo três universidades, mais precisamente duas universidades (Universidade de Hamburgo e Universidade Livre de Berlim) e uma faculdade (Faculdade de Tradução, Línguas e Culturas Germersheim, Universidade Johannes Gutenberg de Mainz), serão elaborados e comparados tanto os elementos em comum como as diferenças entre os planos de estudos na disciplina de Português dessas três instituições.

Death Caused by Cardioinhibitory Reflex: What Experts Believe.

The danger of neck compression without restriction of the arterial flow remains unresolved in forensic medicine. There is an ongoing debate concerning life endangerment due to the cardioinhibitory reflex. The aim of this study was to determine what forensic medical experts believe and how they deal with this reflex. An anonymous electronic questionnaire was sent to 1429 forensic medical experts all over the world. We asked them about their opinion on the cardioinhibitory reflex, its role in causing death, and what their diagnostic criteria were.A total of 182 questionnaires were returned. The experts who answered were from 32 different countries. Our survey showed that 80.2% of experts believe that the cardioinhibitory reflex can theoretically cause death. In the practical application opinions diverge though. Apparently, the practical application mainly depends on the habit of the individual expert. We observed no consensus on the diagnostic criteria to be used. Given the potentially frequent use of the concept of the cardioinhibitory reflex in forensic practice and its judicial impact it would be important to reach a consensus.

Vitamin D deficiency and a CYP27B1-1260 promoter polymorphism are associated with chronic hepatitis C and poor response to interferon-alfa based therapy

BACKGROUND: Vitamin D is an important immune modulator and preliminary data indicated an association between vitamin D deficiency and sustained virologic response (SVR) rates in patients with chronic hepatitis C. We therefore performed a comprehensive analysis on the impact of vitamin D serum levels and of genetic polymorphisms within the vitamin D cascade on chronic hepatitis C and its treatment. METHODS: Vitamin D serum levels, genetic polymorphisms within the vitamin D receptor and the 1α- hydroxylase were determined in a cohort of 468 HCV genotype 1, 2 and 3 infected patients who were treated with interferon-alfa based regimens. RESULTS: Chronic hepatitis C was associated with a high incidence of severe vitamin D deficiency compared to controls (25(OH)D3<10 ng/mL in 25% versus 12%, p<0.00001), which was in part reversible after HCV eradication. 25(OH)D3 deficiency correlated with SVR in HCV genotype 2 and 3 patients (63% and 83% SVR for patients with and without severe vitamin D deficiency, respectively, p<0.001). In addition, the CYPB27-1260 promoter polymorphism rs10877012 had substantial impact on 1-25- dihydroxyvitamin D serum levels and SVR rates in HCV genotype 1, 2 and 3 infected patients. CONCLUSIONS: Chronic hepatitis C virus infection is associated with vitamin D deficiency. Reduced 25- hydroxyvitamin D levels and CYPB27-1260 promoter polymorphism are associated with failure to achieve SVR in HCV genotype 1, 2, 3 infected patients.