A compositional scheduling framework for digital avionics systems

ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads and can communicate with other processes in the system. In this work we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.

Competitive analysis of static-priority partitioned scheduling on uniform multiprocessors

Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can be preempted but they cannot migrate between processors. On each processor, tasks are scheduled according to rate-monotonic. We propose an algorithm that can schedule all task sets that any other possible algorithm can schedule assuming that our algorithm is given processors that are √2 / √2−1 ≈ 3.41 times faster. No such guarantees are previously known for partitioned static-priority scheduling on uniform multiprocessors.

Exact analysis of TDMA with slot skipping

Consider a communication medium shared among a set of computer nodes; these computer nodes issue messages that are requested to be transmitted and they must finish their transmission before their respective deadlines. TDMA/SS is a protocol that solves this problem; it is a specific type of Time Division Multiple Access (TDMA) where a computer node is allowed to skip its time slot and then this time slot can be used by another computer node. We present an algorithm that computes exact queuing times for TDMA/SS in conjunction with Rate-Monotonic (RM) or Earliest- Deadline-First (EDF).

Multiprocessor scheduling with few preemptions

Consider the problem of scheduling a set of periodically arriving tasks on a multiprocessor with the goal of meeting deadlines. Processors are identical and have the same speed. Tasks can be preempted and they can migrate between processors. We propose an algorithm with a utilization bound of 66% and with few preemptions. It can trade a higher utilization bound for more preemption and in doing so it has a utilization bound of 100%.

Dynamic adaptation of stability periods for service level agreements

A QoS adaptation to dynamically changing system conditions that takes into consideration the user’s constraints on the stability of service provisioning is presented. The goal is to allow the system to make QoS adaptation decisions in response to fluctuations in task traffic flow, under the control of the user. We pay special attention to the case where monitoring the stability period and resource load variation of Service Level Agreements for different types of services is used to dynamically adapt future stability periods, according to a feedback control scheme. System’s adaptation behaviour can be configured according to a desired confidence level on future resource usage. The viability of the proposed approach is validated by preliminary experiments.

Implementation of a dominance protocol for wireless medium access

Consider the problem of scheduling sporadic message transmission requests with deadlines. For wired channels, this has been achieved successfully using the CAN bus. For wireless channels, researchers have recently proposed a similar solution; a collision-free medium access control (MAC) protocol that implements static-priority scheduling. Unfortunately no implementation has been reported, yet. We implement and evaluate it to find that the implementation indeed is collision-free and prioritized. This allows us to develop schedulability analysis for the implementation. We measure the response times of messages in our implementation and find that our new response-time analysis indeed offers an upper bound on the response times. This enables a new class of wireless real-time systems with timeliness guarantees for sporadic messages and it opens-up a new research area: schedulability analysis for wireless networks.

An embedded 1149.4 extension to support mixed-signal debugging

Debugging electronic circuits is traditionally done with bench equipment directly connected to the circuit under debug. In the digital domain, the difficulties associated with the direct physical access to circuit nodes led to the inclusion of resources providing support to that activity, first at the printed circuit level, and then at the integrated circuit level. The experience acquired with those solutions led to the emergence of dedicated infrastructures for debugging cores at the system-on-chip level. However, all these developments had a small impact in the analog and mixed-signal domain, where debugging still depends, to a large extent, on direct physical access to circuit nodes. As a consequence, when analog and mixed-signal circuits are integrated as cores inside a system-on-chip, the difficulties associated with debugging increase, which cause the time-to-market and the prototype verification costs to also increase. The present work considers the IEEE1149.4 infrastructure as a means to support the debugging of mixed-signal circuits, namely to access the circuit nodes and also an embedded debug mechanism named mixed-signal condition detector, necessary for watch-/breakpoints and real-time analysis operations. One of the main advantages associated with the proposed solution is the seamless migration to the system-on-chip level, as the access is done through electronic means, thus easing debugging operations at different hierarchical levels.

A system verification strategy based on the BST infrastructure

A good verification strategy should bring near the simulation and real functioning environments. In this paper we describe a system-level co-verification strategy that uses a common flow for functional simulation, timing simulation and functional debug. This last step requires using a BST infrastructure, now widely available on commercial devices, specially on FPGAs with medium/large pin-counts.

Benchmarking de identificação de ano: criação de um site para benchmarking de técnicas de identificação de dano

Dissertação para obtenção do grau de Mestre em Engenharia Mecânica na Área de Manutenção e Produção

Personalized public transportation information

Thesis to obtain the Master of Science Degree in Computer Science and Engineering

Planeamento fiscal abusivo: exemplificação de alguns esquemas

Dissertação de Mestrado apresentada ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças sobre a orientação do Doutor José Campos Amorim.

A Veterinária, os Medicamentos e a Formação dos Profissionais de Farmácia

É cada vez mais proeminente abordarmos a temática da medicina veterinária devido à necessidade de formação dos profissionais e dos cuidados requeridos nas vertentes homem/animal/ambiente. Com o principal objetivo de conhecer se a base de formação dos profissionais de farmácia é suficiente e tem resultados na satisfação das necessidades de todos os utentes com animais, foi levantado um estudo de artigos já publicados sobre o tema e posteriormente um questionário online para possível comparação dos resultados com a realidade. Abordam-se temas como: intoxicações em animais, regulamentação sobre este tipo de medicamentos, aconselhamento e consumo de medicamentos veterinários, saúde pública, algumas terapias complementares e finalmente a formação dos profissionais de farmácia. Os resultados obtidos a nível da formação destes profissionais não foram os mais satisfatórios, embora este resultado no futuro possa ser melhorado visto que há interesse por parte dos inquiridos em obter formação sobre a área. Aplicou-se um estudo observacional, do tipo transversal e analítico. A população alvo são os profissionais de farmácia portugueses. Para a recolha destas informações foi utilizado um questionário online, anónimo, confidencial e voluntário a 400profissionais. A amostra é constituída maioritariamente por indivíduos do género feminino (75%), sendo a faixa etária mais frequente dos 23 aos 25 anos (41%). Verificou-se que mais de 70% dos profissionais trabalham num local onde se vendem medicamentos veterinários e embora apenas 21% tenha tido uma formação na área. É de notar que 69% sentiu dificuldades no preenchimento do questionário e 94% considera importante obter uma formação extra nesta área, principalmente em temáticas como medicação, prevenção de doenças e alimentação.

Transglutaminases do mosquito Anopheles gambiae: Caracterização genética, bioquímica e funcional durante a infecção por Plasmodium berghei

A malária constitui um problema de saúde pública, que tem vindo a agravar-se, sendo crescente a necessidade de estratégias renovadas para o seu controlo, como a interrupção do ciclo esporogónico. Deste modo, é essencial compreender as respostas imunológicas de Anopheles anti-Plasmodium. Demonstrou-se anteriormente, que a inibição de transglutaminases, enzimas que participam em vários processos biológicos ao catalisarem a formação de ligações covalentes entre péptidos, agrava a infecção em mosquitos pelo parasita. O presente trabalho tem por objectivo caracterizar as transglutaminases AGAP009098 e AGAP009100 de Anopheles gambiae. Os métodos utilizados para este efeito foram: a sequenciação de regiões dos genes AGAP009098 e AGAP009100; a clonagem molecular de fragmentos da região codificante do gene AGAP009098, usando o vector plasmídico pET–28a(+) e Escherichia coli como sistema de expressão; e PCR em Tempo Real para analisar a expressão relativa dos genes AGAP009098 e AGAP009100 nos diferentes os estádios de desenvolvimento. AGAP009098 é expressa ubiquamente e AGAP009100 a partir do estádio pupa. Estes resultados apontam para a conclusão de que AGAP009098 e AGAP009100 poderão desempenhar funções em processos biológicos relevantes, por exemplo na defesa imunitária, ou no desenvolvimento. Os péptidos recombinantes, obtidos a partir da clonagem com sucesso de fragmentos da região codificante do gene AGAP009098, constituem uma ferramenta importante para averiguar a função destas TGases, no futuro.

Microcystin-LR detection in water by the Fabry–Pérot interferometer using an optical fibre coated with a sol–gel imprinted sensing membrane

Cyanobacteria deteriorate the water quality and are responsible for emerging outbreaks and epidemics causing harmful diseases in Humans and animals because of their toxins. Microcystin-LR (MCT) is one of the most relevant cyanotoxin, being the most widely studied hepatotoxin. For safety purposes, the World Health Organization recommends a maximum value of 1 μg L−1 of MCT in drinking water. Therefore, there is a great demand for remote and real-time sensing techniques to detect and quantify MCT. In this work a Fabry–Pérot sensing probe based on an optical fibre tip coated with a MCT selective thin film is presented. The membranes were developed by imprinting MCT in a sol–gel matrix that was applied over the tip of the fibre by dip coating. The imprinting effect was obtained by curing the sol–gel membrane, prepared with (3-aminopropyl) trimethoxysilane (APTMS), diphenyl-dimethoxysilane (DPDMS), tetraethoxysilane (TEOS), in the presence of MCT. The imprinting effect was tested by preparing a similar membrane without template. In general, the fibre Fabry–Pérot with a Molecular Imprinted Polymer (MIP) sensor showed low thermal effect, thus avoiding the need of temperature control in field applications. It presented a linear response to MCT concentration within 0.3–1.4 μg L−1 with a sensitivity of −12.4 ± 0.7 nm L μg−1. The corresponding Non-Imprinted Polymer (NIP) displayed linear behaviour for the same MCT concentration range, but with much less sensitivity, of −5.9 ± 0.2 nm L μg−1. The method shows excellent selectivity for MCT against other species co-existing with the analyte in environmental waters. It was successfully applied to the determination of MCT in contaminated samples. The main advantages of the proposed optical sensor include high sensitivity and specificity, low-cost, robustness, easy preparation and preservation.

Formation Control Driven by Cooperative Object Tracking

In this paper we introduce a formation control loop that maximizes the performance of the cooperative perception of a tracked target by a team of mobile robots, while maintaining the team in formation, with a dynamically adjustable geometry which is a function of the quality of the target perception by the team. In the formation control loop, the controller module is a distributed non-linear model predictive controller and the estimator module fuses local estimates of the target state, obtained by a particle filter at each robot. The two modules and their integration are described in detail, including a real-time database associated to a wireless communication protocol that facilitates the exchange of state data while reducing collisions among team members. Simulation and real robot results for indoor and outdoor teams of different robots are presented. The results highlight how our method successfully enables a team of homogeneous robots to minimize the total uncertainty of the tracked target cooperative estimate while complying with performance criteria such as keeping a pre-set distance between the teammates and the target, avoiding collisions with teammates and/or surrounding obstacles.