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.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Cost allocation model for distribution networks considering high penetration of distributed energy resources

The high penetration of distributed energy resources (DER) in distribution networks and the competitive environment of electricity markets impose the use of new approaches in several domains. The network cost allocation, traditionally used in transmission networks, should be adapted and used in the distribution networks considering the specifications of the connected resources. The main goal is to develop a fairer methodology trying to distribute the distribution network use costs to all players which are using the network in each period. In this paper, a model considering different type of costs (fixed, losses, and congestion costs) is proposed comprising the use of a large set of DER, namely distributed generation (DG), demand response (DR) of direct load control type, energy storage systems (ESS), and electric vehicles with capability of discharging energy to the network, which is known as vehicle-to-grid (V2G). The proposed model includes three distinct phases of operation. The first phase of the model consists in an economic dispatch based on an AC optimal power flow (AC-OPF); in the second phase Kirschen's and Bialek's tracing algorithms are used and compared to evaluate the impact of each resource in the network. Finally, the MW-mile method is used in the third phase of the proposed model. A distribution network of 33 buses with large penetration of DER is used to illustrate the application of the proposed model.

Effects of treatment, awareness and condom use in a coinfection model for HIV and HCV in MSM

We develop a new a coinfection model for hepatitis C virus (HCV) and the human immunodeficiency virus (HIV). We consider treatment for both diseases, screening, unawareness and awareness of HIV infection, and the use of condoms. We study the local stability of the disease-free equilibria for the full model and for the two submodels (HCV only and HIV only submodels). We sketch bifurcation diagrams for different parameters, such as the probabilities that a contact will result in a HIV or an HCV infection. We present numerical simulations of the full model where the HIV, HCV and double endemic equilibria can be observed. We also show numerically the qualitative changes of the dynamical behavior of the full model for variation of relevant parameters. We extrapolate the results from the model for actual measures that could be implemented in order to reduce the number of infected individuals.

Municipal solid waste management system: decision support through systems analysis

Thesis submitted to the Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia for the degree of Doctor of Philosophy in Environmental Engineering

The inhibitory activity of synthetic compounds and ions against transporters of multi-drug resistant bacteria

RESUMO: Sessenta e três derivados de hidantoína foram utilizados para avaliar possíveis efeitos de modulação na actividade das bombas de efluxo (BE) na Salmonella NCTC 13349 utilizando um método fluorimétrico semi-automático. Nenhum dos compostos apresentaram actividade anti-bacteriana até concentrações de 240 mg/L. Entre todos os compostos, SZ-7 demonstrou possuir propriedades de modulação de effluxo na presença de glucose. Para testar esta actividade, estirpes de Salmonella resistentes à ciprofloxacina, induzidas a elevados níveis de resistência com sobre-expressão de BE, foram expostas ao SZ-7. Este derivado afectou a susceptibilidade das estirpes à ciprofloxacina. Uma vez que os 63 compostos estudados apresentaram pouco efeito inibitório /cumulativo, apesar de serem conhecidos pelos seus efeitos moduladores de BE-dependentes de iões em eucariotas, foi questionado o papel dos iões na regulação de BE bacterianas, que poderão influenciar a eficácia de novos compostos. Para este estudo, utilizamos a Escherichia coli AG100 como modelo, devido ao extenso conhecimento no que respeita a estrutura e actividade das BE. Devido à importância de iões de cálcio (Ca2+) nos canais de transporte membranar e na actividade de ATPases, a sua actividade na modulação do efluxo foi investigada. De resultados anteriormente obtidos concluiu-se que a pH 5 o efluxo é independente de energia metabólica; contudo, a pH 8 é absolutamente dependente, sendo que o Ca2+ é indispensável para manter a actividade das ATPases bacterianas. A acumulação/effluxo de EtBr pela E. coli AG100 foi determinada na presença/ausência de Ca2+, clorpromazina (inibidor de ligação de Ca2+ a proteínas), e ácido etilenodiamino tetra-acético (quelante de Ca2+). Acumulação/effluxo aumentou a pH 8, contudo o Ca2+ reverte estes efeitos evidenciando a sua importância no funcionamento das BE bacterianas. Em resumo este trabalho colocou em evidência que muitos aspectos bioquímicos e bioenergéticos devem ser tomados em consideração no estudo da resistência bacteriana mediada por BE.------- ABSTRACT: Sixty-three hydantoin derivatives were evaluated for their modulating effects on efflux pump (EP) activity of Salmonella NCTC 13349 utilizing a semi-automatic fluorometric method. None of the compounds presented antibacterial activities at concentrations as high as 240 mg/L. Among all compounds, SZ-7 showed possible efflux modulating activity in the presence of glucose, indicative of a potential EP inhibitor. To verify its potential effects, ciprofloxacin-resistant Salmonella strains, induced to high level resistance with over-expressing EPs, were exposed to SZ-7. This derivative affected the susceptibility of the ciprofloxacin-resistant strains. Since the 63 compounds studied had very low inhibitory/accumulative effects, even though their known for being efficient in modulating ion-driven eukaryotic EPs, we questioned whether ions had a leading role in regulating bacterial EPs, influencing the effectiveness of new compounds. For this study we used Escherichia coli AG100 as a model, due to the extensive knowledge on its EPs structure and activity. Owing the importance of calcium ions (Ca2+) for membrane transport channels and activity of ATPases, the role of Ca2+ was investigated. From previous results we concluded that at pH 5 efflux is independent of metabolic energy; however, at pH 8 it is entirely dependent of metabolic energy and the Ca2+ ions are essential to maintain the activity of bacterial ATPases. Accumulation and efflux of ethidium bromide (EtBr) by E. coli AG100 was determined in the presence and absence of Ca2+, chlorpromazine (inhibitor of Ca2+-binding to proteins), and ethylenediaminetetraacetic acid (Ca2+ chelator). Accumulation of EtBr increased at pH 8; however Ca2+ reversed these effects providing information as to the importance of this ion in the regulation of bacterial EP systems. Overall this work puts in evidence that many biochemical and bioenergetic aspects related to the strains physiology need to be taken into consideration in bacterial drug resistance mediated by EPs.

An automatic voice pleasantness classification system based on prosodic and acoustic patterns of voice preference

In the last few years the number of systems and devices that use voice based interaction has grown significantly. For a continued use of these systems the interface must be reliable and pleasant in order to provide an optimal user experience. However there are currently very few studies that try to evaluate how good is a voice when the application is a speech based interface. In this paper we present a new automatic voice pleasantness classification system based on prosodic and acoustic patterns of voice preference. Our study is based on a multi-language database composed by female voices. In the objective performance evaluation the system achieved a 7.3% error rate.

Key-CRDT stores

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Prototipagem de um sistema de gestão de armazém com recurso à identificação por radiofrequência

A evolução tecnológica atingiu um ritmo que muitas empresas têm dificuldade de acompanhar, existem diversas opções no mercado, para um mesmo objectivo, e tornasse determinante o processo de tomada de decisão sobre qual tecnologia adoptar para determinado objectivo. O alvo de estudo desta dissertação de mestrado, é uma das tecnologias, que últimamente tem ganho especial relevo, quando aplicada ao ambiente industrial, o RFID (Radio Frequency Identification Devices). Na presente dissertação, foi efectuado um levantamento do estado da arte, na área da identificação automática, com especial foco no RFID. Esta revisão bibliográfica teve como principal objectivo perceber quais as tecnologias concorrentes do RFID, e explorar quais as suas principais características tecnológicas e funcionais, bem como as vantagens no uso desta tecnologia de forma a sustentar a implementação de um sistema protótipo de gestão de armazém. O contributo final da dissertação, consiste numa aplicação que tem como principal objectvo simular os fluxos de infomação resultantes dos fluxos fisícos de materiais em ambiente de armazém. Foi também tido em conta no desenvolvimento da aplicação, a demonstração de algumas das mais valias que esta tecnologia pode trazer para a gestão de armazéns. Para implementação da aplicação destaca-se a utilização da arquitectura MVC (Model-view-controlador), em ambiente web, para permitir uma descentalização do software no ambiente indoor do armazém.

Scalable Intelligence for Scheduling Systems

A personalização é um aspeto chave de uma interação homem-computador efetiva. Numa era em que existe uma abundância de informação e tantas pessoas a interagir com ela, de muitas maneiras, a capacidade de se ajustar aos seus utilizadores é crucial para qualquer sistema moderno. A criação de sistemas adaptáveis é um domínio bastante complexo que necessita de métodos muito específicos para ter sucesso. No entanto, nos dias de hoje ainda não existe um modelo ou arquitetura padrão para usar nos sistemas adaptativos modernos. A principal motivação desta tese é a proposta de uma arquitetura para modelação do utilizador que seja capaz de incorporar diferentes módulos necessários para criar um sistema com inteligência escalável com técnicas de modelação. Os módulos cooperam de forma a analisar os utilizadores e caracterizar o seu comportamento, usando essa informação para fornecer uma experiência de sistema customizada que irá aumentar não só a usabilidade do sistema mas também a produtividade e conhecimento do utilizador. A arquitetura proposta é constituída por três componentes: uma unidade de informação do utilizador, uma estrutura matemática capaz de classificar os utilizadores e a técnica a usar quando se adapta o conteúdo. A unidade de informação do utilizador é responsável por conhecer os vários tipos de indivíduos que podem usar o sistema, por capturar cada detalhe de interações relevantes entre si e os seus utilizadores e também contém a base de dados que guarda essa informação. A estrutura matemática é o classificador de utilizadores, e tem como tarefa a sua análise e classificação num de três perfis: iniciado, intermédio ou avançado. Tanto as redes de Bayes como as neuronais são utilizadas, e uma explicação de como as preparar e treinar para lidar com a informação do utilizador é apresentada. Com o perfil do utilizador definido torna-se necessária uma técnica para adaptar o conteúdo do sistema. Nesta proposta, uma abordagem de iniciativa mista é apresentada tendo como base a liberdade de tanto o utilizador como o sistema controlarem a comunicação entre si. A arquitetura proposta foi desenvolvida como parte integrante do projeto ADSyS - um sistema de escalonamento dinâmico - utilizado para resolver problemas de escalonamento sujeitos a eventos dinâmicos. Possui uma complexidade elevada mesmo para utilizadores frequentes, daí a necessidade de adaptar o seu conteúdo de forma a aumentar a sua usabilidade. Com o objetivo de avaliar as contribuições deste trabalho, um estudo computacional acerca do reconhecimento dos utilizadores foi desenvolvido, tendo por base duas sessões de avaliação de usabilidade com grupos de utilizadores distintos. Foi possível concluir acerca dos benefícios na utilização de técnicas de modelação do utilizador com a arquitetura proposta.

A crop-land allocation model: A case study in La Rioja, Spain

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

Conceção e Análise de um Demonstrador para a Monitorização Estrutural

Os sistemas de monitorização de estruturas fornecem diversas vantagens, não só no que diz respeito à durabilidade da obra, ao aumento da segurança e do conhecimento relativamente ao comportamento das estruturas ao longo do tempo, à otimização do aspeto estrutural, bem como aos aspetos económicos do processo de construção e manutenção. A monitorização deve realizar-se durante a fase de construção e/ou de exploração da obra para permitir o registo integral do seu comportamento no meio externo. Deve efetuar-se de forma contínua e automática, executando intervenções de rotina para que se possa detetar precocemente sinais de alterações, respetivamente à segurança, integridade e desempenho funcional. Assim se poderá manter a estrutura dentro de parâmetros aceitáveis de segurança. Assim, na presente dissertação será concebido um demonstrador experimental, para ser estudado em laboratório, no qual será implementado um sistema de monitorização contínuo e automático. Sobre este demonstrador será feita uma análise de diferentes grandezas em medição, tais como: deslocamentos, extensões, temperatura, rotações e acelerações. Com carácter inovador, pretende-se ainda incluir neste modelo em sintonia de medição de coordenadas GNSS com o qual se torna possível medir deslocamentos absolutos. Os resultados experimentais alcançados serão analisados e comparados com modelos numéricos. Conferem-se os resultados experimentais de natureza estática e dinâmica, com os resultados numéricos de dois modelos de elementos finitos: um de barras e outro de casca. Realizaram-se diferentes abordagens tendo em conta as características identificadas por via experimental e calculadas nos modelos numéricos para melhor ajuste e calibração dos modelos numéricos Por fim, recorre-se a algoritmos de processamento e tratamento do respetivo sinal com aplicação de filtros, que revelam melhorar com rigor o sinal, de forma a potenciar as técnicas de fusão multisensor. Pretende-se integrar o sinal GNSS com os demais sensores presentes no sistema de monitorização. As técnicas de fusão multisensor visam melhor o desempenho deste potencial sistema de medição, demonstrando as suas valências no domínio da monitorização estrutural.

Automatic Small Bowel Tumor Diagnosis by Using Multi-Scale Wavelet-Based Analysis in Wireless Capsule Endoscopy Images

BACKGROUND: Wireless capsule endoscopy has been introduced as an innovative, non-invasive diagnostic technique for evaluation of the gastrointestinal tract, reaching places where conventional endoscopy is unable to. However, the output of this technique is an 8 hours video, whose analysis by the expert physician is very time consuming. Thus, a computer assisted diagnosis tool to help the physicians to evaluate CE exams faster and more accurately is an important technical challenge and an excellent economical opportunity. METHOD: The set of features proposed in this paper to code textural information is based on statistical modeling of second order textural measures extracted from co-occurrence matrices. To cope with both joint and marginal non-Gaussianity of second order textural measures, higher order moments are used. These statistical moments are taken from the two-dimensional color-scale feature space, where two different scales are considered. Second and higher order moments of textural measures are computed from the co-occurrence matrices computed from images synthesized by the inverse wavelet transform of the wavelet transform containing only the selected scales for the three color channels. The dimensionality of the data is reduced by using Principal Component Analysis. RESULTS: The proposed textural features are then used as the input of a classifier based on artificial neural networks. Classification performances of 93.1% specificity and 93.9% sensitivity are achieved on real data. These promising results open the path towards a deeper study regarding the applicability of this algorithm in computer aided diagnosis systems to assist physicians in their clinical practice.

Heat recovery from wastewater: numerical modelling of sewer systems

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente, perfil Engenharia Sanitária

Sustainability of systems interoperability in dynamic business networks

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