Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Microcontrolled pyro-electric instrument for measuring X-ray intensity in mammography

A novel instrument for measurement of X-ray intensity from mammography consists of a sensitive pyro-electric detector, a high-sensitivity, low-noise current-to-voltage converter, a microcontroller and a digital display. The heart of this device, and what makes it unique is the pyro-electric detector, which measures radiation by converting heat from absorbed incident X-rays into an electric current. This current is then converted to a voltage and digitised. The detector consists of a ferro-electric crystal; two types were tested; lithium tantalate and lithium niobate. X-ray measurement in mammography is challenging because of its relatively low photon energy range, from 11 keV to 15 keV equivalent mean energy, corresponding to a peak tube potential from 22 to 36 kV. Consequently, energy fluence rate or intensity is low compared with that of common diagnostic X-ray. The instrument is capable of measuring intensities as low as 0.25 mWm -2 with precision greater than 99%. Not only was the instrument capable of performing in the clinical environment, with high background electromagnetic interference and vibration, but its performance was not degraded after being subjected to 140 roentgen (3.6 × 10 -2 C kg -2 air) as measured by piezo-electric (d 33) or pyro-electric coefficients. © IFMBE 2005.

The electronic detail of a digital pH-meter

This paperwork presents the complete circuitry used to build a microcontroller-based pH-meter. Key control software is also discussed. An industry-standard glass combination electrode has been employed for pH detection. Electrode parameter extraction procedure is presented. Good measurement results, with 1 % error, have been attained. Copyright© (2006) by the International Measurement Federation (IMEKO).

Low-cost PWM speed controller for an electric mini-baja type vehicle

This paperwork presents a Pulse Width Modulation (PWM) speed controller for an electric mini-baja-type car. A battery-fed 1-kW three-phase induction motor provides the electric vehicle traction. The open-loop speed control is implemented with an equal voltage/frequency ratio, in order to maintain a constant amount of torque on all velocities. The PWM is implemented by a low-cost 8-bit microcontroller provided with optimized ROM charts for distinct speed value implementations, synchronized transition between different charts and reduced odd harmonics generation. This technique was implemented using a single passenger mini-baja vehicle, and the essays have shown that its application resulted on reduced current consumption, besides eliminating mechanical parts. Copyright © 2007 by ABCM.

Electro-hydraulic actuator tester for fly-by-wire aircrafts

An 8051-based microcontroller tester has been designed to reduce troubleshooting time of the Electro-Hydraulic Actuators (EHA) installed in fly-by-wire aircrafts. The tester algorithm first evaluates EHA pressure and position sensor signals to emit either a pass or fail message. The evaluation is based on predefined ranges of EHA pressure and position signals. Next, the instrument tests the EHA response capability - a way of dynamic response evaluation, again issuing a suitable response. The instrument proved to be reliable after being successfully evaluated in laboratory and in a real model test airplane. © 2007 IEEE.

Measurement of orthovoltage X-ray intensity with a lithium niobate transducer

A microcontrolled instrument for measuring the energy fluence rate (or intensity) of X-ray pulses in the orthovoltage range of 120 to 300 kV is described. The prototype instrument consists of a pyroelectric sensor, a low-noise highsensitivity current-to-voltage converter, a microcontroller and a digital display. The response of the instrument is nonlinear with the intensity of the radiation. The precision is better than 3%. The equipment is inexpensive, rugged, simple to construct and has good long-term stability. © 2009 Springer-Verlag.

Automatic code generation for microcontrollers from place-transition Petri net models

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

Unveiling fieldbus network technology through project-based learning

Fieldbus communications networks are a fundamental part of modern industrial automation technique. This paperwork presents an application of project-based learning (PBL) paradigm to help electrical engineering students grasp the major concepts of fieldbus networks, while attending a one-term long, elective microcontroller course. © 2012 IEEE.

A new microcontrolled structural health monitoring system based on the electromechanical impedance principle

This article presents a new method to detect damage in structures based on the electromechanical impedance principle. The system follows the variations in the output voltage of piezoelectric transducers and does not compute the impedance itself. The proposed system is portable, autonomous, versatile, and could efficiently replace commercial instruments in different structural health monitoring applications. The identification of damage is performed by simply comparing the variations of root mean square voltage from response signals of piezoelectric transducers, such as lead zirconate titanate patches bonded to the structure, obtained for different frequencies of the excitation signal. The proposed system is not limited by the sampling rate of analog-to-digital converters, dispenses Fourier transform algorithms, and does not require a computer for processing, operating autonomously. A low-cost prototype based on microcontroller and digital synthesizer was built, and experiments were carried out on an aluminum structure and excellent results have been obtained. © The Author(s) 2012.

Design and development of a low-cost solar tracker

To become competitive, ultimately, photovoltaics should have its costs reduced and use photovoltaic systems of greater efficiency. The main steps in this direction are the use of new materials, the improvement in the manufacture of modules and the adoption of techniques of maximum power point tracking and of solar tracking. This article aims at presenting the project and development of an azimuth and elevation solar tracker, based on a new conception of the positioning sensor, composed of an array of four photoresistors. The two direct current motors that operate in the vertical and horizontal axes are controlled by a proportional-integral microcontroller. The conditions of the project were low cost, small energy consumption and versatility. The microcontroller can also incorporate a maximum power point tracking algorithm. The performance of solar tracker prototype in the initial phase of field tests can be considered appropriate. © Institution of Engineers Australia, 2013.

Desenvolvimento e implementação de um sistema de controle de posição e velocidade de uma esteira transportadora usando inversor de frequência e microcontrolador

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Plataforma de força para aplicações biomédicas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento e implementação de um sistema para detecção de falhas em estruturas usando microcontrolador

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Dinamômetro biomédico para avaliação funcional das mãos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Implementação de um controlador PID embarcado para o controle em malha fechada de um estimulador neuromuscular funcional

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)