A Novel Runtime Monitoring Architecture

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

Monitoring for a decidable fragment of MTLD

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

Myoelectric Signal Monitoring System

The Electromyography (EMG) is an important tool for gait analyzes and disorders diagnoses. Traditional methods involve equipment that can disturb the analyses, being gradually substituted by different approaches, like wearable and wireless systems. The cable replacement for autonomous systems demands for technologies capable of meeting the power constraints. This work presents the development of an EMG and kinematic data capture wireless module, designed taking into account power consumption issues. This module captures and converts the analog myoeletric signal to digital, synchronously with the capture of kinetic information. Both data are time multiplexed and sent to a PC via Bluetooth link. The work carried out comprised the development of the hardware, the firmware and a graphical interface running in an external PC. The hardware was developed using the PIC18F14K22, a low power family of microcontrollers. The link was established via Bluetooth, a protocol designed for low power communication. An application was also developed to recover and trace the signal to a Graphic User Interface (GUI), coordinating the message exchange with the firmware. Results were obtained which allowed validating the conceived system in static and with the subject performing short movements. Although it was not possible to perform the tests within more dynamic movements, it is shown that it is possible to capture, transmit and display the captured data as expected. Some suggestions to improve the system performance also were made.

Run-time Monitoring Architecture for RealTime Systems

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

Electrochemical sensor for simultaneous determination of herbicide MCPA and its metabolite 4-chloro-2-methylphenol. Application to photodegradation environmental monitoring

The development and application of a polyaniline/carbon nanotube (CNT) cyclodextrin matrix (PANI-β-CD/MWCNT)-based electrochemical sensor for the quantitative determination of the herbicide 4-chloro-2-methylphenoxyacetic acid (MCPA) and its main transformation product 4-chloro-2-methylphenol in natural waters are described. A simple cyclic voltammetry-based electrochemical methodology, in phosphate buffer solution at pH 6.0, was used to develop a method to determine both MCPA and 4-chloro-2-methylphenol, without any previous extraction or derivatization steps. A linear concentration range (10 to 50 μmol L−1) and detection limits of 1.1 and 1.9 μmol L−1, respectively, were achieved using optimized cyclic voltammetric parameters. The proposed method was successfully applied to the determination of MCPA and 4-chloro-2-methylphenol in natural water samples with satisfactory recoveries (94 to 107 %) and in good agreement with the results obtained by an established high-performance liquid chromatography technique, no significant differences being found between the methods. Interferences from ionic species and other herbicides used for broad-leaf weed control were shown to be small. The newly developed methodology was also successfully applied to MCPA photodegradation environmental studies.

Significance of Biogenic Amines in Cold-Smoked Fish and Their Relation to Microbiological Characteristics of Products Available in Portuguese Retail Markets

Studies on microbial characterization of cold-smoked salmon and salmon trout during cold storage were performed on samples available in the Portuguese market. Samples were also classified microbiologically according to guidelines for ready-to-eat (RTE) products. Further investigations on sample variability and microbial abilities to produce tyramine and histamine were also performed. The coefficient of variation for viable counts of different groups of microorganisms of samples collected at retail market point was high in the first 2 wk of storage, mainly in the Enterobacteriaceae group and aerobic plate count (APC), suggesting that microbiological characteristics of samples were different in numbers, even within the same batch from the same producer. This variation seemed to be decreased when storage and temperature were controlled under lab conditions. The numbers of Enterobacteriaceae were influenced by storage temperature, as indicated by low microbial numbers in samples from controlled refrigeration. Lactic acid bacteria (LAB) and Enterobacteriaceae were predominant in commercial products, a significant percentage of which were tyramine and less histamine producers. These results might be influenced by (1) the technological processes in the early stages of production, (2) contamination during the smoking process, and (3) conditions and temperature fluctuations during cold storage at retail market point of sale.

ezGo: A voice operated wheelchair with biosignal monitoring for home environments

In this paper we present ezGo, an electric powered wheelchair with a speech based interface and biosignal monitoring instrumentation. The user can use the voice, a natural communication method, for controlling the chair movement and obtain information about his health. Additionally a set of semi-autonomous modes with macro recording enable the execution of navigation tasks with little effort and improved precision. The main purpose of the system is to provide severely disabled persons with an assistive device that can improve their confidence and daily independence. The obtained results on usability tests showed that users consider ezGo a valuable help on their daily tasks and a very desirable addition to standard wheelchairs.

Projeto de uma ETAR de 3200 habitantes equivalentes

A atividade humana e industrial usa a água para as suas atividades do quotidiano. A água é um recurso natural escasso cuja qualidade deve ser protegida, defendida, gerida e tratada em conformidade com o seu uso. Nesse âmbito, a gestão das águas prossegue objetivos de proteção da saúde humana e de preservação, proteção e melhoria da qualidade do ambiente[1]. Desde o final do seculo XIX até aos dias de hoje, verificou-se uma forte evolução nos sistemas de tratamento de águas residuais. Esta evolução foi fundamental para dar resposta às maiores exigências de qualidade do efluente tratado. O sistema de lamas ativadas é um dos processos de tratamento biológico das águas residuais mais usados em todo o mundo. Este trabalho consiste no desenvolvimento do projeto de conceção e dimensionamento de uma Estação de Tratamento de Águas Residuais (ETAR) para servir um pequeno aglomerado de cerca de 3200 habitantes equivalentes (hab.eq.), tendo como objetivo o dimensionamento de todas as etapas de tratamento necessárias ao cumprimento da legislação em vigor para a descarga das águas residuais urbanas no meio recetor. O Decreto-lei nº 152/97[2], relativo ao tratamento de águas residuais urbanas, juntamente com o Decreto-lei nº 149/2004[3] que identifica as zonas sensíveis e de zonas menos sensíveis, permitem que as entidades licenciadoras definam o grau de tratamento que a instalação deve possuir tendo em consideração a classificação do meio onde o efluente tratado é descarregado. O Decreto-Lei n.º 135/2009[1] estabelece o regime de identificação, gestão, monitorização e classificação da qualidade das águas balneares, impondo a qualidade microbiológica da água residual tratada mediante o meio recetor, e portanto conseguindo-se assim definir o tratamento de desinfeção a adotar. Resumidamente, a conceção do tratamento focou as seguintes etapas: tratamento preliminar formado por uma unidade compacta de tamisação, desarenador e desengordurador, tratamento secundário por lamas ativadas em regime de arejamento prolongado constituído por dois reatores com cerca de 400 m3 de volume seguido de um decantador com um diâmetro de 9.5 m, tratamento terciário de desinfeção composto por uma microtamisação seguido de desinfeção UV, e a utilização das operações comuns de espessamento e desidratação das lamas produzidas em excesso pelo tratamento, constituída por com um espessador gravítico com 4.6 m de diâmetro, e um filtro banda para a desidratação.