Interpretation of Microcontroller Code: Intervals Meet Congruences Jörg Brauer, Andy King, Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Portcullis Computer Security Limited, Pinner, UK Abstract Bitwise instructions, loops and indirect data access present challenges to the verification of microcontroller programs. In particular, since registers are often memory...

We propose handling of external real time events through multithreading and describe the microarchitecture of our multithreaded Java microcon troller called Komodo microcontroller Real time Java threads are used as interrupt service threads ISTs instead of interrupt service routines ISRs Our proposed Komodo microcontroller supports multiple ISTs with zero cycle context switching overhead We eva...

This paper presents a new hardware interface using a microcontroller which processes audio music signals to standard MIDI data. A technique for processing music signals by extracting note parameters from music signals is described. An algorithm to convert the voice samples for real-time processing without complex calculations is proposed. A high frequency microcontroller as the main processor i...

PIC 18F series microcontroller is used for control of signals to a specific time using port lines. In this contest we choose the Bicolor LEDs with Red and Green. The colors of the signals are illuminated by programming in the microcontroller. The aim of this paper is to generate three colors on a single traffic light instead of using three different color traffic signal lights. The purpose of t...

This application note discusses some of the hardware and software design decisions and shows how to select external components for a multi-cell Li-ion battery pack using a microcontroller and the ISL9208 analog front end. A microcontroller provides the primary control of the operation of the battery pack. However, several factors in the multi-cell series Li-ion pack require the use of circuitry...

This paper describes an integrating hardware and software ensemble for the development of microcontroller-based computer numerical control system. The discuss is focused on design and implementation of the communication between the PC and a numerical control machine. Among topics covered are: the C#/.NET serial port programming, and further, how to create a Windows application for sending, trou...

The use of microcontrollers in beginning programming classes has been found to increase student learning and enthusiasm. Microcontroller programming has been successfully used in advanced undergraduate courses as a way to reinforce previous learning and to practice design, and in beginning undergraduate courses to introduce basic programming concepts in an engaging and relevant manner. Based on...

This paper describes the development of a heart beat monitor system based on a microcontroller. The paper explains how a single-chip microcontroller can be usedto analyze heart beat rate in real-time. In addition, it allows doctors to get the heart beat and location of the patient by GSM every twenty four hours. It can also be used to control patients or athletic person over a long period. The ...

In this paper, the configurable microcontroller array based on the i8051 processor unit (PU) architecture is proposed. The use of well-known PU architecture simplifies the application programming. The designed microcontroller PU core has in 6 times higher instruction implementation speed, and in more than 2.5 times clock frequency than the original microcontroller. The proposed technique of map...