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

Article in Press, Corrected Proof

Monitoring for a decidable fragment of MTLD

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

A competing values framework approach on growth and performance in micro firms

This study aims to analyze and compare four micro-firms' organizational culture, evaluated through the Competing Values Framework (Quinn & Rohbaugh, 1983). Data was collected in 2011 and 2013 in firms selling the same type of software and providing the same kind of services, focusing on the years between 2008-2011. Findings point to somewhat different results of micro-firms, when comparing to other samples in the literature. Suggestions for future research are given.

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.

Industrie 4.0 Framework, Challenges and Perspectives

The world is increasingly in a global community. The rapid technological development of communication and information technologies allows the transmission of knowledge in real-time. In this context, it is imperative that the most developed countries are able to develop their own strategies to stimulate the industrial sector to keep up-to-date and being competitive in a dynamic and volatile global market so as to maintain its competitive capacities and by consequence, permits the maintenance of a pacific social state to meet the human and social needs of the nation. The path traced of competitiveness through technological differentiation in industrialization allows a wider and innovative field of research. Already we are facing a new phase of organization and industrial technology that begins to change the way we relate with the industry, society and the human interaction in the world of work in current standards. This Thesis, develop an analysis of Industrie 4.0 Framework, Challenges and Perspectives. Also, an analysis of German reality in facing to approach the future challenge in this theme, the competition expected to win in future global markets, points of domestic concerns felt in its industrial fabric household face this challenge and proposes recommendations for a more effective implementation of its own strategy. The methods of research consisted of a comprehensive review and strategically analysis of existing global literature on the topic, either directly or indirectly, in parallel with the analysis of questionnaires and data analysis performed by entities representing the industry at national and world global placement. The results found by this multilevel analysis, allowed concluding that this is a theme that is only in the beginning for construction the platform to engage the future Internet of Things in the industrial environment Industrie 4.0. This dissertation allows stimulate the need of achievements of more strategically and operational approach within the society itself as a whole to clarify the existing weaknesses in this area, so that the National Strategy can be implemented with effective approaches and planned actions for a direct training plan in a more efficiently path in education for the theme.

Comparison of serology, antigenemia assay and the polymerase chain reaction for monitoring active cytomegalovirus infections in hematopoietic stem cell transplantation patients

Forty-six allogeneic hematopoietic stem cell transplantation (HSCT) patients were monitored for the presence of CMV antibodies, CMV-DNA and CMV antigens after transplantation. Immunoenzymatic serological tests were used to detect IgM and the increase in CMV IgG antibodies (increase IgG), a nested polymerase chain reaction (N-PCR) was used to detect CMV-DNA, and an antigenemia assay (AGM) was used to detect CMV antigens. The presence of CMV-IgM and/or CMV-increase IgG antibodies was detected in 12/46 (26.1%) patients, with a median time between HSCT and the detection of positive serology of 81.5 days. A positive AGM was detected in 24/46 (52.2%) patients, with a median time between HSCT and antigen detection of 62 days. Two or more consecutive positive N-PCR results were detected in 32/46 (69.5%) patients, with a median time between HSCT and the first positive PCR of 50.5 days. These results confirmed that AGM and mainly PCR are superior to serology for the early diagnosis of CMV infection. Six patients had CMV-IgM and/or CMV-increase IgG with a negative AGM (five cases) or N-PCR assay (one case). In five of these cases the serological markers were detected during the first 100 days after HSCT, the period of highest risk. These findings support the idea that serology may be useful for monitoring CMV infections in HSCT patients, especially when PCR is unavailable.

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.

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.

Proactive services ecosystem framework

Dissertation presented to obtain the degree of Doctor in Electrical and Computer Engineering, specialization on Collaborative Enterprise Networks

Monitoring morphisms to support sustainable interoperability of enterprise systems

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

A framework for supporting knowledge representation – an ontological based approach

Dissertação para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

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.

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.