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.

An embedded 1149.4 extension to support mixed-signal debugging

Debugging electronic circuits is traditionally done with bench equipment directly connected to the circuit under debug. In the digital domain, the difficulties associated with the direct physical access to circuit nodes led to the inclusion of resources providing support to that activity, first at the printed circuit level, and then at the integrated circuit level. The experience acquired with those solutions led to the emergence of dedicated infrastructures for debugging cores at the system-on-chip level. However, all these developments had a small impact in the analog and mixed-signal domain, where debugging still depends, to a large extent, on direct physical access to circuit nodes. As a consequence, when analog and mixed-signal circuits are integrated as cores inside a system-on-chip, the difficulties associated with debugging increase, which cause the time-to-market and the prototype verification costs to also increase. The present work considers the IEEE1149.4 infrastructure as a means to support the debugging of mixed-signal circuits, namely to access the circuit nodes and also an embedded debug mechanism named mixed-signal condition detector, necessary for watch-/breakpoints and real-time analysis operations. One of the main advantages associated with the proposed solution is the seamless migration to the system-on-chip level, as the access is done through electronic means, thus easing debugging operations at different hierarchical levels.

Melhoria e automação de linhas de montagem

Hoje em dia, e com os avanços tecnológicos a surgirem de forma constante, existem novas áreas que têm de ser consideradas com um foco importante por parte de todas as organizações, sendo uma delas a robótica industrial. Motivada em aumentar o seu output, as condições de trabalho para os seus colaboradores, bem como todas as condições de organização da logística interna, a Grohe Portugal, mais especificamente o departamento da montagem, achou relevante fazer um estudo de métodos e tempos, calculando os ganhos potenciais de aumento de output com introdução de robótica nas linhas dos cartuchos. Os objetivos principais seriam então, fazer uma restruturação de todo o layout dessas linhas, tendo como foco automatizar alguma(s) operação(ões), conseguindo assim uma melhoria significativa do output dessas linhas com o menor payback possível. Posto isto, esta dissertação pretende apresentar o trabalho desenvolvido junto da Grohe Portugal, que teve como objetivo fazer os estudos e a automatização de linhas de montagem de cartuchos, bem como melhorar algumas linhas de montagem tendo em conta fatores ergonómicos. Relativamente à automatização da linha dos cartuchos, foi importante estudar todos os seguintes aspetos:  utilização de unidades robóticas;  ergonomia;  ganhos de produtividade;  automatizar ou semi-automatizar operações;  simplificar processos de montagem;  simplificar setups;  solicitar orçamentos;  elaborar caderno de encargos. Para a realização deste projeto, o trabalho desenvolvido foi decomposto em várias etapas, entre as quais se destacam:  análise e estudo dos métodos e sequências de montagem;  levantamento de todos os componentes e operações de montagem até à obtenção do cartucho final;  estudo de tempos de todas essas operações de montagem;  caraterização de um novo layout para as linhas com a introdução de unidades robóticas, tanto quanto possível, mais adequadas;  elaboração de caderno de encargos para ser enviado a empresas, para estas poderem apresentar uma orçamentação, bem como indicar as unidades robóticas mais adequadas para as tarefas pretendidas;  automatização da linha dos cartuchos. Relativamente ao projeto de novas linhas de montagem tendo em conta fatores ergonómicos, de forma a melhorar os sistemas de abastecimento e as condições de trabalho por parte dos operadores, foram postos em prática diferentes passos, nomeadamente:  identificação de todos os processos de montagem realizados pelos operadores na linha a melhorar;  estudo e definição da disposição dos componentes na nova linha, bem como a sua forma de abastecimento;  projeto da nova linha de montagem em 3D com recurso ao software SolidWorks;  realização prática da linha, acompanhando e ajudando a equipa da ferramentaria. O balanço final do trabalho foi bastante positivo, tanto na automatização das linhas de montagem dos cartuchos, em que todo o seu estudo foi alcançado com sucesso, como no melhoramento ergonómico das linhas de montagem, tendo-se alcançado melhorias em alguns índices de qualidade, tempos de abastecimento, organização das linhas, e nas condições de iluminação, resultando essas melhorias numa avaliação positiva por parte dos colaboradores que nelas trabalham todos os dias.

Melhoria do planeamento e abastecimento à montagem

Para conseguir responder às exigências atuais dos mercados, as indústrias necessitam de ser flexíveis, ou seja, é necessário terem a capacidade de adaptar o seu funcionamento e os seus produtos às alterações que se sucedem. Como forma de responder a este facto, o funcionamento da empresa assenta numa produção flexível para conseguir que os seus produtos que abranjam diferente o maior número possível de clientes. No entanto esta metodologia tem apresentado alguns problemas na sua implementação, por isso com o objetivo de obter uma produção mais eficaz e eficiente, a empresa tem canalizado esforços para a melhoria contínua das linhas de montagem. O trabalho desenvolvido na FUTE está enquadrado com a melhoria contínua e visa o processo de abastecimento dos diversos materiais necessários para a produção, característica fundamental para que as linhas possam produzir de forma contínua. Este estudo iniciou-se por analisar o método de abastecimento e identificar os seus problemas e causas, para que posteriormente com o auxílio dos conhecimentos adq uiridos, fosse possível conceber soluções. Os resultados apresentados neste trabalho demonstram que as melhorias implementadas a nível de organização de armazéns, métodos de trabalho e meios de transporte de materiais permitem diminuir o tempo e os recursos necessários durante o processo de abastecimento, além de melhorar condições de trabalho dos operários.

Engineering real-time applications with WorldFIP: tools and analysis

WorldFIP is standardised as European Norm EN 50170 - General Purpose Field Communication System. Field communication systems (fieldbuses) started to be widely used as the communication support for distributed computer-controlled systems (DCCS), and are being used in all sorts of process control and manufacturing applications within different types of industries. There are several advantages in using fieldbuses as a replacement of for the traditional point-to-point links between sensors/actuators and computer-based control systems. Indeed they concern economical ones (cable savings) but, importantly, fieldbuses allow an increased decentralisation and distribution of the processing power over the field. Typically DCCS have real-time requirements that must be fulfilled. By this, we mean that process data must be transferred between network computing nodes within a maximum admissible time span. WorldFIP has very interesting mechanisms to schedule data transfers. It explicit distinguishes to types of traffic: periodic and aperiodic. In this paper we describe how WorldFIP handles these two types of traffic, and more importantly, we provide a comprehensive analysis for guaranteeing the real-time requirements of both types of traffic. A major contribution is made in the analysis of worst-case response time of aperiodic transfer requests.

Communication response time in P-NET networks: worst-case analysis considering the actual token utilisation

Fieldbus networks aim at the interconnection of field devices such as sensors, actuators and small controllers. Therefore, they are an effective technology upon which Distributed Computer Controlled Systems (DCCS) can be built. DCCS impose strict timeliness requirements to the communication network. In essence, by timeliness requirements we mean that traffic must be sent and received within a bounded interval, otherwise a timing fault is said to occur. P-NET is a multi-master fieldbus standard based on a virtual token passing scheme. In P-NET each master is allowed to transmit only one message per token visit, which means that in the worst-case the communication response time could be derived considering that the token is fully utilised by all stations. However, such analysis can be proved to be quite pessimistic. In this paper we propose a more sophisticated P-NET timing analysis model, which considers the actual token utilisation by different masters. The major contribution of this model is to provide a less pessimistic, and thus more accurate, analysis for the evaluation of the worst-case communication response time in P-NET fieldbus networks.

Pre-run-time schedulability analysis of P-NET fieldbus networks

P-NET is a fieldbus industrial communication standard, which uses a Virtual Token Passing MAC mechanism. In this paper we establish pre-run-time schedulability conditions for supporting real-time traffic with P-NET. Essentially we provide formulae to evaluate the minimum message deadline, ensuring the transmission of real-time messages within a maximum time bound

Analysis of temperature time-series: embedding dynamics into the MDS method

Global warming and the associated climate changes are being the subject of intensive research due to their major impact on social, economic and health aspects of the human life. Surface temperature time-series characterise Earth as a slow dynamics spatiotemporal system, evidencing long memory behaviour, typical of fractional order systems. Such phenomena are difficult to model and analyse, demanding for alternative approaches. This paper studies the complex correlations between global temperature time-series using the Multidimensional scaling (MDS) approach. MDS provides a graphical representation of the pattern of climatic similarities between regions around the globe. The similarities are quantified through two mathematical indices that correlate the monthly average temperatures observed in meteorological stations, over a given period of time. Furthermore, time dynamics is analysed by performing the MDS analysis over slices sampling the time series. MDS generates maps describing the stations’ locus in the perspective that, if they are perceived to be similar to each other, then they are placed on the map forming clusters. We show that MDS provides an intuitive and useful visual representation of the complex relationships that are present among temperature time-series, which are not perceived on traditional geographic maps. Moreover, MDS avoids sensitivity to the irregular distribution density of the meteorological stations.

GTS allocation analysis in IEEE 802.15.4 for real-time wireless sensor networks

The IEEE 802.15.4 protocol proposes a flexible communication solution for Low-Rate Wireless Personal Area Networks including sensor networks. It presents the advantage to fit different requirements of potential applications by adequately setting its parameters. When enabling its beacon mode, the protocol makes possible real-time guarantees by using its Guaranteed Time Slot (GTS) mechanism. This paper analyzes the performance of the GTS allocation mechanism in IEEE 802.15.4. The analysis gives a full understanding of the behavior of the GTS mechanism with regards to delay and throughput metrics. First, we propose two accurate models of service curves for a GTS allocation as a function of the IEEE 802.15.4 parameters. We then evaluate the delay bounds guaranteed by an allocation of a GTS using Network Calculus formalism. Finally, based on the analytic results, we analyze the impact of the IEEE 802.15.4 parameters on the throughput and delay bound guaranteed by a GTS allocation. The results of this work pave the way for an efficient dimensioning of an IEEE 802.15.4 cluster.

Real time fault injection using enhanced OCD -- a performance analysis

Fault injection is frequently used for the verification and validation of dependable systems. When targeting real time microprocessor based systems the process becomes significantly more complex. This paper proposes two complementary solutions to improve real time fault injection campaign execution, both in terms of performance and capabilities. The methodology is based on the use of the on-chip debug mechanisms present in modern electronic devices. The main objective is the injection of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented and compared in terms of performance gain and logic overhead.

Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

Dynamical Analysis and Visualization of Tornadoes Time Series

In this paper we analyze the behavior of tornado time-series in the U.S. from the perspective of dynamical systems. A tornado is a violently rotating column of air extending from a cumulonimbus cloud down to the ground. Such phenomena reveal features that are well described by power law functions and unveil characteristics found in systems with long range memory effects. Tornado time series are viewed as the output of a complex system and are interpreted as a manifestation of its dynamics. Tornadoes are modeled as sequences of Dirac impulses with amplitude proportional to the events size. First, a collection of time series involving 64 years is analyzed in the frequency domain by means of the Fourier transform. The amplitude spectra are approximated by power law functions and their parameters are read as an underlying signature of the system dynamics. Second, it is adopted the concept of circular time and the collective behavior of tornadoes analyzed. Clustering techniques are then adopted to identify and visualize the emerging patterns.

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

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

Fractional State Space Analysis of Temperature Time Series

Atmospheric temperatures characterize Earth as a slow dynamics spatiotemporal system, revealing long-memory and complex behavior. Temperature time series of 54 worldwide geographic locations are considered as representative of the Earth weather dynamics. These data are then interpreted as the time evolution of a set of state space variables describing a complex system. The data are analyzed by means of multidimensional scaling (MDS), and the fractional state space portrait (fSSP). A centennial perspective covering the period from 1910 to 2012 allows MDS to identify similarities among different Earth’s locations. The multivariate mutual information is proposed to determine the “optimal” order of the time derivative for the fSSP representation. The fSSP emerges as a valuable alternative for visualizing system dynamics.

Comparative analysis of the ground reaction forces, during the support phase, in a group of pregnant women on their 3rd trimester of pregnancy and in a group of not pregnant women

PURPOSE: To analyze and compare the Ground Reaction Forces (GRF), during the stance phase of walking in pregnant women in the 3rd trimester of pregnancy, and non pregnant women. METHODS: 20 women, 10 pregnant and 10 non pregnant, voluntarily took part in this study. GRF were measured (1000 Hz) using a force platform (BERTEC 4060-15), an amplifier (BERTEC AM 6300) and an analogical-digital converter of 16 Bits (Biopac). RESULTS: The study showed that there were significant differences among the two groups concerning absolute values of time of the stance phase. In what concerns to the normalized values the most significant differences were verified in the maximums values of vertical force (Fz3, Fz1) and in the impulse of the antero-posterior force (Fy2), taxes of growth of the vertical force, and in the period of time for the antero-posterior force (Fy) be null. CONCLUSIONS: It is easier for the pregnant to continue forward movement (push-off phase). O smaller growth rates in what concerns to the maximum of the vertical force (Fz1) for the pregnant, can be associated with a slower speed of gait, as an adaptation strategy to maintain the balance, to compensate the alterations in the position of her center of gravity due to the load increase. The data related to the antero-posterior component of the force (Fy), shows that there is a significant difference between the pregnant woman’s left foot and right foot, which accuses a different functional behavior in each one of the feet, during the propulsion phase (TS).