Non-preemptive and SRP-based fullypreemptive scheduling of real-time Software Transactional Memory

Recent embedded processor architectures containing multiple heterogeneous cores and non-coherent caches renewed attention to the use of Software Transactional Memory (STM) as a building block for developing parallel applications. STM promises to ease concurrent and parallel software development, but relies on the possibility of abort conflicting transactions to maintain data consistency, which in turns affects the execution time of tasks carrying transactions. Because of this fact the timing behaviour of the task set may not be predictable, thus it is crucial to limit the execution time overheads resulting from aborts. In this paper we formalise a FIFO-based algorithm to order the sequence of commits of concurrent transactions. Then, we propose and evaluate two non-preemptive and one SRP-based fully-preemptive scheduling strategies, in order to avoid transaction starvation.

Abstract Timers and their Implementation onto the ARM Cor tex-M family of MCUs

Presented at Embed with Linux Workshop (EWiLi 2015). 4 to 9, Oct, 2015. Amsterdam, Netherlands.

TURTLE: Systems and technologies for deep ocean long term presence

This paper describes the TURTLE project that aim to develop sub-systems with the capability of deep-sea long-term presence. Our motivation is to produce new robotic ascend and descend energy efficient technologies to be incorporated in robotic vehicles used by civil and military stakeholders for underwater operations. TURTLE contribute to the sustainable presence and operations in the sea bottom. Long term presence on sea bottom, increased awareness and operation capabilities in underwater sea and in particular on benthic deeps can only be achieved through the use of advanced technologies, leading to automation of operation, reducing operational costs and increasing efficiency of human activity.

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 2015. San Antonio, U.S.A..

Real-time Parallel Applications on Many-core Architectures

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Using Quicktrace to collect runtime execution traces easily and automatically

IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. U.S.A.

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

Message-oriented middleware for smart grids

In order to increase the efficiency in the use of energy resources, the electrical grid is slowly evolving into a smart(er) grid that allows users' production and storage of energy, automatic and remote control of appliances, energy exchange between users, and in general optimizations over how the energy is managed and consumed. One of the main innovations of the smart grid is its organization over an energy plane that involves the actual exchange of energy, and a data plane that regards the Information and Communication Technology (ICT) infrastructure used for the management of the grid's data. In the particular case of the data plane, the exchange of large quantities of data can be facilitated by a middleware based on a messaging bus. Existing messaging buses follow different data management paradigms (e.g.: request/response, publish/subscribe, data-oriented messaging) and thus satisfy smart grids' communication requirements at different extents. This work contributes to the state of the art by identifying, in existing standards and architectures, common requirements that impact in the messaging system of a data plane for the smart grid. The paper analyzes existing messaging bus paradigms that can be used as a basis for the ICT infrastructure of a smart grid and discusses how these can satisfy smart grids' requirements.

Avaliação da maturidade da business intelligence nas organizações

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Estatística e Gestão de Informação

Barragens em betão compactado com cilindros (BCC) - evolução e utilização em Portugal

Dissertação para a obtenção do Grau de Mestre em Engenharia Geológica (Geotecnia) pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Simultaneous quantitation of serum HBV DNA and HBeAg can distinguish between slow and fast viral responses to antiviral therapy in patients with chronic hepatitis B

BACKGROUND: The quantitation of serum HBeAg is not commonly used to monitor viral response to therapy in chronic hepatitis B. METHODS: In this study, 21 patients receiving varying therapies were followed and their viral response monitored by concomitant viral load and HBeAg quantitation in order to study the meaning and the kinetics of both parameters. RESULTS: It was possible to distinguish between three different patterns of viral response. The first was characterized by a simultaneous decrease in serum HBV DNA and HBeAg. The second pattern was characterized by a decrease in serum HBeAg but persistent detection of HBV DNA. The third pattern was characterized by undetectable HBV DNA with persistent HBeAg positivity, which points to a non-response (Pattern III-B) except when HBeAg levels showed a slow but steady drop, characterizing a "slow responder" patient (Pattern III-A). CONCLUSIONS: The first pattern is compatible with a viral response. A long-term HBeAg seropositivity with a slow and persistent decrease (Pattern III-A) is also compatible with a viral response and calls for a prolongation of anti-viral treatment.

ITED 3 – dimensionamento das redes de cabos coaxiais

Em Setembro de 2014 foi editada a 3ª Edição do Manual das Infraestruturas de Telecomunicações em edifícios (ITED), que veio responder à necessidade de uma atualização técnica, bem como dar resposta à questão do paradigma do setor imobiliário. Essa 3ª Edição apresentou algumas alterações face à edição anterior, designadamente no que toca ao dimensionamento de redes de cabos coaxiais (CC). Com este artigo, pretende-se apresentar as alterações mais significativas entre a 2ª e 3ª Edição do Manual ITED, nomeadamente no que toca ao dimensionamento de redes de cabos coaxiais. Pretende-se, também, apresentar uma aplicação informática que foi desenvolvida no âmbito do curso da Licenciatura em Engenharia Eletrotécnica – Sistemas Elétricos de Energia, evidenciando os vários aspetos no domínio do dimensionamento de redes coaxiais em redes coletivas e individuais. Por fim, apresenta-se um caso de estudo, que pretende ao mesmo tempo demonstrar a forma como a aplicação informática funciona, bem como a sua fiabilidade.

Application of Infrared Thermal Imaging in a Violinist with Temporomandibular Disorder

Temporomandibular disorders (TMD) consist of a group of pathologies that affect the masticatory muscles, temporomandibular joints (TMJ), and/or related structures. String instrumentalists, like many orchestra musicians, can spend hours with head postures that may influence the biomechanical behavior of the TMJ and the muscles of the craniocervicomandibular complex (CCMC). The adoption of abnormal postures acquired during performance by musicians can lead to muscular hyperactivity of the head and cervical muscles, with the possible appearance of TMD. Medical infrared thermography is a non-invasive procedure that can monitor the changes in the superficial tissue related to blood circulation and may serve as a complement to the clinical examination. The objective of this study was to use infrared thermography to evaluate, in one subject, the cutaneous thermal changes adjacent to the CCMC that occur before, during, and after playing a string instrument.