Analysis of WCET in an experimental satellite software development.

This paper describes a case study in WCET analysis of an on-board spacecraft software system. The attitude control system of UPMSat-2, an experimental micro-satellite which is scheduled to be launched in 2013, is used for an experiment on analysing the worst-case execution time of code automatically generated from a Simulink model. In order to properly test the code, a hardware-in-the-loop configuration with a simulation model of the spacecraft environment has been used as a test bench. The code has been analysed with RapiTime, with some modifications to the original instrumentation routines, in order to take into account the particularities of the test configuration. Results from the experiment are described and commented in the paper.

Static analysis of WCET in a satellite software subsystem

This paper describes the authors? experience with static analysis of both WCET and stack usage of a satellite on-board software subsystem. The work is a continuation of a previous case study that used a dynamic WCET analysis tool on an earlier version of the same software system. In particular, the AbsInt aiT tool has been evaluated by analysing both C and Ada code generated by Simulink within the UPMSat-2 project. Some aspects of the aiT tool, specifically those dealing with SPARC register windows, are compared to another static analysis tool, Bound-T. The results of the analysis are discussed, and some conclusions on the use of static WCET analysis tools on the SPARC architecture are commented in the paper.

Differentiating responses to obstructive sleep apnoea using pulse transit time

Conventional overnight polysomnography (PSG) used to determine the respiratory behaviour during sleep can be a complex and expensive procedure. Pulse transit time analysis (PTT) has shown potential to detect obstructive apnoeic and hypopnoeic events in adults. This study was undertaken to determine the potential of PTT to differentiate responses to upper airway obstruction. 103 obstructive respiratory events occurred in PSG studies performed on 11 children (10 male and 1 female, mean age 7.5years). PTT measurements were evaluated against the corresponding PSG results pre-scored by 2 blinded observers. Broadly, there were 2 types of responses. They can be either short period of rapid PTT decreases (Type 1) or prolonged but gradual PTT decreases (Type 2). Type 1 obstructive events showed a mean change of 51.77% (p

Real-time biosensor for the assessment of nanotoxicity and cancer electrotherapy

Knowledge of cell electronics has led to their integration to medicine either by physically interfacing electronic devices with biological systems or by using electronics for both detection and characterization of biological materials. In this dissertation, an electrical impedance sensor (EIS) was used to measure the electrode surface impedance changes from cell samples of human and environmental toxicity of nanoscale materials in 2D and 3D cell culture models. The impedimetric response of human lung fibroblasts and rainbow trout gill epithelial cells when exposed to various nanomaterials was tested to determine their kinetic effects towards the cells and to demonstrate the biosensor's ability to monitor nanotoxicity in real-time. Further, the EIS allowed rapid, real-time and multi-sample analysis creating a versatile, noninvasive tool that is able to provide quantitative information with respect to alteration in cellular function. We then extended the application of the unique capabilities of the EIS to do real-time analysis of cancer cell response to externally applied alternating electric fields at different intermediate frequencies and low-intensity. Decreases in the growth profiles of the ovarian and breast cancer cells were observed with the application of 200 and 100 kHz, respectively, indicating specific inhibitory effects on dividing cells in culture in contrast to the non-cancerous HUVECs and mammary epithelial cells. We then sought to enhance the effects of the electric field by altering the cancer cell's electronegative membrane properties with HER2 antibody functionalized nanoparticles. An Annexin V/EthD-III assay and zeta potential were performed to determine the cell death mechanism indicating apoptosis and a decrease in zeta potential with the incorporation of the nanoparticles. With more negatively charged HER2-AuNPs attached to the cancer cell membrane, the decrease in membrane potential would thus leave the cells more vulnerable to the detrimental effects of the applied electric field due to the decrease in surface charge. Therefore, by altering the cell membrane potential, one could possibly control the fate of the cell. This whole cell-based biosensor will enhance our understanding of the responsiveness of cancer cells to electric field therapy and demonstrate potential therapeutic opportunities for electric field therapy in the treatment of cancer.

Real-time Biosensor for the Assessment of Nanotoxicity and Cancer Electrotherapy

Knowledge of cell electronics has led to their integration to medicine either by physically interfacing electronic devices with biological systems or by using electronics for both detection and characterization of biological materials. In this dissertation, an electrical impedance sensor (EIS) was used to measure the electrode surface impedance changes from cell samples of human and environmental toxicity of nanoscale materials in 2D and 3D cell culture models. The impedimetric response of human lung fibroblasts and rainbow trout gill epithelial cells when exposed to various nanomaterials was tested to determine their kinetic effects towards the cells and to demonstrate the biosensor’s ability to monitor nanotoxicity in real-time. Further, the EIS allowed rapid, real-time and multi-sample analysis creating a versatile, noninvasive tool that is able to provide quantitative information with respect to alteration in cellular function. We then extended the application of the unique capabilities of the EIS to do real-time analysis of cancer cell response to externally applied alternating electric fields at different intermediate frequencies and low-intensity. Decreases in the growth profiles of the ovarian and breast cancer cells were observed with the application of 200 and 100 kHz, respectively, indicating specific inhibitory effects on dividing cells in culture in contrast to the non-cancerous HUVECs and mammary epithelial cells. We then sought to enhance the effects of the electric field by altering the cancer cell’s electronegative membrane properties with HER2 antibody functionalized nanoparticles. An Annexin V/EthD-III assay and zeta potential were performed to determine the cell death mechanism indicating apoptosis and a decrease in zeta potential with the incorporation of the nanoparticles. With more negatively charged HER2-AuNPs attached to the cancer cell membrane, the decrease in membrane potential would thus leave the cells more vulnerable to the detrimental effects of the applied electric field due to the decrease in surface charge. Therefore, by altering the cell membrane potential, one could possibly control the fate of the cell. This whole cell-based biosensor will enhance our understanding of the responsiveness of cancer cells to electric field therapy and demonstrate potential therapeutic opportunities for electric field therapy in the treatment of cancer.

Real-time anomaly detection of gamma-ray bursts for the Cherenkov Telescope Array using deep learning

The Cherenkov Telescope Array (CTA) will be the next-generation ground-based observatory to study the universe in the very-high-energy domain. The observatory will rely on a Science Alert Generation (SAG) system to analyze the real-time data from the telescopes and generate science alerts. The SAG system will play a crucial role in the search and follow-up of transients from external alerts, enabling multi-wavelength and multi-messenger collaborations. It will maximize the potential for the detection of the rarest phenomena, such as gamma-ray bursts (GRBs), which are the science case for this study. This study presents an anomaly detection method based on deep learning for detecting gamma-ray burst events in real-time. The performance of the proposed method is evaluated and compared against the Li&Ma standard technique in two use cases of serendipitous discoveries and follow-up observations, using short exposure times. The method shows promising results in detecting GRBs and is flexible enough to allow real-time search for transient events on multiple time scales. The method does not assume background nor source models and doe not require a minimum number of photon counts to perform analysis, making it well-suited for real-time analysis. Future improvements involve further tests, relaxing some of the assumptions made in this study as well as post-trials correction of the detection significance. Moreover, the ability to detect other transient classes in different scenarios must be investigated for completeness. The system can be integrated within the SAG system of CTA and deployed on the onsite computing clusters. This would provide valuable insights into the method's performance in a real-world setting and be another valuable tool for discovering new transient events in real-time. Overall, this study makes a significant contribution to the field of astrophysics by demonstrating the effectiveness of deep learning-based anomaly detection techniques for real-time source detection in gamma-ray astronomy.

Estudo da eletrocristalização de Ni e Ni-P sobre ultramicroeletrodo de platina

This work describes a comparative study of the electrocrystallization of Ni and Ni-P on Pt ultramicroelectrodes using chronoamperometric measurements. It was possible to confirm that in all cases a progressive nucleation was the predominant mechanism. Moreover, the application of the Atomistic Theory to the experimental rate of nuclei formation showed that the number of atoms in the critical nucleus was zero, except for Ni-P on Pt at low overpotentials were a value of one was observed. Furthermore, the physical characterisation of the different deposits on Pt by atomic force microscopy allowed observing the coalescence of the hemispherical nuclei of Ni and Ni-P at t max thus confirming the results obtained from the current-time analysis.

Bubbly Flow Structure in Hydraulic Jump

In an open channel, a hydraulic jump is the rapid transition from super- to sub-critical flow associated with strong turbulence and air bubble entrainment in the mixing layer. New experiments were performed at relatively large Reynolds numbers using phase-detection probes. Some new signal analysis provided characteristic air-water time and length scales of the vortical structures advecting the air bubbles in the developing shear flow. An analysis of the longitudinal air-water flow structure suggested little bubble clustering in the mixing layer, although an interparticle arrival time analysis showed some preferential bubble clustering for small bubbles with chord times below 3 ms. Correlation analyses yielded longitudinal air-water time scales Txx*V1/d1 of about 0.8 in average. The transverse integral length scale Z/d1 of the eddies advecting entrained bubbles was typically between 0.25 and 0.4, irrespective of the inflow conditions within the range of the investigations. Overall the findings highlighted the complicated nature of the air-water flow

Timing of rotator cuff activation during shoulder external rotation in throwers with and without symptoms of pain

Study Design: Fine-wire EMG rotator cuff onset time analysis in 2 matched groups of throwers with and without pain. Objective: To identify if there is a difference in the activation patterns of the rotator cuff muscles during a rapid shoulder external rotation task between throwers with and without pain. Background: The coordinated action of the rotator cuff is recognized as essential for glenohumeral joint control in the throwing athlete. Identification of abnormalities occurring in muscle activation patterns for injured athletes is relevant when prescribing rehabilitative exercises. Methods and Measures: Twelve throwers with shoulder pain were compared to a matched group of 11 asymptomatic throwers. Participants were matched for age, height, body mass, and habitual activity. Fine-wire EMG electrodes were inserted into the subscapularis, supraspinatus, and infraspinatus. EMG activity was measured during a reaction time task of rapid shoulder external rotation in a seated position. The timing of onset of EMG activity was analyzed in relation to visualization of a light (reaction time) and to the onset of infraspinatus activity (relative latency). Results: In the group with shoulder pain, the onset of subscapularis activity was found to be significantly delayed (reaction time, P = .0018; relative latency, P = .0005) from the onset of infraspinatus activity when compared to the control group. Conclusions: The presence of shoulder pain in these athletes was associated with a difference in the onset of subscapularis EMG activity during a rapid shoulder external rotation movement. This was an initial step in the understanding of the joint protection mechanisms of the glenohumeral joint and the problems that occur in throwers. This information may assist in providing future guidelines for more effective rehabilitation and prevention strategies for this condition.

On the importance function in splitting simulation

The splitting method is a simulation technique for the estimation of very small probabilities. In this technique, the sample paths are split into multiple copies, at various stages in the simulation. Of vital importance to the efficiency of the method is the Importance Function (IF). This function governs the placement of the thresholds or surfaces at which the paths are split. We derive a characterisation of the optimal IF and show that for multi-dimensional models the natural choice for the IF is usually not optimal. We also show how nearly optimal splitting surfaces can be derived or simulated using reverse time analysis. Our numerical experiments illustrate that by using the optimal IF, one can obtain a significant improvement in simulation efficiency.

Planeamento e balanceamento de uma linha de montagem universal para formação

Este trabalho teve o intuito de criar uma linha de montagem universal através da qual será dada formação aos atuais operadores e a novos que possam vir a pertencer ao departamento de montagem na empresa Grohe Portugal. Para tal era necessário saber realizar um estudo de métodos e um estudo de tempos sobre os vários processos existentes no departamento de montagem. Com esse intuito foi elaborada uma pesquisa sobre as referidas temáticas, onde ficou evidente a sua importância e a sua imprescindibilidade. Inicialmente houve também um acompanhamento das montagens dos produtos nas várias linhas, de forma a adquirir conhecimento sobre as características dos processos de montagem existentes no departamento. Os pontos mais importantes durante o estudo de métodos e tempos realizado foram a definição de toda a estrutura do processo, das ferramentas e materiais a utilizar, não esquecendo a relação entre o operador e as suas ferramentas e a medição de tempos de todas as tarefas necessárias para cada processo de montagem. A linha de montagem, cujo projeto se desenvolveu, é composta por três bancadas e consiste num conjunto de postos de trabalho onde são executadas as operações através de máquinas, do trabalho humano, ou da sua conjugação, dispostos numa determinada sequência, sendo alguns deles amovíveis. Para a realização e conclusão deste projeto foram superadas diversas etapas, sendo que as mais relevantes foram:  a análise dos processos de montagem;  estudo de tempos de todas as famílias de produtos a serem implementados na linha de formação; - Definição da estrutura da linha de montagem; - Definição das rampas e dos tubos de abastecimento da linha; - Desenho da linha de montagem em 3D no software SolidWorks. Paralelamente foram também desenvolvidos estudos de tempos sobre alguns produtos com o intuito de serem implementadas melhorias, ou apenas para o controlo de tempos necessários para a realização das operações Por último, foi também elaborada uma recolha de ferramentas existentes no departamento de montagem para serem elaborados manuais de instruções das ferramentas fabricadas internamente, com o objetivo de obter a certificação OSHAS 180001 e de criar documentos com a listagem de materiais necessários para cada produto.

From task scheduling in single processor environments to message scheduling in a PROFIBUS fieldbus network

In this paper we survey the most relevant results for the prioritybased schedulability analysis of real-time tasks, both for the fixed and dynamic priority assignment schemes. We give emphasis to the worst-case response time analysis in non-preemptive contexts, which is fundamental for the communication schedulability analysis. We define an architecture to support priority-based scheduling of messages at the application process level of a specific fieldbus communication network, the PROFIBUS. The proposed architecture improves the worst-case messages’ response time, overcoming the limitation of the first-come-first-served (FCFS) PROFIBUS queue implementations.

WiDom: a dominance protocol for wireless medium access

In this paper, we address the problem of sharing a wireless channel among a set of sporadic message streams where a message stream issues transmission requests with real-time deadlines. We propose a collision-free wireless medium access control (MAC) protocol which implements static-priority scheduling, supports a large number of priority levels and is fully distributed. It is an adaptation to a wireless channel of the dominance protocol used in the CAN bus. But, unlike that protocol, our protocol does not require a node having the ability to receive an incoming bit from the channel while transmitting to the channel. The evaluation of the protocol with real embedded computing platforms is presented to show that the proposed protocol is in fact collision-free and prioritized. We measure the response times of our implementation and show that the response-time analysis developed for the protocol offers an upper bound on the response times.

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.