Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750

Estágio realizado na Critical Software e orientado pelo Eng.º Ricardo BarbosaTese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 200

The formal verification of generic interpreters

The task assignment 3 of the design and validation of digital flight control systems suitable for fly-by-wire applications is studied. Task 3 is associated with formal verification of embedded systems. In particular, results are presented that provide a methodological approach to microprocessor verification. A hierarchical decomposition strategy for specifying microprocessors is also presented. A theory of generic interpreters is presented that can be used to model microprocessor behavior. The generic interpreter theory abstracts away the details of instruction functionality, leaving a general model of what an interpreter does

Microprocessor Seminar, phase 2

Workshop sessions and papers were devoted to various aspects of microprocessor and large scale integrated circuit technology. Presentations were made on advanced LSI developments for high reliability military and NASA applications. Microprocessor testing techniques were discussed, and test data were presented. High reliability procurement specifications were also discussed

Computer-controlled autonomous model car: A mechatronics project

Mechatronics is a synthesis of mechanical engineering and electronic engineering, and computer engineering, distinct areas that overlap in the design of systems. It represents the interdisciplinary nature of design and development of today\u27s products.;The current research focuses on the design, construction and testing of a computer controlled autonomous model car which can exhibit intelligent behavior such as timed course execution, obstacle detection, and response to sensor inputs. The car is intended as a mechatronics design project that will be integrated into an existing one-semester mechanical engineering undergraduate instrumentation course.;The car was designed around a microprocessor board (Tern Analog Drive) controlled by a 16-bit microcontroller (Tern V104) and equipped with several sensor channels. Two stepper motors were used to propel and guide the car. Photocells were used to detect the path. The control program was written in Turbo C.;The car was tested on a path of reflective white tape about 2 inches wide. The path consists of a 36-inch straight portion followed by a 17-inch radius of curvature curved portion, and completed by a 6-inch straight section with an obstacle at the end. The autonomous car successfully traversed the path and stopped when it detected the obstacle.;It was concluded that a successful mechatronic design project could be developed around the construction and testing of an autonomous car

Automatic Generation of Instruction Sequences for Testing Microprocessors

Coordinated Science Laboratory was formerly known as Control Systems LaboratorySemiconductor Research Corporation / SRC 91-DP-10

Satellite on-board processing for earth resources data

Results of a survey of earth resources user applications and their data requirements, earth resources multispectral scanner sensor technology, and preprocessing algorithms for correcting the sensor outputs and for data bulk reduction are presented along with a candidate data format. Computational requirements required to implement the data analysis algorithms are included along with a review of computer architectures and organizations. Computer architectures capable of handling the algorithm computational requirements are suggested and the environmental effects of an on-board processor discussed. By relating performance parameters to the system requirements of each of the user requirements the feasibility of on-board processing is determined for each user. A tradeoff analysis is performed to determine the sensitivity of results to each of the system parameters. Significant results and conclusions are discussed, and recommendations are presented

Silicon compilation

Silicon compilation is a term used for many different purposes. In this paper we define silicon compilation as a mapping from some higher level description into layout. We define the basic issues in structural and behavioral silicon compilation and some possible solutions to those issues. Finally, we define the concept of an intelligent silicon compiler in which the compiler evaluates the quality of the generated design and attempts to improve it if it is not satisfactory

An empirical evaluation of prediction by partial matching in assembly assistance systems

Industrial assistive systems result from a multidisciplinary effort that integrates IoT (and Industrial IoT), Cognetics, and Artificial Intelligence. This paper evaluates the Prediction by Partial Matching algorithm as a component of an assembly assistance system that supports factory workers, by providing choices for the next manufacturing step. The evaluation of the proposed method was performed on datasets collected within an experiment involving trainees and experienced workers. The goal is to find out which method best suits the datasets in order to be integrated afterwards into our context-aware assistance system. The obtained results show that the Prediction by Partial Matching method presents a significant improvement with respect to the existing Markov predictors

CONTROLLING AND MONITORING OF SERVO MOTOR THROUGH EMBEDDED HTTP SERVER ON ARM BOARD

The positioning of servo motor is controlled by sourcing the servo with PWM signal of varying pulse width. The pulse width of the PWM signal can be manipulated through a web interface hosted on ARM board programmed as an embedded HTTP server where control application by an embedded system can be monitored and managed remotely. Embedded HTTP server network stack is based on modified TCP/IP protocol suite where only important features are used. A web server for user interface is created using HTML and JavaScript is hosted together with the network stack. The ARM board is equipped with RTOS to enable real time control response between the interface and the servo motor. Two tasks namely PWM and TCP/IP task are configured to enable execution from RTOS based on their priorities. Under executions, a slider inside web interface controls the turning of servo motor with the degree of rotation is displayed on the web interface