Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Chiropractic Manipulation: Reasons for Concern?

Chiropractic's popularity is rising among the general population. Moreover, few studies have been conducted to properly evaluate its safety. We report three cases of serious neurological adverse events in patients treated with chiropractic manipulation. The first case is a 41 years old woman who developed a vertebro-basilar stroke 48 h after cervical manipulation. The second case represents a 68 years old woman who presented a neuropraxic injury of both radial nerves after three sessions of spinal manipulation. The last case is a 34 years old man who developed a cervical epidural haematoma after a chiropractic treatment for neck pain. In all three cases there were criteria to consider a causality relation between the neurological adverse events and the chiropractic manipulation. The described serious adverse events promptly recommend the implementation of a risk alert system.

Task partitioning and priority assignment for distributed hard real-time systems

In this paper, we propose the Distributed using Optimal Priority Assignment (DOPA) heuristic that finds a feasible partitioning and priority assignment for distributed applications based on the linear transactional model. DOPA partitions the tasks and messages in the distributed system, and makes use of the Optimal Priority Assignment (OPA) algorithm known as Audsley’s algorithm, to find the priorities for that partition. The experimental results show how the use of the OPA algorithm increases in average the number of schedulable tasks and messages in a distributed system when compared to the use of Deadline Monotonic (DM) usually favoured in other works. Afterwards, we extend these results to the assignment of Parallel/Distributed applications and present a second heuristic named Parallel-DOPA (P-DOPA). In that case, we show how the partitioning process can be simplified by using the Distributed Stretch Transformation (DST), a parallel transaction transformation algorithm introduced in [1].

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Semi-Partitioned Scheduling of Fork-Join Tasks using Work-Stealing

13th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2015). 21 to 23, Oct, 2015, Session W1-A: Multiprocessing and Multicore Architectures. Porto, Portugal.

Monitoring for a decidable fragment of MTLD

The 15th International Conference on Runtime Verification (RV'15). 22-25 September. Vienna, Austria.

Úlcera Flebostática. Estudo Prospectivo de 202 Doentes

Durante um período de 16 anos foram estudados, de forma prospectiva, 202 doentes portadores de insuficiência venosa crónica complicada de úlcera de perna, totalizando 257 úlceras. Este conjunto constitui uma série homogénea, em que foi sempre mantida a mesma orientação diagnóstica e terapêutica, quer médica, quer cirúrgica. Foi definido como objectivo a cura da úlcera em ambulatório, com tratamento conservador. O tratamento cirúrgico definitivo, quando indicado, é preferencialmente executado em diferido, após a cura da úlcera. Dos 202 doentes incluídos inicialmente no estudo, 166 mantiveram-se até à cura ou durante um período de tratamento prolongado. Nos doentes que se mantiveram no estudo foi obtida uma taxa de curas de 91%, o que está acima dos resultados habitualmente reportados na literatura internacional. Salienta-se a importância do controlo directo de todo o tratamento pelo médico responsável.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Paper/Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Towards the Combination of Work-Stealing and Semi-Partitioned Scheduling for Parallel Tasks

Poster presented in Work in Progress Session, 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Modelação de paredes de edifícios pombalinos

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Estruturas e Geotecnia

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Monitorização e Avaliação Dinâmica do Potencial para a Eficiência Energética de Lares de Idosos

Atualmente a situação económica do país é delicada, como tal, a redução dos consumos energéticos é uma mais-valia tanto para os consumidores como para o meio ambiente. A evolução tecnológica nos últimos anos possibilita a realização de soluções para resolver esse problema. A monitorização constante dos consumos de energia elétrica pode fazer com que esta redução seja concretizada. Relativamente ao caso concreto do edificado, o consumo de energia nos edifícios Europeus é muito significativo, quer ao nível das soluções construtivas, dos sistemas e dos equipamentos. Como tal, podem ser tomadas medidas que podem ter um impacto significativo para a redução dos consumos. O presente trabalho passa pelo estudo do potencial para a eficiência energética de três lares de idosos situados no Porto. A auditoria efetuada revelou um enorme potencial de poupança energética, nomeadamente de energia elétrica e gás natural. As medidas a adotar para reduzir os consumos energéticos do edifício passam pela substituição da iluminação existente por uma mais eficiente e de menor potência, a instalação de painéis solares para reduzir o consumo destinado às águas quentes sanitárias (nos dois lares que ainda não possuem este tipo de sistema), a substituição das caldeiras a gás natural por biomassa, a instalação de equipamentos para monitorização de consumos, entre outros. Através da recolha e tratamento de dados com um analisador de energia foi possível verificar que a implementação de uma solução de monitorização de consumos energéticos nos lares poderá permitir baixar os custos da fatura energética.

Orbital Exenteration for Eyelid Skin Carcinoma

Exenteration of the orbit is a disfiguring and destructive procedure; it is generally performed for orbital malignancies and often provides a significant reconstructive challenge. Our purpose was to evaluate the clinical indications for orbital exenteration in a tertiary referral center and to assess the reconstructive options employed. A retrospective nonrandomized analysis was performed, selecting all patients undergoing orbital exenteration over a 5-year period, between January 2005 and January 2010. Patient demographics, tumor characteristics, and reconstructive techniques used were evaluated. Twenty patients with a mean age of 76.5 years underwent total orbital exenteration. Basal cell carcinoma was the main operative indication (45%), followed by squamous cell carcinoma (15%). Reconstructive techniques included cover of the raw orbital cavity with a temporal muscular flap in all cases followed with split skin grafting (25%), bilaterally pedicle V-Y advancement flap (10%) and a fasciocutaneous island flap of the retroauricular region (65%). Twenty percent of patients had local complications and all were treated in a satisfactory fashion. Eyelid skin tumors remain an important cause of orbital exenteration. Temporal muscle flap is a reliable and stable reconstructive solution after orbital exenteration and additional aid is supplied with skin grafts or local flaps. This technique ensures a good aesthetic outcome and better situation for later complementary treatments and minimal associated donor site morbidity.