IEEE 802.15.4: a Federating Communication Protocol for Time-Sensitive Wireless Sensor Networks

Wireless Sensor Networks (WSNs) have been attracting increasing interests for developing a new generation of embedded systems with great potential for many applications such as surveillance, environment monitoring, emergency medical response and home automation. However, the communication paradigms in WSNs differ from the ones attributed to traditional wireless networks, triggering the need for new communication protocols. In this context, the recently standardised IEEE 802.15.4 protocol presents some potentially interesting features for deployment in wireless sensor network applications, such as power-efficiency, timeliness guarantees and scalability. Nevertheless, when addressing WSN applications with (soft/hard) timing requirements some inherent paradoxes emerge, such as power-efficiency versus timeliness, triggering the need of engineering solutions for an efficient deployment of IEEE 802.15.4 in WSNs. In this technical report, we will explore the most relevant characteristics of the IEEE 802.15.4 protocol for wireless sensor networks and present the most important challenges regarding time-sensitive WSN applications. We also provide some timing performance and analysis of the IEEE 802.15.4 that unveil some directions for resolving the previously mentioned paradoxes.

Federalism and health policy: the intergovernmental committees in Brazil

OBJECTIVE To analyze the dynamics of operation of the Bipartite Committees in health care in the Brazilian states.METHODS The research included visits to 24 states, direct observation, document analysis, and performance of semi-structured interviews with state and local leaders. The characterization of each committee was performed between 2007 and 2010, and four dimensions were considered: (i) level of institutionality, classified as advanced, intermediate, or incipient; (ii) agenda of intergovernmental negotiations, classified as diversified/restricted, adapted/not adapted to the reality of each state, and shared/unshared between the state and municipalities; (iii) political processes, considering the character and scope of intergovernmental relations; and (iv) capacity of operation, assessed as high, moderate, or low.RESULTS Ten committees had advanced level of institutionality. The agenda of the negotiations was diversified in all states, and most of them were adapted to the state reality. However, one-third of the committees showed power inequalities between the government levels. Cooperative and interactive intergovernmental relations predominated in 54.0% of the states. The level of institutionality, scope of negotiations, and political processes influenced Bipartite Committees’ ability to formulate policies and coordinate health care at the federal level. Bipartite Committees with a high capacity of operation predominated in the South and Southeast regions, while those with a low capacity of operations predominated in the North and Northeast.CONCLUSIONS The regional differences in operation among Bipartite Interagency Committees suggest the influence of historical-structural variables (socioeconomic development, geographic barriers, characteristics of the health care system) in their capacity of intergovernmental health care management. However, structural problems can be overcome in some states through institutional and political changes. The creation of federal investments, varied by regions and states, is critical in overcoming the structural inequalities that affect political institutions. The operation of Bipartite Committees is a step forward; however, strengthening their ability to coordinate health care is crucial in the regional organization of the health care system in the Brazilian states.

Dynamic network data envelopment analysis for university hospitals evaluation

ABSTRACT OBJECTIVE To develop an assessment tool to evaluate the efficiency of federal university general hospitals. METHODS Data envelopment analysis, a linear programming technique, creates a best practice frontier by comparing observed production given the amount of resources used. The model is output-oriented and considers variable returns to scale. Network data envelopment analysis considers link variables belonging to more than one dimension (in the model, medical residents, adjusted admissions, and research projects). Dynamic network data envelopment analysis uses carry-over variables (in the model, financing budget) to analyze frontier shift in subsequent years. Data were gathered from the information system of the Brazilian Ministry of Education (MEC), 2010-2013. RESULTS The mean scores for health care, teaching and research over the period were 58.0%, 86.0%, and 61.0%, respectively. In 2012, the best performance year, for all units to reach the frontier it would be necessary to have a mean increase of 65.0% in outpatient visits; 34.0% in admissions; 12.0% in undergraduate students; 13.0% in multi-professional residents; 48.0% in graduate students; 7.0% in research projects; besides a decrease of 9.0% in medical residents. In the same year, an increase of 0.9% in financing budget would be necessary to improve the care output frontier. In the dynamic evaluation, there was progress in teaching efficiency, oscillation in medical care and no variation in research. CONCLUSIONS The proposed model generates public health planning and programming parameters by estimating efficiency scores and making projections to reach the best practice frontier.

VISIR: experiences and challenges

It is of crucial importance the integration of practical sessions in engineering curricula owing to their significant role in understanding engineering concepts and scientific phenomena. However, the lack of practical sessions due to the high costs of the equipment and the unavailability of instructors has caused a significant declination in experimentation in engineering education. Remote laboratories have tackled this issues providing online reusable and shared workbenches unconstrained by neither geographical nor time considerations. Thereby, they have extremely proliferated among universities and integrated into engineering curricula over the last decade. This contribution compiles diverse experiences based on the deployment of the remote laboratory, Virtual Instrument Systems in Reality (VISIR), on the practices of undergraduate engineering grades at various universities within the VISIR community. It aims to show the impact of its usage on engineering education concerning the assessments of students and teachers as well. In addition, the paper address the next challenges and future works carried out at several universities within the VISIR community.

Serological studies on shistosomiasis mansoni in the Northeast Brasil

Sera from the patients (N = 10) with schistosomiasis mansoni of the hospital of Federal University of Pernambuco, the Schistosoma mansoni egg-positive (N = 51) and -negative (N = 452) inhabitants in Cabo City area, out-patients (N = 37) of the IMIP hospital and Japanese immigrants (N = 127) in Petrolina City area of northeast Brazil as well as Japanese healthy subjects (N = 30) were examined by serological tests including an enzyme-linked immunosorbent assay with antigens prepared from eggs (ELISA-egg) and adult worms (ELISA-adult). The ELISA with egg or adult antigen correctly identified 100% of the uninfected individuals lived in non-endemic area of schistosomiasis. Moreover, when examined cross-reactivity of our ELISA with sera isolated from 78 subjects infected with various intestinal parasitic infections, only one of these sera reacted with the egg and adult antigens. On the examination of 51 sera from the egg-positive subjects, the ELISA-egg revealed the highest sensitivity (98.0%), whereas a large number of false negative reactions of ELISA-adult, Ouchterlony method using adult antigen, circumoval precipitation and immediate intradermal skin test were observed. A low sensitivity of these serologic tests except for ELISA-egg appears to be primarily due to their inability to detect antibody in the sera from egg-positive infantiles. There was no positive correlation between the absorbance values of these two types of ELISA among the sera isolated from ELISA-positive subjects. Rather, by the reactivity of these sera to egg or adult antigen, they could be divided into two subgroups; one reacted more positively with egg antigen and the other with adult antigen. Moreover, it was confirmed that the sera from young subjects (under 20 years old) appear to be highly reactive to the egg antigen than did aged ones. These data suggest that the ELISA with egg antigen, but not with the adult antigen, appears to be useful for the serological survey of schistosomiasis mansoni in the endemic area of northeast Brazil.

NoC contention analysis using a branch-and-prune algorithm

“Many-core” systems based on a Network-on-Chip (NoC) architecture offer various opportunities in terms of performance and computing capabilities, but at the same time they pose many challenges for the deployment of real-time systems, which must fulfill specific timing requirements at runtime. It is therefore essential to identify, at design time, the parameters that have an impact on the execution time of the tasks deployed on these systems and the upper bounds on the other key parameters. The focus of this work is to determine an upper bound on the traversal time of a packet when it is transmitted over the NoC infrastructure. Towards this aim, we first identify and explore some limitations in the existing recursive-calculus-based approaches to compute the Worst-Case Traversal Time (WCTT) of a packet. Then, we extend the existing model by integrating the characteristics of the tasks that generate the packets. For this extended model, we propose an algorithm called “Branch and Prune” (BP). Our proposed method provides tighter and safe estimates than the existing recursive-calculus-based approaches. Finally, we introduce a more general approach, namely “Branch, Prune and Collapse” (BPC) which offers a configurable parameter that provides a flexible trade-off between the computational complexity and the tightness of the computed estimate. The recursive-calculus methods and BP present two special cases of BPC when a trade-off parameter is 1 or ∞, respectively. Through simulations, we analyze this trade-off, reason about the implications of certain choices, and also provide some case studies to observe the impact of task parameters on the WCTT estimates.

4Sensing - decentralized processing for participatory sensing data

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática.

A framework for memory contention analysis in multi-core platforms

The last decade has witnessed a major shift towards the deployment of embedded applications on multi-core platforms. However, real-time applications have not been able to fully benefit from this transition, as the computational gains offered by multi-cores are often offset by performance degradation due to shared resources, such as main memory. To efficiently use multi-core platforms for real-time systems, it is hence essential to tightly bound the interference when accessing shared resources. Although there has been much recent work in this area, a remaining key problem is to address the diversity of memory arbiters in the analysis to make it applicable to a wide range of systems. This work handles diverse arbiters by proposing a general framework to compute the maximum interference caused by the shared memory bus and its impact on the execution time of the tasks running on the cores, considering different bus arbiters. Our novel approach clearly demarcates the arbiter-dependent and independent stages in the analysis of these upper bounds. The arbiter-dependent phase takes the arbiter and the task memory-traffic pattern as inputs and produces a model of the availability of the bus to a given task. Then, based on the availability of the bus, the arbiter-independent phase determines the worst-case request-release scenario that maximizes the interference experienced by the tasks due to the contention for the bus. We show that the framework addresses the diversity problem by applying it to a memory bus shared by a fixed-priority arbiter, a time-division multiplexing (TDM) arbiter, and an unspecified work-conserving arbiter using applications from the MediaBench test suite. We also experimentally evaluate the quality of the analysis by comparison with a state-of-the-art TDM analysis approach and consistently showing a considerable reduction in maximum interference.

Partitioning the Network-on-Chip to Enable Virtualization on Many-Core Processors

6th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2015), Lund, Sweden.

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.

Novos circuitos regulatórios de controlo espacio-temporal do desenvolvimento em bacillus subtilis

RESUMO: A esporulação em Bacillus subtilis é controlada por uma cascata de factores sigma da polimerase do RNA. F e E controlam os estágios precoces do desenvolvimento no pré-esporo e na célula mãe, respectivamente. Numa fase intermédia da diferenciação, quando a célula mãe acaba por envolver o pré-esporo, F é substituído por G e E é substituído por K. Vários mecanismos asseguram que a actividade dos diferentes factores sigma seja confinada a uma janela temporal precisa na célula adequada. Neste estudo, investigámos a função de um factor anti-G, designado por CsfB. Mostramos que para além da sua função de inibição da actividade do factor G em células pré-divisionais, CsfB é também necessário na célula mãe num estágio tardio do desenvolvimento. Mostramos que a expressão de csfB é activada na célula mãe a partir de um promotor dependente de K. Contudo, demonstramos que CsfB interage directamente com E e não com K, e que CsfB é suficiente para inibir a actividade transcricional dependente de E em células vegetativas de B. subtilis. Propomos que CsfB contribui para reduzir o período dependente de E, na linha de expressão genética da célula mãe, desse modo reduzindo a sobreposição entre os regulões E e K e aumentado a fidelidade do processo de desenvolvimento. Uma segunda proteína, YabK, partilha semelhança estrutural com CsfB. YabK é produzida no pré-esporo sob o comando de F, e é necessária para a esporulação. YabK contribui para a transição F/G no programa genético do pré-esporo, porque uma mutação que torna F sensível a CsfB ultrapassa parcialmente a função de YabK na esporulação. No entanto, YabK e CsfB funcionam por mecanismos diferentes, uma vez que YabK não liga directamente a F.---------ABSTRACT: Gene expression during spore development in Bacillus subtilis is governed by a cascade of RNA polymerase sigma factors. F and E control the early stages of development in the forespore and in the mother cell, respectively. At an intermediate stage in the differentiation process, when the larger mother cell finishes engulfment of the smaller forespore, F is replaced by G and E is replaced by K. Several mechanisms ensure the proper timing of activation of the cell type-specific sigma factors. Here, we have investigated the funtion of an anti-sigma G factor, called CsfB. We show here that in addition to its role in inhibiting G in pre-divisional cells, CsfB is also required in the mother cell at a late stage in development. We show that the expression of csfB is activated in the mother cell from a K-specific promoter. However, we demonstrate that CsfB binds directly to E but not to K in a yeast two-hybrid assay, and that CsfB is sufficient to inhibit E-dependent transcriptional activity in vegetative cells of B. subtilis. We posit that CsfB contributes to shutting off the early, E-controlled period in the mother cell line of gene expression, thus reducing the overlap between deployment of the E and K regulons and increasing the fidelity of the developmental process. A second protein, YabK, shares structural similarity with CsfB. YabK is produced in the forespore under F control, and is required for efficient sporulation. YabK contributes to the transition from the F- to the G-dependent period of gene expression, because a mutation that renders F sensitive to CsfB partially bypasses the need for YabK. Yet, YabK and CsfB must function in the control of sigma factor activity by different mechanisms because YabK does not bind directly to F.

Sistema de detecção de fogo e detecção e seguimento de objectos

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

EL PAISAJE Y LA TRANSICIÓN ENERGÉTICA: COMPARANDO EL SURGIMIENTO DE PAISAJES DE ENERGÍA EÓLICA EN FRANCIA, ALEMANIA Y PORTUGAL

Due to the global acceptance of the reality of global warming, ever more countries are in the process of implementing alternative energies such as wind power. In this article, we focus on the transformation of space as a consequence of these newly established alternative energy policies. Landscapes are the level at which political visions and policy decisions endorse (or not) their very materiality. We analyze the deployment of wind power in three European countries, France, Germany and Portugal through the lens of ethnographic landscape studies. We argue that the successful implementation of low carbon futures is highly dependent on the respective national cultures of administration as well as on local practices, initiatives and perceptions of space at the local level. In each of the countries under scrutiny, we analyze the way in which wind power and landscape issues are framed, we point at potential tensions and explore how these are overcome (or not) at the local level so as to give way for the emergence of (new) wind power landscapes. We compare the role played by landscape cultures, institutions or practices in the development and resolution of tensions over the deployment of wind energy.

A new methodology for urban wind resource assessment

In the latest years the wind energy sector experienced an exponential growth all over the world. What started as a deployment of onshore projects, soon moved to offshore and, more recently to the urban environment within the context of smart cities and renewable micro-generation. However, urban wind projects using micro turbines do not have enough profit margins to enable the setup of comprehensive and expensive measurement campaigns, a standard procedure for the deployment of large wind parks. To respond to the wind assessment needs of the future smart cities a new and simple methodology for urban wind resource assessment was developed. This methodology is based on the construction of a surface involving a built area in order to estimate the wind potential by treating it as very complex orography. This is a straightforward methodology that allows estimating the sustainable urban wind potential, being suitable to map the urban wind resource in large areas. The methodology was applied to a case study and the results enabled the wind potential assessment of a large urban area being consistent with experimental data obtained in the case study area, with maximum deviations of the order of 10% (mean wind speed) and 20% (power density).

Medium access control design for distributed opportunistic radio networks

Existing wireless networks are characterized by a fixed spectrum assignment policy. However, the scarcity of available spectrum and its inefficient usage demands for a new communication paradigm to exploit the existing spectrum opportunistically. Future Cognitive Radio (CR) devices should be able to sense unoccupied spectrum and will allow the deployment of real opportunistic networks. Still, traditional Physical (PHY) and Medium Access Control (MAC) protocols are not suitable for this new type of networks because they are optimized to operate over fixed assigned frequency bands. Therefore, novel PHY-MAC cross-layer protocols should be developed to cope with the specific features of opportunistic networks. This thesis is mainly focused on the design and evaluation of MAC protocols for Decentralized Cognitive Radio Networks (DCRNs). It starts with a characterization of the spectrum sensing framework based on the Energy-Based Sensing (EBS) technique considering multiple scenarios. Then, guided by the sensing results obtained by the aforementioned technique, we present two novel decentralized CR MAC schemes: the first one designed to operate in single-channel scenarios and the second one to be used in multichannel scenarios. Analytical models for the network goodput, packet service time and individual transmission probability are derived and used to compute the performance of both protocols. Simulation results assess the accuracy of the analytical models as well as the benefits of the proposed CR MAC schemes.