An Error-Localization, Validation and Optimization Tool for Embedded Code Augmentation: an Architecture Oriented Approach

Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.Embedded systems are usually designed for a single or a specified set of tasks. This specificity means the system design as well as its hardware/software development can be highly optimized. Embedded software must meet the requirements such as high reliability operation on resource-constrained platforms, real time constraints and rapid development. This necessitates the adoption of static machine codes analysis tools running on a host machine for the validation and optimization of embedded system codes, which can help meet all of these goals. This could significantly augment the software quality and is still a challenging field.This dissertation contributes to an architecture oriented code validation, error localization and optimization technique assisting the embedded system designer in software debugging, to make it more effective at early detection of software bugs that are otherwise hard to detect, using the static analysis of machine codes. The focus of this work is to develop methods that automatically localize faults as well as optimize the code and thus improve the debugging process as well as quality of the code.Validation is done with the help of rules of inferences formulated for the target processor. The rules govern the occurrence of illegitimate/out of place instructions and code sequences for executing the computational and integrated peripheral functions. The stipulated rules are encoded in propositional logic formulae and their compliance is tested individually in all possible execution paths of the application programs. An incorrect sequence of machine code pattern is identified using slicing techniques on the control flow graph generated from the machine code.An algorithm to assist the compiler to eliminate the redundant bank switching codes and decide on optimum data allocation to banked memory resulting in minimum number of bank switching codes in embedded system software is proposed. A relation matrix and a state transition diagram formed for the active memory bank state transition corresponding to each bank selection instruction is used for the detection of redundant codes. Instances of code redundancy based on the stipulated rules for the target processor are identified.This validation and optimization tool can be integrated to the system development environment. It is a novel approach independent of compiler/assembler, applicable to a wide range of processors once appropriate rules are formulated. Program states are identified mainly with machine code pattern, which drastically reduces the state space creation contributing to an improved state-of-the-art model checking. Though the technique described is general, the implementation is architecture oriented, and hence the feasibility study is conducted on PIC16F87X microcontrollers. The proposed tool will be very useful in steering novices towards correct use of difficult microcontroller features in developing embedded systems.

RRNS-convolutional encoded concatenated code for OFDM based wireless communication

The modern telecommunication industry demands higher capacity networks with high data rate. Orthogonal frequency division multiplexing (OFDM) is a promising technique for high data rate wireless communications at reasonable complexity in wireless channels. OFDM has been adopted for many types of wireless systems like wireless local area networks such as IEEE 802.11a, and digital audio/video broadcasting (DAB/DVB). The proposed research focuses on a concatenated coding scheme that improve the performance of OFDM based wireless communications. It uses a Redundant Residue Number System (RRNS) code as the outer code and a convolutional code as the inner code. The bit error rate (BER) performances of the proposed system under different channel conditions are investigated. These include the effect of additive white Gaussian noise (AWGN), multipath delay spread, peak power clipping and frame start synchronization error. The simulation results show that the proposed RRNS-Convolutional concatenated coding (RCCC) scheme provides significant improvement in the system performance by exploiting the inherent properties of RRNS.

Code clones in program test sequence identification

Code clones are portions of source code which are similar to the original program code. The presence of code clones is considered as a bad feature of software as the maintenance of software becomes difficult due to the presence of code clones. Methods for code clone detection have gained immense significance in the last few years as they play a significant role in engineering applications such as analysis of program code, program understanding, plagiarism detection, error detection, code compaction and many more similar tasks. Despite of all these facts, several features of code clones if properly utilized can make software development process easier. In this work, we have pointed out such a feature of code clones which highlight the relevance of code clones in test sequence identification. Here program slicing is used in code clone detection. In addition, a classification of code clones is presented and the benefit of using program slicing in code clone detection is also mentioned in this work.

Offline Handwritten Malayalam Character Recognition Based on Chain Code Histogram

Optical Character Recognition plays an important role in Digital Image Processing and Pattern Recognition. Even though ambient study had been performed on foreign languages like Chinese and Japanese, effort on Indian script is still immature. OCR in Malayalam language is more complex as it is enriched with largest number of characters among all Indian languages. The challenge of recognition of characters is even high in handwritten domain, due to the varying writing style of each individual. In this paper we propose a system for recognition of offline handwritten Malayalam vowels. The proposed method uses Chain code and Image Centroid for the purpose of extracting features and a two layer feed forward network with scaled conjugate gradient for classification

Face Detection in Still Gray Images

We present a trainable system for detecting frontal and near-frontal views of faces in still gray images using Support Vector Machines (SVMs). We first consider the problem of detecting the whole face pattern by a single SVM classifer. In this context we compare different types of image features, present and evaluate a new method for reducing the number of features and discuss practical issues concerning the parameterization of SVMs and the selection of training data. The second part of the paper describes a component-based method for face detection consisting of a two-level hierarchy of SVM classifers. On the first level, component classifers independently detect components of a face, such as the eyes, the nose, and the mouth. On the second level, a single classifer checks if the geometrical configuration of the detected components in the image matches a geometrical model of a face.

Matlab Code for Modulators

Considers Sampling, Pulse Amplitude Modulation, Multiple Access, Quantisation, Pulse Coded Modulation, Manchester Line Coding, Amplitude Modulation, Double SideBand Suppressed Carrier Modulation, Quadrature Amplitude Modulation and M-ary Shift Keying.

Matlab Code for Entropy Coding

Considers Huffman coding and arithmetic coding

eHandbook-eFolio Module Import code

Code required to perform an import of module information from eFolio and output it into a single page. Within the context of eHandbook: this page is called via an iFrame to display module information as part of the handbook (and to avoid any duplication of content).

Safety information and dress code for practical sessions

This resource is for Health Scientists

COMP1205 LEPP: BCS Code of Conduct

Notes, slides, links

El círculo Darwin' : Lyell, Hooker, Gray y Huxley.

Resumen tomado de la publicación

Validación española del Modelo de Gray de relatos sociales en una muestra de alumnos del espectro autista.

El objetivo del proyecto es averiguar si los alumnos autistas se pueden beneficiar del seguimiento del programa de relatos sociales específicos para personas con autismo de Carol Gray. Otros objetivos son adaptar al español estos materiales didácticos; y ofrecer una primera validación de este método con una muestra de alumnos de autismo de la Asociación Nuevo Horizonte y observar las mejoras alcanzadas en el ámbito de competencia social y de las relaciones interpersonales. El profesorado participa de forma activa en la validación de un nuevo instrumento psicopedagógico. En cuanto a la metodología, se adquiere la batería de intervención en Estados Unidos; se realiza un seminario en el que se explica el funcionamiento del proyecto; se nombra una Comisión redactora del Proyecto integrada por los profesores del Centro; se entregan los materiales a la Comisión y se traducen; se redacta un protocolo de intervención pedagógica y se aplica el programa a una muestra de alumnos. Las actividades consisten en la adquisición de la batería de relatos sociales y en la traducción al castellano del material 'My Social Stories Book' y 'The New Social Store Book', con el propósito de elaborar una muestra de relatos sociales adaptados al medio cultural español y al entorno de los alumnos con autismo para enseñarles cómo comportarse adecuadamente. Finalmente, los resultados obtenidos se publicarán en una revista especializada.

¿Puedo tener un code-switching? : codeswitching en estudiantes de doctorado enseñando cursos de español lengua extranjera.

Memoria de máster (Universidad de Texas, 2010). Resumen basado en el de la publicación

"Au-delà du code civil mais par le code civil". Raymond Saleilles (1855-1912) y la lucha por el derecho comparado

Raymond Saleilles (1855-1912) és considerat pels comparatistes com pare del dret comparat modern. De fet fou el màxim responsable de l'organització del primer congrés internacional de dret comparat a París el 1900. L'època marcada per la internacionalització dels intercanvis, la crisi del mètode jurídic francès i el repte de la codificació alemanya i suïssa motivà alguns juristes a buscar noves formes d'estudiar el dret. Saleilles defensava pel dret comparat un mètode, un objecte i un fi propis i autònoms diferents dels que fins ara tenien la dogmàtica jurídica o l'estudi de la legislació estrangera. El mètode tenia els seus fonaments en la sociologia i la història. L'objectiu del dret comparat havia de ser la construcció d'un ideal "droit commun de l'humanité civilisée". Aquest dret comú havia de ser construït no només per la doctrina sinó també per la jurisprudència i el legislador.