Logic-based schedulability analysis for compositional hard real-time embedded systems

Over the past decades several approaches for schedulability analysis have been proposed for both uni-processor and multi-processor real-time systems. Although different techniques are employed, very little has been put forward in using formal specifications, with the consequent possibility for mis-interpretations or ambiguities in the problem statement. Using a logic based approach to schedulability analysis in the design of hard real-time systems eases the synthesis of correct-by-construction procedures for both static and dynamic verification processes. In this paper we propose a novel approach to schedulability analysis based on a timed temporal logic with time durations. Our approach subsumes classical methods for uni-processor scheduling analysis over compositional resource models by providing the developer with counter-examples, and by ruling out schedules that cause unsafe violations on the system. We also provide an example showing the effectiveness of our proposal.

A biomimetic sensor for monitoring oxidative stress biomarker in point-of-care

1st ASPIC International Congress

Casualties distribution in human and natural hazards

Catastrophic events, such as wars and terrorist attacks, big tornadoes and hurricanes, huge earthquakes, tsunamis, floods, and landslides, are always accompanied by a large number of casualties. The size distribution of these casualties have separately been shown to follow approximate power law (PL) distributions. In this paper, we analyze the number of victims of catastrophic phenomena, in particular, terrorism, and find double PL behavior. This means that the data set is better approximated by two PLs instead of one. We have plotted the two PL parameters corresponding to all terrorist events occurred in every year, from 1980 to 2010. We observe an interesting pattern in the chart, where the lines, that connect each pair of points defining the double PLs, are roughly aligned to each other.

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.

Gestão de Componentes em Dinâmico

A crescente evolução das tecnologias de informação e comunicação, aliadas ao desenvolvimento industrial, proporcionou um aumento de competitividade entre as indústrias, originando uma subida do nível da relação qualidade preço. Esta premissa causou uma maior preocupação com a procura contínua pela melhoria dos processos, de forma a aumentar as actividades de valor acrescentado, eliminando todo o tipo de desperdícios. Nesta conjuntura, a Grohe Portugal Componentes Sanitários, Lda propôs uma melhoria no âmbito da gestão de stocks de componentes existentes em dinâmico. Esta acção de melhoria passa pela definição e implementação de um método de gestão destes componentes, acompanhado por um conjunto de regras de identificação de actividades e respectivos intervenientes, por forma a optimizar os meios existentes e evitar a ocorrência de falhas de componentes nas linhas. Trata-se de um método baseado no cálculo das necessidades das linhas, que através da procura média semanal e constituição dos produtos finais define um nível de prioridade entre os componentes, identificando quais os mais requisitados pelas linhas e possibilitando a gestão do dinâmico. Na contínua tentativa de combater possíveis falhas, desenvolveu-se um sistema de gestão do tipo Kanban com a capacidade de gerir o produto semi-acabado para consumo interno. Foram, ainda, criadas melhorias que permitem um acréscimo de eficiência na gestão dos componentes em estante dinâmica, diminuindo o capital imobilizado investido em stocks, levando a um rearranjo de layouts, proporcionando melhores condições de trabalho e optimizando percursos e recursos. Descreve-se detalhadamente o processo de (i) actualização, definição e implementação do método de gestão de componentes em dinâmico, acompanhado pelo respectivo conjunto de regras, (ii) a implementação de um sistema do tipo Kanban orientado às reais preocupações da empresa, (iii) a redefinição de layouts em conformidade com a actualização dos dinâmicos e (iv) a identificação e execução de um conjunto de melhorias. Todas estas actividades acompanhadas pelo impacto financeiro na organização. Por fim, efectua-se o balanço deste projecto e sugerem-se oportunidades de melhoria.

Estratégias defensivas em contexto nacional e comportamentos acionistas das empresas em situação de OPA

A compreensão do conceito de OPA é essencial de forma a entender o funcionamento das combinações empresariais. Esta dissertação tem dois objetivos. O primeiro objetivo tem a finalidade de perceber quais as estratégias defensivas mais eficazes em contexto de OPA. Foi através de um inquérito realizado a 192 empresas envolvidas em situação de OPA entre os anos 1991 e 2014. Através dos resultados das 14 respostas destaca-se que a Recompra de Ações é a estratégia defensiva mais utilizada, tanto em situações de defesas pré-proposta e pós-proposta. A defesa consegue evitar o sucesso, da proposta efetuada pela empresa adquirente, em mais de metade das situações em que é utilizada, tendo sido classificada como muito eficaz. 5 das operações foram de cariz hostil e 7 delas eram expectáveis pela Gestão. Em nenhuma das operações se verificou contraoperação e as áreas mais prejudicadas, pela iniciativa de OPA, foram as respeitantes ao tempo, Time-consuming, e estratégicas. O segundo objetivo tenta perceber o comportamento dos retornos médios anormais das empresas envolvidas numa OPA em face do respetivo anúncio preliminar. Seguiram-se as metodologias de Ball & Brown (1968) e Beaver (1968). Identificaram-se 100 operações compreendidas entre os anos 2000 e 2014. Através do resultado das 12 operações analisadas confirma-se que as empresas-alvo apresentam um retorno médio anormal superior ao das empresas adquirentes e que têm a tendência de acumular retornos médios anormais positivos, pelo contrário as empresas adquirentes têm a tendência de acumular retornos médios anormais negativos. Globalmente, as empresas reagem fortemente ao anúncio preliminar e apresentam uma tendência de ganho nos períodos circundantes e não-circundantes.

POLYCLONAL OUTBREAK OF BLOODSTREAM INFECTIONS CAUSED BY Burkholderia cepacia COMPLEX IN HEMATOLOGY AND BONE MARROW TRANSPLANT OUTPATIENT UNITS

Aim: The objective was to describe an outbreak of bloodstream infections by Burkholderia cepacia complex (Bcc) in bone marrow transplant and hematology outpatients.Methods: On February 15, 2008 a Bcc outbreak was suspected. 24 cases were identified. Demographic and clinical data were evaluated. Environment and healthcare workers' (HCW) hands were cultured. Species were determined and typed. Reinforcement of hand hygiene, central venous catheter (CVC) care, infusion therapy, and maintenance of laminar flow cabinet were undertaken. 16 different HCWs had cared for the CVCs. Multi-dose heparin and saline were prepared on counter common to both units.Findings: 14 patients had B. multivorans(one patient had also B. cenopacia), six non-multivorans Bcc and one did not belong to Bcc. Clone A B. multivorans occurred in 12 patients (from Hematology); in 10 their CVC had been used on February 11/12. Environmental and HCW cultures were negative. All patients were treated with meropenem, and ceftazidime lock-therapy. Eight patients (30%) were hospitalized. No deaths occurred. After control measures (multidose vial for single patient; CVC lock with ceftazidime; cleaning of laminar flow cabinet; hand hygiene improvement; use of cabinet to store prepared medication), no new cases occurred.Conclusions: This polyclonal outbreak may be explained by a common source containing multiple species of Bcc, maybe the laminar flow cabinet common to both units. There may have been contamination by B. multivorans (clone A) of multi-dose vials.

Proposta de solução de videovigilância para locais remotos

Desde tempos remotos que homens faziam a vigilância de bens e mercadorias e mais recentemente também de pessoas com o intuito de dissuadir roubos, atos de vandalismo e de violência. Nos últimos anos, com a evolução das novas tecnologias verificou-se a sua adoção para auxílio da vigilância. Os atos de terrorismo que têm acontecido um pouco por todo o mundo trouxeram um clima de insegurança à população mundial. Este fenómeno, juntamente com o elevado número de roubos e atos de violência levou à expansão de utilização dos meios de videovigilância de forma a dissuadir estes tipos de crime podendo mesmo, nalguns casos servir como prova para punir os autores dos mesmos. Em Portugal tem-se verificado uma escalada de crimes nas zonas mais rurais não só de bens como as alfaias agrícolas mas também de frutos e mesmo de animais. Estes crimes predominam em locais rurais, relativamente distantes das povoações e em locais onde não existem (ou são praticamente inexistentes) infraestruturas necessárias para implementar meios de videovigilância como a falta de rede elétrica e internet o que torna quase inviável a existência de sistemas de videovigilância nesses locais. Dotar esses locais das infra estruturas necessárias poderia tornar-se demasiado dispendioso e os vigilantes humanos poderiam correr riscos no meio dos montes ou noutros locais remotos para além dos seus elevados custos. Para além do problema dos roubos, existe um outro flagelo relacionado com os incêndios na floresta portuguesa, que todos os anos é dizimada pelo fogo devido a incêndios que surgem na sua maioria causados pelo homem sendo uma parte significativa os de origem criminosa. Para dar resposta a estes problemas e no sentido de vigiar e dissuadir estes tipos de crimes, iniciamos um estudo que pretende propor um protótipo de um sistema de videovigilância para locais remotos (SVR - Sistema de Videovigilância Remota) de baixo custo de forma a diminuir o número de crimes e assim minimizar os prejuízos económico e sociais causados pelos mesmos. Pretendemos estudar o problema e analisar tecnologias com potencial para propor uma solução que possa auxiliar a vigilância nesse tipo de locais com o pressuposto de poder vir a contribuir para a diminuição deste tipo de crimes devido ao seu efeito dissuasor pelo facto de se poder divulgar que estes locais já têm uma solução de vigilância oculta. A solução proposta contempla um sistema de videovigilância com uma camara construída com base num Raspberry Pi onde o vídeo é transmitido em streaming via Web através de comunicações móveis. A alimentação do sistema nestes espaços sem energia elétrica é feita através de um painel fotovoltaico. É proporcionado ao utilizador uma interface para visualizar o vídeo transmitido e um mecanismo de notificações por email. É ainda possível a visualização de imagens gravadas num cartão de memória relativas a ocorrências de deteção de movimentos. Foram realizados inúmeros testes ao protótipo SVR sendo os resultados obtidos aqui descritos.

Navegação web anónima e segura

A Web aproximou a humanidade dos seus pares a um nível nunca antes visto. Com esta facilidade veio também o cibercrime, o terrorismo e outros fenómenos característicos de uma sociedade tecnológica, plenamente informatizada e onde as fronteiras terrestres pouco importam na limitação dos agentes ativos, nocivos ou não, deste sistema. Recentemente descobriu-se que as grandes nações “vigiam” atentamente os seus cidadãos, desrespeitando qualquer limite moral e tecnológico, podendo escutar conversas telefónicas, monitorizar o envio e receção de e-mails, monitorizar o tráfego Web do cidadão através de poderosíssimos programas de monitorização e vigilância. Noutros cantos do globo, nações em tumulto ou envoltas num manto da censura perseguem os cidadãos negando-lhes o acesso à Web. Mais mundanamente, há pessoas que coagem e invadem a privacidade de conhecidos e familiares, vasculhando todos os cantos dos seus computadores e hábitos de navegação. Neste sentido, após o estudo das tecnologias que permitem a vigilância constante dos utilizadores da Web, foram analisadas soluções que permitem conceder algum anónimato e segurança no tráfego Web. Para suportar o presente estudo, foi efetuada uma análise das plataformas que permitem uma navegação anónima e segura e um estudo das tecnologias e programas com potencial de violação de privacidade e intrusão informática usados por nações de grande notoriedade. Este trabalho teve como objetivo principal analisar as tecnologias de monitorização e de vigilância informática identificando as tecnologias disponíveis, procurando encontrar potenciais soluções no sentido de investigar a possibilidade de desenvolver e disponibilizar uma ferramenta multimédia alicerçada em Linux e em LiveDVD (Sistema Operativo Linux que corre a partir do DVD sem necessidade de instalação). Foram integrados recursos no protótipo com o intuito de proporcionar ao utilizador uma forma ágil e leiga para navegar na Web de forma segura e anónima, a partir de um sistema operativo (SO) virtualizado e previamente ajustado para o âmbito anteriormente descrito. O protótipo foi testado e avaliado por um conjunto de cidadãos no sentido de aferir o seu potencial. Termina-se o documento com as conclusões e o trabalho a desenvolver futuramente.

Efficient advertising strategies for the fragrance market

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Internationalization process of h3 to the UK market

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Immunotherapy, immunochemotherapy and chemotherapy for American cutaneous leishmaniasis treatment

The first choice of treatment for American cutaneous leishmaniasis is the pentavalent antimonial drug. Although it has been shown that this treatment is mostly effective and indicated, some disadvantages should be taken into account such as side effects, long term treatment inconveniences and counter-indication for patients suffering from cardiopathy, nephropathy; yet, aging, pregnancy and other conditions. With the advent of the vaccine anti-American cutaneous leishmaniasis as a prophylactic measure, studies on therapy using the vaccine associated or not with other drugs have been performed by many investigators and it is currently among the alternative treatments and prevention measures for American cutaneous leishmaniasis. In conclusion, the association between antimony and vaccine (immunochemotherapy) showed the same cure rate when compared with the standard treatment (100%) and it was also able to reduce the salt volume in 17.9% and treatment length from 87 to 62 days, decreasing side effects.

A dimensão marítima da segurança nacional : os desafios do Arquipélago de Cabo Verde

A presente dissertação tem por objetivo analisar os principais desafios à segurança marítima na subregião da África Ocidental, particularmente nas ilhas de Cabo Verde. Incidir-se-á, igualmente, sob as principais iniciativas adotadas a nível regional e nacional, bem como, as implicações desses novos desafios na estratégia de segurança nacional de Cabo Verde e os efeitos das ações cooperativas na segurança marítima deste arquipélago. Argumenta-se que apesar dos vários benefícios e potencialidades de exploração do espaço marítimo, existem, atualmente, diversas ameaças e vulnerabilidades, como a criminalidade organizada transnacional, mormente, o tráfico ilícito de drogas e de armas. De igual modo, a pirataria marítima, o terrorismo marítimo, a pesca ilegal e a poluição marítima colocam sérios problemas securitários aos Estados costeiros. No contexto dessas novas ameaças e face às limitações atuais do Direito Internacional Marítimo e à falta de pragmatismo de políticas nacionais e regionais, um possível caminho para combater as atividades ilícitas no mar é através de uma visão partilhada de interesses comuns e a tomada de decisões compartilhadas a todos os níveis. Para se atingir o desiderato proposto, além de se apoiar numa ampla revisão de bibliografia existente sobre a segurança marítima e relatórios elaborados por organismos regionais e internacionais, baseia-se também em leis e documentos oficiais de Cabo Verde relativos à segurança marítima.

Terrorismo - Consequências Económicas numa Análise Setorial

Este trabalho procura responder à questão “Quais as consequências provocadas pelo fenómeno terrorismo na economia dos Estados?”. Através de uma visão construtivista, descreve os potenciais setores económicos a serem afetados pelo terrorismo, analisando, e indicando os limites e a extensão dos danos por este provocados, distinguindo os setores económicos mais abrangidos, os que carecem de maior recuperação, e os que têm apresentado desenvolvimento positivo com o terrorismo. Expõe ainda os seus efeitos em economias mais fortes face aos efeitos em economias mais frágeis, distinguindo os Estados geográfica e governamentalmente mais afetados, e onde as consequências são maiores

O terrorismo e o impacto nos Direitos Humanos

Terrorism is at the center of speeches in contemporary societies. Terrorism has caused a great instability in Western society, but if before the Islamic fundamentalist terrorism was just a threat to the West, the Arab world of today suffers this same reality. Human rights conquered in the past, are being constantly violated and forgotten by the countries that make them flag of their ideals as the US, that this fight against terrorism already violated in every way those rights. Human rights are the fundamental pillars to be able to live in society and serve to protect the humanity of the atrocities that have been committed in the past with the great wars. Human rights are the fundamental pillars to be able to live in society and serve to protect the humanity of the atrocities that have been committed in the past with the great wars. Atrocities as torture, which is prohibited by several international documents and yet these inhumane practices continue to be used as a means of combating terrorism. Democracies are fragmented and the great challenge facing this century is finding means to contain the growth of these Islamic radicals, without jeopardizing the universally known human values.