Cooperative framework for open real-time systems

Actualmente, os sistemas embebidos estão presentes em toda a parte. Embora grande parte da população que os utiliza não tenha a noção da sua presença, na realidade, se repentinamente estes sistemas deixassem de existir, a sociedade iria sentir a sua falta. A sua utilização massiva deve-se ao facto de estarem practicamente incorporados em quase os todos dispositivos electrónicos de consumo, telecomunicações, automação industrial e automóvel. Influenciada por este crescimento, a comunidade científica foi confrontada com novos problemas distribuídos por vários domínios científicos, dos quais são destacados a gestão da qualidade de serviço e gestão de recursos - domínio encarregue de resolver problemas relacionados com a alocação óptima de recursos físicos, tais como rede, memória e CPU. Existe na literatura um vasto conjunto de modelos que propõem soluções para vários problemas apresentados no contexto destes domínios científicos. No entanto, não é possível encontrar modelos que lidem com a gestão de recursos em ambientes de execução cooperativos e abertos com restrições temporais utilizando coligações entre diferentes nós, de forma a satisfazer os requisitos não funcionais das aplicações. Devido ao facto de estes sistemas serem dinâmicos por natureza, apresentam a característica de não ser possível conhecer, a priori, a quantidade de recursos necessários que uma aplicação irá requerer do sistema no qual irá ser executada. Este conhecimento só é adquirido aquando da execução da aplicação. De modo a garantir uma gestão eficiente dos recursos disponíveis, em sistemas que apresentam um grande dinamismo na execução de tarefas com e sem restrições temporais, é necessário garantir dois aspectos fundamentais. O primeiro está relacionado com a obtenção de garantias na execução de tarefas de tempo-real. Estas devem sempre ser executadas dentro da janela temporal requirida. O segundo aspecto refere a necessidade de garantir que todos os recursos necessários à execução das tarefas são fornecidos, com o objectivo de manter os níveis de performance quer das aplicações, quer do próprio sistema. Tendo em conta os dois aspectos acima mencionados, o projecto CooperatES foi especificado com o objectivo de permitir a dispositivos com poucos recursos uma execução colectiva de serviços com os seus vizinhos, de modo a cumprir com as complexas restrições de qualidade de serviço impostas pelos utilizadores ou pelas aplicações. Decorrendo no contexto do projecto CooperatES, o trabalho resultante desta tese tem como principal objectivo avaliar a practicabilidade dos conceitos principais propostos no âmbito do projecto. O trabalho em causa implicou a escolha e análise de uma plataforma, a análise de requisitos, a implementação e avaliação de uma framework que permite a execução cooperativa de aplicações e serviços que apresentem requisitos de qualidade de serviço. Do trabalho desenvolvido resultaram as seguintes contribuições: Análise das plataformas de código aberto que possam ser utilizadas na implementação dos conceitos relacionados com o projecto CooperatES; Critérios que influenciaram a escolha da plataforma Android e um estudo focado na análise da plataforma sob uma perspectiva de sistemas de tempo-real; Experiências na implementação dos conceitos do projecto na plataforma Android; Avaliação da practicabilidade dos conceitos propostos no projecto CooperatES; Proposta de extensões que permitam incorporar características de sistemas de tempo real abertos na plataforma Android.

Optimização do tratamento por lamas activadas do efluente líquido da Mundotêxtil

A Mundotêxtil foi fundada em 1975 tendo iniciado a sua actividade na área comercial de produtos têxteis. Actualmente é o maior produtor nacional de atoalhados de felpo e emprega 575 colaboradores. Como resultado do seu crescimento e sobretudo da actividade de tingimento de fio e felpo, as necessidades de água são consideráveis e o volume de efluentes gerados nos processos industriais é cada vez maior a empresa avançou com a construção de uma estação de tratamento por lamas activadas, colocando-a em funcionamento em Setembro de 2004. Inicialmente surgiram dificuldades para a remoção da cor e da concentração da Carência Química de Oxigénio (CQO) de modo a cumprir os limites máximos de emissão permitidos nas normas de descarga no rio Ave e no Decreto-Lei nº 236/98, de 1 de Agosto. Com a descarga de parte dos efluentes no SIDVA e a utilização de um coagulante adicionado ao reactor o tratamento passou a apresentar melhores resultados. O intuito deste trabalho é o de apresentar soluções de modo a optimizar o funcionamento do tratamento biológico da Mundotêxtil. A optimização pode começar na concepção dos produtos, pode incidir no processo de fabrico para além de poder ser efectuada no seio da estação de tratamento biológico. Foi efectuado um estudo do tratamento biológico por lamas activadas no Laboratório de Tecnologia Química Profª Doutora Lída de Vasconcelos, laboratório tecnológico do Instituto Superior de Engenharia do Porto (ISEP) que decorreu nos meses de Maio, Junho e Julho de 2010. O estudo laboratorial foi efectuado para três situações distintas: 1) tratamento do efluente bruto sem qualquer tipo de pré-tratamento (ensaios 1 a 3); 2) tratamento do efluente bruto submetido a pré-tratamento com coagulante Ambifloc BIO MD (ensaios 4 e 5) e 3) tratamento com adição de fungos ao tanque de arejamento (ensaio 6). Foram utilizadas duas instalações de tratamento alimentadas a partir do mesmo tanque de alimentação. Os dois sistemas eram idênticos, diferiram nos caudais de alimentação de efluente que foram alterados ao longo do estudo. O efluente a tratar foi fornecido pela empresa Mundotêxtil, sendo recolhido por diversas vezes ao longo dos ensaios. Este efluente foi retirado após o pré-tratamento da empresa, ou seja este efluente é o mesmo que alimenta o tratamento biológico da Mundotêxtil. Devido a este facto o efluente usado no estudo laboratorial teve uma variabilidade no período em que decorreu o estudo, nomeadamente em termos de concentração de CQO e cor. A relação entre a Carência Bioquímica (CBO5) e a CQO situouse entre 0,47 e 0,63 o que traduz que está dentro dos valores típicos para um efluente têxtil. Os melhores resultados globais de remoção de CQO foram obtidos no ensaio 5 e estiveram compreendidos entre 73,2% e 77,5% para o ensaio 5.1 e entre 62,9 e 73,2% para o ensaio 5.2. Neste ensaio foi utilizado o coagulante. Todos os valores de concentração de CQO obtidos nos efluentes dos decantadores para os ensaios 2, 5 e 6 são inferiores aos valores limite de descarga definidos nas normas de descarga no rio Ave e o Decreto-Lei 236/98. Os valores de concentração de Sólidos Suspensos Totais (SST), pH, fósforo, CBO5 e cor nos decantadores cumpriram os limites de descarga definidos nas normas de descarga no rio Ave e no Decreto-Lei nº 236/98 em todos os ensaios. Os parâmetros cinéticos obtidos para os ensaios com descorante são os que melhor se ajustam ao projecto de uma instalação de tratamento biológico por lamas activadas do efluente da Mundotêxtil. Os valores obtidos, após ajuste, são os seguintes: k=0,015 L/(mgSSV*d); Sn=12 mg/L; a=0,7982 kgO2/kgCBO5; b=0,0233 [kgO2/(kgSSV*d); y=0,2253 kgSSV/kgCBO5; kd=0,0036 kgSSV/(kgSSV*d. Com base nos parâmetros cinéticos obtiveram-se os seguintes resultados para o projecto de uma estação de tratamento biológico por lamas activadas: · Tempo de retenção hidráulica no reactor de 1,79 d, · Volume do reactor igual a 3643 m3 · Consumo de oxigénio no reactor de 604 kg/d · Razão de recirculação igual a 0,8 · Volume total do decantador secundário igual a 540 m3 · Diâmetro do decantador secundário igual a 15 m A quantidade de oxigénio necessário é baixa e o valor mais adequado deverá ser da ordem de 1200 kg/d. Também foi efectuada uma análise aos produtos químicos consumidos pela empresa na área das tinturarias com a finalidade de identificar as substâncias com uma maior influência potencial no funcionamento da Estação de Tratamento Biológico. O encolante CB, Cera Têxtil P Líquida, Perfemina P-12, Meropan DPE-P, Meropan BRE-P, Indimina STS e Benzym TEC são os produtos químicos que têm uma influência potencial mais significativa na qualidade dos efluentes. Devido ao facto das temperaturas do efluente alimentado ao tratamento biológico da Mundotêxtil oscilarem entre 35 ºC e 43ºC efectuou-se um estudo às necessidades de água quente das tinturarias e por outro lado à capacidade de aquecimento dos efluentes disponíveis. Actualmente a racionalização dos consumos de água é cada vez mais premente, por isso também é apresentado neste trabalho um estudo para a substituição das máquinas convencionais das tinturarias com uma relação de banho 1:10 por máquinas de banho curto (1:6,5). Verifica-se a redução de consumos de 40% de água, 52% de energia eléctrica, 35% de produtos químicos, 51% das necessidades de vapor e por consequência um aumento da produtividade. A empresa pode reduzir os consumos de água em cerca de 280.000 m3/ano. A utilização do pré-tratamento com o coagulante permitirá baixar a concentração da CQO e reduzir a cor à entrada do reactor tratamento biológico. Deste modo é possível manter um tratamento eficiente à saída do tratamento biológico nas situações de descarga de cores carregadas e carga orgânica elevada. Com este conjunto de soluções, quer sejam aplicadas na totalidade ou não, a empresa Mundotêxtil pode enfrentar o futuro com mais confiança podendo estar preparada para fazer face à escassez de água e custos cada vez maiores da energia. Por outro lado pode tratar os seus efluentes a custos menores. A substituição das máquinas de tingimento por máquinas com relação de banho mais baixa (banho curto) implica investimentos elevados mas estes investimentos são necessários não só por motivos ambientais mas também devido à grande competitividade dos mercados.

Leilão de direitos de transmissão financeiros de energia eléctrica em ambiente de mercado

Os direitos de transmissão (Transmission Rigths – TRs) correspondem, na sua essência, a contratos que conferem aos seus proprietários o direito de transmitir energia eléctrica, por um determinado caminho, a um preço fixo. Na actualidade vive-se uma era de liberalização dos mercados de energia eléctrica nos quais, no caso concreto dos mercados de TRs, os diversos agentes podem ceder os TRs que possuem a outros agentes desde que cumpram certos requisitos impostos pelo sistema na figura do seu operador de sistema (Independent System Operator – ISO). Neste sentido, o ISO oferece, aos diversos agentes do mercado, algumas ferramentas que lhes permite transaccionar, sob sua orientação, os seus respectivos TRs fazendo-se cumprir todos os requisitos indispensáveis para o efeito. A mais popular dessas ferramentas, nos principais mercados energético da actualidade, é o leilão. Com o presente trabalho de dissertação é pretendido apresentar-se um modelo para a resolução do problema inerente a um leilão de TRs em ambiente de mercado, neste caso concreto de direitos de transmissão financeiros de energia eléctrica (Financial Transmission Rigths – FTRs). Neste sentido foi desenvolvido um simulador informático (SIM_AuctFTR) que implementa um modelo para este tipo de problemas. Este trabalho foi estruturado essencialmente em três etapas com objectivos inerentes. Assim, numa primeira fase da realização deste trabalho, foi realizado um estudo de diversos conceitos e metodologias inerentes ao problema de leilão de FTRs em ambiente de mercado, suportado por uma sólida base bibliográfica. A segunda fase tratou-se do desenvolvimento do algoritmo da aplicação computacional que solucione um problema de um leilão de FTRs. O SIM_AuctFTR foi desenvolvido sobre o pressuposto da maximização dos rendimentos financeiros provenientes da atribuição dos FTRs propostos a leilão, tendo estes últimos de coabitar no sistema respeitando as restrições técnicas a que este são inerentes, mesmo na eventualidade da ocorrência de contingências de nível ‘n-1’. Por último, numa terceira fase, partindo da aplicação desenvolvida, foram realizados 4 casos de estudos com outras tantas redes eléctricas de forma a testar a robustez da ferramenta desenvolvida.

La condition de la femme dans le cid

La tragi-comédie de Corneille, «Le Cid» (1636-7), est davantage une pièce d‘amour qui illustre bien la condition de la femme au XVIIème siècle. Le triangle amoureux constitué par l‘Infante, Chimène et Rodrigue est l‘un des fondements de la pièce. Cependant, comme les personnages sont insérés dans un système féodal basé sur une idéologie aristocratique, l‘amour ne se présente pas comme une jouissance paisible. De cette façon, il y a une lutte acharnée entre l‘amour, le devoir et l‘honneur, ce qui est frappant au niveau lexical. Les personnages les plus jeunes utilisent beaucoup de mots associés au thème de l‘amour et qui ont le radical amour-, tandis que les plus âgés emploient très souvent des mots qui appartiennent au champ lexical de l‘honneur et de la gloire. Selon D. Diègue, l‘honneur a plus de puissance que l‘amour, et il trouve que l‘homme qui s‘endort dans l‘amour oublie ses devoirs. Pour l‘Infante, Chimène et Rodrigue, l‘amour est lié à la souffrance. L‘Infante souffre, mais elle se conforme, parce qu‘étant donné qu‘elle est fille de roi, elle ne peut pas aimer Rodrigue qui appartient à un rang inférieur. Chimène est le revers de l‘Infante, c‘est une femme rebelle qui veut mouler sa destinée. Cependant, tout au long de la pièce, l‘héroïne est assujettie à une force mâle: si parfois l‘amour entre elle et Rodrigue ressemble à l‘amour courtois du Moyen âge quand il se met à la disposition de sa maîtresse et la place au-dessus de lui, la plupart du temps il met la passion en dessous de l‘honneur, parce que c‘est un homme et descend d‘une famille de guerriers vaillants. Selon le code chevaleresque dans lequel il est inséré la femme est inférieure à l‘homme. À la fin de la pièce, il y a une victoire de l‘amour sur l‘honneur et le devoir : Chimène abdique de son honneur en pardonnant et en prenant pour mari l‘assassin de son père. Le monde de l‘élément masculin triomphe et elle devient le prix de la victoire de Rodrigue. Mais si son statut de femme l‘empêche de sortir victorieuse, elle ne se conforme pas et dans sa dernière tirade elle met en question la justice et défie la société féodale.

Alcipe, Nathercia e Tirse: Considerações sobre as luzes no feminino no Portugal de setecentos

O presente artigo desenvolve-se em torno de três damas esclarecidas da sociedade portuguesa de setecentos: D. Leonor de Almeida (1750-1839), ou Alcipe; D. Catarina de Lencastre (1749-1824), ou Nathercia; e D. Teresa de Mello Breyner (1739-1798?), ou Tirse. Sabendo que o século XVIII foi um período marcado por mudança e controvérsia, pela emergência de novos paradigmas, pelo reequacionamento de estruturas mentais e tradições seculares – ainda que em Portugal se experimentasse uma certa resistência às teorias filosóficas emergentes – a questão que lançamos e procuramos analisar é: qual o reflexo destas transformações no universo feminino? Assim, partindo dos três exemplos referidos e a eles tornando, pretendemos problematizar três questões centrais no discurso iluminista – educação, leituras e viagens – observando como estas matérias, assaz discutidas e teorizadas ao longo do século XVIII, se repercutiram na formação feminina em solo português e, por outro lado, analisar o modesto mas expressivo papel que as referidas damas assumiram na propagação da cultura das luzes em Portugal.

Quantification of endocrine disruptors and pesticides in water by gas chromatography–tandem mass spectrometry. Method validation using weighted linear regression schemes

Amulti-residue methodology based on a solid phase extraction followed by gas chromatography–tandem mass spectrometry was developed for trace analysis of 32 compounds in water matrices, including estrogens and several pesticides from different chemical families, some of them with endocrine disrupting properties. Matrix standard calibration solutions were prepared by adding known amounts of the analytes to a residue-free sample to compensate matrix-induced chromatographic response enhancement observed for certain pesticides. Validation was done mainly according to the International Conference on Harmonisation recommendations, as well as some European and American validation guidelines with specifications for pesticides analysis and/or GC–MS methodology. As the assumption of homoscedasticity was not met for analytical data, weighted least squares linear regression procedure was applied as a simple and effective way to counteract the greater influence of the greater concentrations on the fitted regression line, improving accuracy at the lower end of the calibration curve. The method was considered validated for 31 compounds after consistent evaluation of the key analytical parameters: specificity, linearity, limit of detection and quantification, range, precision, accuracy, extraction efficiency, stability and robustness.

Setting target rotation time in PROFIBUS based real-time distributed applications

In this paper, we analyse the ability of Profibus fieldbus to cope with the real-time requirements of a Distributed Computer Control System (DCCS), where messages associated to discrete events must be made available within a maximum bound time. Our methodology is based on the knowledge of real-time traffic characteristics, setting the network parameters in order to cope with timing requirements. Since non-real-time traffic characteristics are usually unknown at the design stage, we consider an operational profile where, constraining non-real-time traffic at the application level, we assure that realtime requirements are met.

The utilization bound of non-preemptive rate-monotonic scheduling in controller area networks is 25%

Consider a distributed computer system comprising many computer nodes, each interconnected with a controller area network (CAN) bus. We prove that if priorities to message streams are assigned using rate-monotonic (RM) and if the requested capacity of the CAN bus does not exceed 25% then all deadlines are met.

A synchronous transition protocol with periodicity for global scheduling of multimode real-time systems on multiprocessors

We consider the global scheduling problem of multimode real-time systems upon identical multiprocessor platforms. During the execution of a multimode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Thereby, ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. In this paper, we extend the synchronous transition protocol SM-MSO in order to take into account mode-independent tasks [1], i.e., tasks of which the execution pattern must not be jeopardized by the mode changes.

Two protocols without periodicity for the global and preemptive scheduling problem of multi-mode real-time systems upon multiprocessor Platforms

We consider the problem of scheduling a multi-mode real-time system upon identical multiprocessor platforms. Since it is a multi-mode system, the system can change from one mode to another such that the current task set is replaced with a new task set. Ensuring that deadlines are met requires not only that a schedulability test is performed on tasks in each mode but also that (i) a protocol for transitioning from one mode to another is specified and (ii) a schedulability test for each transition is performed. We propose two protocols which ensure that all the expected requirements are met during every transition between every pair of operating modes of the system. Moreover, we prove the correctness of our proposed algorithms by extending the theory about the makespan determination problem.

A two-competitive approximate schedulability analysis of CAN

Consider the problem of deciding whether a set of n sporadic message streams meet deadlines on a Controller Area Network (CAN) bus for a specified priority assignment. It is assumed that message streams have implicit deadlines and no release jitter. An algorithm to solve this problem is well known but unfortunately it time complexity is non-polynomial. We present an algorithm with polynomial time-complexity for computing an upper bound on the response times. Clearly, if the upper bound on the response time does not exceed the deadline then all deadlines are met. The pessimism of our approach is proven: if the upper bound of the response time exceeds the deadline then the response time exceeds the deadline as well for a CAN network with half the speed.

Linearizability and schedulability

Consider the problem of scheduling a set of tasks on a single processor such that deadlines are met. Assume that tasks may share data and that linearizability, the most common correctness condition for data sharing, must be satisfied. We find that linearizability can severely penalize schedulability. We identify, however, two special cases where linearizability causes no or not too large penalty on schedulability.

Uniprocessor EDF scheduling with mode change

Consider the problem of scheduling sporadically-arriving tasks with implicit deadlines using Earliest-Deadline-First (EDF) on a single processor. The system may undergo changes in its operational modes and therefore the characteristics of the task set may change at run-time. We consider a well-established previously published mode-change protocol and we show that if every mode utilizes at most 50% of the processing capacity then all deadlines are met. We also show that there exists a task set that misses a deadline although the utilization exceeds 50% by just an arbitrarily small amount. Finally, we present, for a relevant special case, an exact schedulability test for EDF with mode change.

Global static-priority preemptive multiprocessor scheduling with utilization bound 38%

Consider the problem of scheduling real-time tasks on a multiprocessor with the goal of meeting deadlines. Tasks arrive sporadically and have implicit deadlines, that is, the deadline of a task is equal to its minimum inter-arrival time. Consider this problem to be solved with global static-priority scheduling. We present a priority-assignment scheme with the property that if at most 38% of the processing capacity is requested then all deadlines are met.

The utilization bound of static-priority preemptive partitioned multiprocessor scheduling is 50%

This paper studies static-priority preemptive scheduling on a multiprocessor using partitioned scheduling. We propose a new scheduling algorithm and prove that if the proposed algorithm is used and if less than 50% of the capacity is requested then all deadlines are met. It is known that for every static-priority multiprocessor scheduling algorithm, there is a task set that misses a deadline although the requested capacity is arbitrary close to 50%.