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.

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Maturity models in the hospital information systems management initial research

Os modelos de maturidade são instrumentos facilitadores da gestão das organizações, incluindo a gestão da sua função sistemas de informação, não sendo exceção as organizações hospitalares. Neste artigo apresenta-se uma investigação inicial que visa o desenvolvimento de um abrangente modelo de maturidade para a gestão dos sistemas de informação hospitalares. O desenvolvimento deste modelo justifica-se porque os modelos de maturidade atuais no domínio da gestão dos sistemas informação hospitalares ainda se encontram numa fase embrionária de desenvolvimento, sobretudo porque são pouco detalhados, não disponibilizam ferramentas para determinação da maturidade e não apresentam as características dos estágios de maturidade estruturadas por diferentes fatores de influência.

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.

Impacto das medidas de conservação de energia em projeto na redução da intensidade de utilização de matérias-primas na construção de um edifício

O presente trabalho pretende mostrar que a aplicação de medidas de conservação de energia (MCE) pode representar uma redução da intensidade de utilização de matérias-primas na construção de um edifício. Mais concretamente, pode representar uma redução da utilização de materiais e equipamentos, e como consequência, uma redução no esforço económico ao primeiro investimento. Podendo posteriormente representar uma redução na utilização de energia durante o período de funcionamento do edifício. A aplicação de MCE no sector da construção tem vindo a ser uma prática corrente nos novos edifícios e edifícios sujeitos a grandes intervenções de reabilitação. Esta prática deve-se à obrigatoriedade de cumprimento de requisitos regulamentares aplicados à otimização do desempenho energético dos edifícios e dos seus sistemas técnicos, nomeadamente, o RCCTE e o RSECE, entretanto revogados pelo REH e pelo RECS, respetivamente. A implementação de MCE apresenta, na maioria dos casos, benefícios económicos para o promotor do edifício, uma vez que se traduz muitas vezes, na otimização do dimensionamento dos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC). Esta otimização permite reduzir os custos associados ao primeiro investimento, bem como na utilização de energia por parte do utilizador, logo na redução dos custos de exploração. No entanto, a falta de quantificação dos impactos do dimensionamento dos sistemas AVAC, da redução de utilização de energia e da análise do custo-benefício da sua aplicação pode condicionar o interesse na sua implementação. Neste contexto, surge a presente dissertação, por iniciativa do Instituto Soldadura e Qualidade (ISQ), aplicado a um caso prático de um edifício já construído e propriedade daquela empresa. Com este trabalho pretende-se avaliar o contributo efetivo das MCE implementadas na fase de projeto e na fase de construção, quer na otimização da dimensão de sistemas e equipamentos AVAC, por via da redução das necessidades energéticas, quer na redução de utilização de energia, permitindo, de seguida, uma avaliação custo-benefício.Na base do caso de estudo está o ECOTERMOLAB, o edifício acima referido, adquirido pelo ISQ para instalação de um laboratório de formação, investigação e desenvolvimento na área da energia. Após aquisição pelo ISQ, o edifício sofreu várias alterações/beneficiações, entre as quais a implementação de MCE, tais como, a aplicação de isolamento térmico na envolvente opaca (paredes, pavimentos e coberturas), duplicação dos vãos envidraçados simples, conferindo-lhes melhores caraterísticas térmicas, e pela aplicação de proteções solar. Foram ainda adotadas MCE aos sistemas AVAC, designadamente, pela adoção de recuperadores de calor nas Unidades de Tratamento de Ar Novo (UTAN’s) e de variadores de velocidade nas bombas de circulação de água e nos ventiladores de ar das UTAN’s. Pretendia o ISQ concluir se a aplicação de todas as MCE contribuiu de forma efetiva para o dimensionamento de sistemas e equipamentos AVAC de menor capacidade e, consequentemente, numa redução de utilização de energia. Em sequência, pretendia avaliar a viabilidade económica da aplicação de todas as MCE, estimando o sobrecusto inicial e o tempo necessário para o retorno financeiro daquele investimento. Para alcançar os objetivos propostos, procedeu-se à simulação energética dinâmica do ECOTERMOLAB, utilizando o programa EnergyPlus. Primeiro foi simulada uma situação base do edifício, sem quaisquer MCE. Posteriormente foi caraterizada cada uma das situações de aplicação das MCE, com o objetivo de avaliar o respetivo impacto individual na utilização de energia pelos sistemas AVAC. Por último foram assumidas todas as soluções em conjunto para avaliar o impacto final de todas as MCE na utilização de energia dos sistemas AVAC, bem como no seu dimensionamento. Das simulações dinâmicas foram obtidos os valores das necessidades de aquecimento e arrefecimento, de energia utilizada pelos sistemas AVAC e de caudais de água aquecida e arrefecida circulada. Com estes valores foi feita uma estimativa de dimensionamento dos equipamentos e componentes AVAC para as situações da aplicação de todas as MCE no ECOTERMOLAB e a sua ausência. A partir da diferença dos custos de aquisição dos respetivos equipamentos e dos valores de poupança em energia foi realizado o estudo da viabilidade económica da implementação das MCE neste edifício. Este estudo permitiu concluir que a aplicação das MCE no ECOTERMOLAB levou à redução da dimensão na generalidade dos equipamentos e componentes AVAC. Permitiu, ainda, concluir que houve uma diminuição de utilização de energia por parte destes sistemas e equipamentos para o aquecimento e arrefecimento. Conclui-se ainda que o período de retorno (Payback) do sobrecusto inicial, estimado em 37.822€ é de, aproximadamente, onze anos e meio, para um valor atual líquido (VAL) de 8.061€ e à taxa interna de rentabilidade (TIR) de 7,03%.

Estudo para a optimização dos sistemas de climatização com vista à obtenção de um edifício com baixas necessidades energéticas em climatização

A presente tese tem como principal objectivo abordar o tema da eficiência energética em edifícios, no que se refere aos sistemas de climatização. O desenvolvimento deste projecto realizou-se em torno dos consumos energéticos dos diferentes sistemas de climatização estudados (e por conseguinte da envolvente do edifício), focando o cumprimento dos requisitos térmico e energéticos das normas vigentes (RCCTE e RSECE) em Portugal, tendo como objectivo identificar os parâmetros com maior impacto e a relação tendencial entre as soluções construtivas e tecnológicas adoptadas, sempre com o horizonte de maximizar a eficiência energética e diminuir a dependência face à energia primária e consequentemente a emissão de gases que provocam o efeito de estufa. É âmbito desta tese comparar diferentes tipos de sistemas de climatização a nível energético e torná-los os mais eficientes possíveis, para que também se possam tornar monetariamente aliciantes e aumentar o rácio entre benefício/custo. Para tal, numa primeira fase foi feito um estudo térmico da envolvente do edifício, tendo sido utilizado um software de simulação energética de edifícios acreditado pela norma ASHRAE 140-2004 para se poder compreender como o edifício se comportava ao longo do ano, e introduzir algumas correcções na respectiva envolvente, para baixar as potências térmicas/eléctricas dos equipamentos do sistema de AVAC. De seguida foram estudados três sistemas possíveis de climatização para o edifício, de modo a identificar o mais eficiente numa base anual, bem como a possibilidade de combinar o uso de fontes de energia renováveis com o intuito de satisfazer ao máximo as necessidades térmicas do edifício e, ainda, de minimizar o consumo de energia de origem não renovável. Por fim, para avaliar as diferentes potencialidades de cada sistema de climatização estudado, fez-se o respectivo estudo à sua viabilidade económica. Nas considerações finais da presente tese é realizado um estudo aos benefícios que uma possível alteração da arquitectura do edifício pode trazer no aumento da iluminação natural do mesmo integrado com um controlo da iluminação artificial necessária para os diferentes espaços climatizados. Os resultados obtidos foram comparados entre si e corrigir a envolvente exterior reduz os consumos energéticos do edifício em cerca de 11%. As medidas correctivas propostas no sistema de climatização base originam uma redução energética igual a 43%. A nível ambiental, é possível a redução do número de emissões de CO2 em cerca de 72.1%.

Impacto da influência de um Sistema de Gestão Técnica Centralizada na redução dos custos de exploração de um edifício

É de conhecimento do meio, que os Sistemas de Gestão Técnica Centralizada (SGTC) são uma mais-valia para a redução de utilização de energia associados principalmente aos sistemas de Aquecimento, Ventilação e Ar Condicionado (AVAC) apesar das potencialidades serem abrangentes a outras áreas. No entanto, existe alguma lacuna quanto à quantificação dessa mais-valia, facto importante sobretudo para a alteração de mentalidades dos promotores e proprietários dos edifícios, que por falta de prova, normalmente apenas associam o SGTC a um investimento num serviço desnecessário. As potencialidades dos SGTC são muitas, a título de exemplo, redução na utilização de fontes de energia, gestão da manutenção de sistemas e equipamentos, análise de eficiências de equipamentos, entre muitas outras, sendo nesta dissertação estudado com mais profundidade a questão associada à diferença dos custos de exploração resultantes da utilização de energia num edifício por parte dos sistemas de AVAC, isto é, quais serão os ganhos na utilização da energia, associados ao sistema AVAC, que podem ser obtidos com a implementação de um SGTC. Para o efeito, utilizou-se os sistemas e equipamentos existentes no edifício ECOTERMOLAB, pertencente ao Instituto de Soldadura e Qualidade (ISQ), com o objetivo de verificar as diferenças de utilização de energia resultantes do funcionamento do edifício em normal atividade, isto é, o edifício com todos os seus sistemas operacionais, incluindo o SGTC, e o edifício em funcionamento sem o auxílio do SGTC, ou seja, todos os sistemas associados ao sistema AVAC em funcionamento em modo manual e sem recurso a variação de caudal na rede aeráulica e hidráulica. Em termos anuais, o ECOTERMOLAB consome, aproximadamente, cerca de 38,1 MWh de energia elétrica e 39,2 MWh de gás natural, o que representa uma utilização de energia primária de 14,4 tep/ano. Esta energia, representa um encargo financeiro anual de, aproximadamente, 9500€/ano, correspondente a 7000€/ano de energia elétrica e 2500€/ano de gás natural. Após a análise desenvolvida neste trabalho, conclui-se que o funcionamento do edifício sem controlo do sistema de AVAC por SGTC representaria em termos anuais a um aumento de, aproximadamente, 25,2 MWh e 6,2 MWh de energia elétrica e de gás natural, respetivamente. Em termos de energia primária, a diferença entre soluções origina um acréscimo na utilização de energia de 7,8 tep/ano o que representa um aumento de emissão de CO2 na ordem das 9,4 ton/ano. A avaliação económica, recaiu sobre a determinação de indicadores para avaliação da viabilidade de implementação de um SGTC, nomeadamente, o período de retorno simples, o valor atual líquido e a taxa interna de rentabilidade. Todos estes indicadores se revelaram positivos, apresentando um período de retorno ligeiramente superior a oito anos, um valor atual líquido positivo (8864,1€) e uma taxa interna de rentabilidade superior à taxa de custo de capital (11,2%).

Architecture to Support Quality of Service in Arrowhead Systems

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

TURTLE: Systems and technologies for deep ocean long term presence

This paper describes the TURTLE project that aim to develop sub-systems with the capability of deep-sea long-term presence. Our motivation is to produce new robotic ascend and descend energy efficient technologies to be incorporated in robotic vehicles used by civil and military stakeholders for underwater operations. TURTLE contribute to the sustainable presence and operations in the sea bottom. Long term presence on sea bottom, increased awareness and operation capabilities in underwater sea and in particular on benthic deeps can only be achieved through the use of advanced technologies, leading to automation of operation, reducing operational costs and increasing efficiency of human activity.

Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems

Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..

ISO 9001 Quality Management Systems through the Lens of Organizational Culture

Both managers and scholars have convictions about the organizational approaches that best support organizational performance of the respective organizations and its Quality Management Systems. After a literature review of ISO 9001 Quality Management Systems (including the changes introduced by the 2015 edition), Organizational Culture theories are addressed and input from a CEO´s focus group was gathered. The importance of organizational culture for the success of Quality Management Systems and the achievement of the organizational desired results is highlighted. The article advances a proposal to analyze ISO 9001 International Standard through the lens of organizational culture theories identifying a stronger open systems approach (influence of the environment, dynamic perspective, need for survival) of the 2015 ISO 9001 edition when compared with the 2008 one. This provides additional knowledge both to scholars and practitioners for a better understanding of the culture issues that can maximize ISO 9001 Quality Management Systems 2015 edition contributions to organizational enduring success.

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.

Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments

EMC2 finds solutions for dynamic adaptability in open systems. It provides handling of mixed criticality multicore applications in r eal-time conditions, withscalability and utmost flexibility, full-scale deployment and management of integrated tool chains, through the entire lifecycle.

Multi-agent simulation of competitive electricity markets: Autonomous systems cooperation for European market modeling

The electricity market restructuring, and its worldwide evolution into regional and even continental scales, along with the increasing necessity for an adequate integration of renewable energy sources, is resulting in a rising complexity in power systems operation. Several power system simulators have been developed in recent years with the purpose of helping operators, regulators, and involved players to understand and deal with this complex and constantly changing environment. The main contribution of this paper is given by the integration of several electricity market and power system models, respecting to the reality of different countries. This integration is done through the development of an upper ontology which integrates the essential concepts necessary to interpret all the available information. The continuous development of Multi-Agent System for Competitive Electricity Markets platform provides the means for the exemplification of the usefulness of this ontology. A case study using the proposed multi-agent platform is presented, considering a scenario based on real data that simulates the European Electricity Market environment, and comparing its performance using different market mechanisms. The main goal is to demonstrate the advantages that the integration of various market models and simulation platforms have for the study of the electricity markets’ evolution.