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.

Characterization of a clone from an adult worm cDNA library selected with anti-Schistosoma mansoni human antibodies dissociated from immune complexes: a preliminary report

Considering the scarcity of defined antigens, actually useful and reliable for use in the field studies, we propose an alternative method for selection of cDNA clones with potential use in the diagnosis of schistosomiasis. Human antibodies specific to a protein fraction of 31/32 kDa (Sm31/32), dissociated from immune complexes, are used for screening of clones from an adult worm cDNA library. Partial sequencing of five clones, selected through this strategy, showed to be related to Schistosoma mansoni: two were identified as homologous to heat shock protein 70, one to glutathione S-transferase, one to homeodomain protein, and one to a previously described EST (expressed sequence tag) of S. mansoni. This last clone was the most consistently reactive during the screening process with the anti-Sm31/32 antibodies dissociated from the immune complexes. The complete sequence of this clone was obtained and the translation data yielded only one ORF (open reading frame) that code for a protein with 57 amino acids. Based on this amino acid sequence two peptides were chemically synthesized and evaluated separately against a pool of serum samples from schistosomiasis patients and non-schistosomiasis individuals. Both peptides showed strong reactivity only against the positive pool, suggesting that these peptides may be useful as antigens for the diagnosis of schistosomiasis mansoni.

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

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

The moral status of animals within the framework of Peter Singer's preference utilitarianism

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Filosofia

Knowledge repository framework for crowdsourcing innovation intermediary: a proposal

A crowdsourcing innovation intermediary performs mediation activities between companies that have a problem to solve or that seek a business opportunity, and a group of people motivated to present ideas based on their knowledge, experience and wisdom, taking advantage of technology sharing and collaboration emerging from Web2.0. As far as we know, most of the present intermediaries don´t have, yet, an integrated vision that combines the creation of value through community development, brokering and technology transfer. In this paper we present a proposal of a knowledge repository framework for crowdsourcing innovation that enables effective support and integration of the activities developed in the process of value creation (community building, brokering and technology transfer), modeled using ontology engineering methods.

Contributos para a elaboração de um manual de procedimentos de compras públicas

A área de compras públicas tem vindo a assumir um papel preponderante na gestão estratégica das instituições públicas. Decorrente da publicação do Código dos Contratos Públicos, e na sequência das sucessivas alterações legislativas, quer nacionais, quer comunitárias, as instituições devem ter um Manual de Procedimentos que compreenda a multiplicidade de aspetos relacionados com a área de compras. O presente projeto tem como objetivo de estudo contribuir para a elaboração de um Manual de Procedimentos na área das Compras Públicas. O objetivo último será, por um lado, permitir ao auditor, no âmbito de uma auditoria à área de compras, formar uma opinião e emitir um parecer sobre a matéria analisada, e por outro lado, contribuir para aperfeiçoar os Sistemas de Controlo Interno dessas Instituições. Pela revisão da literatura, fomos conduzidos a abordar o contexto regulamentar da área de compras em Portugal, a analisar a perspetiva estratégica desta área, passando por uma descrição das diversas fases que compõem o processo de compras públicas, considerando ainda, uma abordagem ao sistema de controlo interno e riscos de negócio. Por fim, foi efetuada uma análise sobre a perspetiva de auditoria, na qual os auditores, quer internos, quer externos, têm um papel fundamental na promoção de melhorias na contratação pública, particularmente na adoção de uma abordagem construtiva e realçando as boas práticas. Decorrente da revisão da literatura, aferimos as perguntas de investigação e aplicamos a metodologia de um estudo de caso único numa instituição de ensino superior, através da elaboração de entrevistas e observação direta e participativa do investigador. As conclusões finais revelaram que o modelo de análise utilizado no nosso estudo tem no universo dos Serviços da Presidência do Instituto Politécnico do Porto uma taxa de confirmação de 59%, realçando-se positivamente o resultado da componente relativa à operacionalização das compras públicas, e destacando-se, de forma menos significativa, a componente relativa à política e gestão estratégica.

Agilidade e resiliência na gestão da cadeia de abastecimento. Proposta de uma framework

Dissertação para obtenção do grau de Mestre em Engenharia e Gestão Industrial

Análise da tradução e legendagem da sátira no mockumentary

O presente trabalho foi elaborado no âmbito da dissertação do Mestrado em Tradução e Interpretação Especializadas, e tem como objectivo estudar o formato mockumentary, no qual se baseia a minha análise, e compreender as especificidades da tradução do elemento satírico de que este híbrido se pode revestir, enquanto elemento potenciador de comicidade. A Tradução Audiovisual é um fenómeno com que nos deparamos diariamente, seja a partir de uma televisão, de um ecrã de computador ou de um dispositivo móvel, em que estamos perante um conjunto de elementos semióticos diversos, para os quais concorre uma combinação essencial de quatro canais, a saber, o canal visual, acústico, verbal e não-verbal. O tradutor deve ter em consideração não só o código verbal, como também os elementos que não são estritamente linguísticos, como gestos, música, expressões faciais, etc. Dado que Uma Família Muito Moderna, sobre a qual baseei a minha análise, é uma série humorística com um forte pendor satírico, afigurou-se como primeiro objecto de estudo por descrever o mockumentary e analisar como esse humor se verifica na versão portuguesa. Deste modo, impõe-se abordar a questão da tradução do humor, neste caso de trocadilhos (wordplay), puns e casos de polissemia, bem como da tradução de referências culturais e intertextuais. Para esse efeito, procedi a uma análise contrastiva entre o texto original, em língua inglesa, e verificar a recuperação do tom satírico potenciador de humor nas legendas, na língua de chegada, em língua portuguesa. Em conjunto, estes elementos concorrem para a construção de um texto que, no caso deste mockumentary, se reveste de um forte tom satírico - mock - para a criação de humor, apresentando uma série que, apesar de indubitavelmente fictícia, revela determinados traços associados a formatos televisivos informativos - documentary - , transmitindo ao espectador uma ilusão de realidade e de factualidade.

Translation encoding for OGC services

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Heterogeneous sensor database framework for the sensor observation service: integrating remote and in-situ sensor observations at the database backend

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Location-based Marketing: the academic framework

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.