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.

Supporting real-time distributed computer-controlled systems with multi-hop P-NET networks

Fieldbus communication networks aim to interconnect sensors, actuators and controllers within process control applications. Therefore, they constitute the foundation upon which real-time distributed computer-controlled systems can be implemented. P-NET is a fieldbus communication standard, which uses a virtual token-passing medium-access-control mechanism. In this paper pre-run-time schedulability conditions for supporting real-time traffic with P-NET networks are established. Essentially, formulae to evaluate the upper bound of the end-to-end communication delay in P-NET messages are provided. Using this upper bound, a feasibility test is then provided to check the timing requirements for accessing remote process variables. This paper also shows how P-NET network segmentation can significantly reduce the end-to-end communication delays for messages with stringent timing requirements.

WiDom: a dominance protocol for wireless medium access

In this paper, we address the problem of sharing a wireless channel among a set of sporadic message streams where a message stream issues transmission requests with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements static-priority scheduling, supports a large number of priority levels and is fully distributed. It is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But, unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. The evaluation of the protocol with real embedded computing platforms is presented to show that the proposed protocol is in fact collision-free and prioritized. We measure the response times of our implementation and show that the response-time analysis developed for the protocol offers an upper bound on the response times.

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.

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.

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.