Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.

Engineering PROFIBUS networks with heterogeneous transmission media

A significant number of process control and factory automation systems use PROFIBUS as the underlying fieldbus communication network. The process of properly setting up a PROFIBUS network is not a straightforward task. In fact, a number of network parameters must be set for guaranteeing the required levels of timeliness and dependability. Engineering PROFIBUS networks is even more subtle when the network includes various physical segments exhibiting heterogeneous specifications, such as bus speed or frame formats, just to mention a few. In this paper we provide underlying theory and a methodology to guarantee the proper operation of such type of heterogeneous PROFIBUS networks. We additionally show how the methodology can be applied to the practical case of PROFIBUS networks containing simultaneously DP (Decentralised Periphery) and PA (Process Automation) segments, two of the most used commercial-off-the-shelf (COTS) PROFIBUS solutions. The importance of the findings is however not limited to this case. The proposed methodology can be generalised to cover other heterogeneous infrastructures. Hybrid wired/wireless solutions are just an example for which an enormous eagerness exists.

Using a prioritized MAC protocol to efficiently compute aggregated quantities

Consider a distributed computer system such that every computer node can perform a wireless broadcast and when it does so, all other nodes receive this message. The computer nodes take sensor readings but individual sensor readings are not very important. It is important however to compute the aggregated quantities of these sensor readings. We show that a prioritized medium access control (MAC) protocol for wireless broadcast can compute simple aggregated quantities in a single transaction, and more complex quantities with many (but still a small number of) transactions. This leads to significant improvements in the time-complexity and as a consequence also similar reduction in energy “consumption”.

On the development of a test-bed application for the ART-WiSe architecture

The ART-WiSe (Architecture for Real-Time communications in Wireless Sensor Networks) framework aims at the design of new communication architectures and mechanisms for time-sensitive Wireless Sensor Networks (WSNs). We adopted a two-tiered architecture where an overlay Wireless Local Area Network (Tier 2) serves as a backbone for a WSN (Tier 1), relying on existing standard communication protocols and commercial-off-the-shell (COTS) technologies – IEEE 802.15.4/ZigBee for Tier 1 and IEEE 802.11 for Tier 2. In this line, a test-bed application is being developed for assessing, validating and demonstrating the ART-WiSe architecture. A pursuit-evasion application was chosen since it fulfils a number of requirements, namely it is feasible and appealing and imposes some stress to the architecture in terms of timeliness. To develop the testbed based on the previously referred technologies, an implementation of the IEEE 8021.5.4/ZigBee protocols is being carried out, since there is no open source available to the community. This paper highlights some relevant aspects of the ART-WiSe architecture, provides some intuition on the protocol stack implementation and presents a general view over the envisaged test-bed application.

Efficient middleware for database replication

Dissertação de Mestrado em Engenharia Informática

On the analysis of compensation correctness

One fundamental idea of service-oriented computing is that applications should be developed by composing already available services. Due to the long running nature of service interactions, a main challenge in service composition is ensuring correctness of transaction recovery. In this paper, we use a process calculus suitable for modelling long running transactions with a recovery mechanism based on compensations. Within this setting, we discuss and formally state correctness criteria for compensable processes compositions, assuming that each process is correct with respect to transaction recovery. Under our theory, we formally interpret self-healing compositions, that can detect and recover from faults, as correct compositions of compensable processes. Moreover, we develop an automated verification approach and we apply it to an illustrative case study.

Real-time fault injection using enhanced on-chip debug infrastructures

The rapid increase in the use of microprocessor-based systems in critical areas, where failures imply risks to human lives, to the environment or to expensive equipment, significantly increased the need for dependable systems, able to detect, tolerate and eventually correct faults. The verification and validation of such systems is frequently performed via fault injection, using various forms and techniques. However, as electronic devices get smaller and more complex, controllability and observability issues, and sometimes real time constraints, make it harder to apply most conventional fault injection techniques. This paper proposes a fault injection environment and a scalable methodology to assist the execution of real-time fault injection campaigns, providing enhanced performance and capabilities. Our proposed solutions are based on the use of common and customized on-chip debug (OCD) mechanisms, present in many modern electronic devices, with the main objective of enabling the insertion of faults in microprocessor memory elements with minimum delay and intrusiveness. Different configurations were implemented starting from basic Components Off-The-Shelf (COTS) microprocessors, equipped with real-time OCD infrastructures, to improved solutions based on modified interfaces, and dedicated OCD circuitry that enhance fault injection capabilities and performance. All methodologies and configurations were evaluated and compared concerning performance gain and silicon overhead.

Comércio eletrónico em Angola: impacto e desafio face à internacionalização de uma empresa de transporte aéreo - caso TAAG

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para a obtenção do Grau de Mestre em Empreendedorismo e Internacionalização Orientação pela Professora Doutora: Ana Azevedo Manuela Patrício

Estudo e desenvolvimento de sistema de cobrança de portagens baseado em NFC

Tese para obter o grau de Mestre em Engenharia Electrónica e Telecomunicações

Análise comparativa de valores de imóveis e de métodos de avaliação

Esta dissertação considera a importância da avaliação imobiliária no mercado imobiliário, nas mais diversas situações. Contudo, cinge-se à determinação de um presumível valor de transação para apartamentos, moradias, lojas e terrenos, para venda ou arrendamento. Os mercados imobiliários escolhidos são dois concelhos conhecidos, da autora, por ser mais fácil a perceção dos locais e preços de venda. Foi escolhido o Concelho de Valongo para apartamentos, moradias e terrenos e o Concelho da Maia para lojas. Para determinarmos os valores em estudo adotaram-se os métodos de avaliação imobiliária mais comuns nomeadamente: o Método Comparativo, Método do Rendimento e o Método do Custo. São apresentados os métodos de avaliação mais utilizados, descrevendo-se a aplicação de cada um deles e as suas condições necessárias. Fez-se uma comparação entre cada um o que permitiu concluir sobre os mesmos. A recolha dos imóveis objeto de estudo foi efetuada em Sites de empresas imobiliárias que dispunham de informação necessária ao âmbito do trabalho. Aplicaram-se os métodos a cada caso recolhido e posteriormente fez-se a comparação dos resultados obtidos. Através de tratamento estatístico, utilizaram-se as técnicas de regressão múltipla para análise de relações entre os métodos de avaliação aplicados. Por fim, retiraram-se conclusões sobre a relação existente entre os três métodos de avaliação.

Planeamento e controlo da instalação e manutenção de sistemas AVAC

Atualmente a elaboração de plano de trabalhos (utilizando a ferramenta Microsoft Project) é prática corrente em muitas empresas, como são o caso das empresas de construção civil, como meio de auxílio para o estabelecimento de prazos e articulação com as diversas subempreitadas que uma qualquer obra tem ao longo da sua execução. O presente trabalho visa demonstrar a importância da elaboração de um plano de trabalhos para o planeamento e controlo de uma instalação de Aquecimento, Ventilação e Ar Condicionado (AVAC). Recorrendo ao uso do software Microsoft Project foi elaborado um modelo de planeamento e controlo, utilizando dados reais, para o planeamento e controlo de uma instalação de AVAC. Foi ainda elaborado, através do Microsoft Excel, um plano anual de manutenções preventivas para os contratos de manutenção em vigor. No final, são indicadas as principais conclusões e as vantagens da utilização deste modelo na obtenção de melhores resultados no cumprimento de prazos e redução de custos com o pessoal afeto à empresa. São ainda perspetivados futuros desenvolvimentos utilizando essa ferramenta. Com o modelo criado, a empresa tem meios para planear e controlar uma série de parâmetros, como os prazos de entrega dos equipamentos a instalar, o número de trabalhadores necessários para desempenhar uma determinada função, os custos associados à mão-de-obra e/ou equipamento, o cumprimento de prazos estabelecidos pela empresa de construção civil e outros dados que possam vir a ser relevantes para a melhoria da rentabilidade dos projetos.

Web services recovery mechanisms

Dissertação de Mestrado em Engenharia Informática

tlCell: a software transactional memory for the cell broadband engine architecture

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Cooperative memory and database transactions

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Transactional filesystems

Dissertação de Mestrado em Engenharia Informática