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.

Ecological Foot Print Analysis-A Sustainable Environmental Management Tool for Kochi City

Kochi, the commercial capital of Kerala and the second most important city next to Mumbai on the Western coast of India, is a land having a wide variety of residential environments. The present pattern of the city can be classified as that of haphazard growth with typical problems characteristics of unplanned urban development. This trend can be ascribed to rapid population growth, our changing lifestyles, food habits, and change in living standards, institutional weaknesses, improper choice of technology and public apathy. Ecological footprint analysis (EFA) is a quantitative tool that represents the ecological load imposed on the earth by humans in spatial terms. This paper analyses the scope of EFA as a sustainable environmental management tool for Kochi City

Sustainable Development through the Environment Management Tool Ecological Footprint Analysis – A Study in Kochi City, India

In the past, natural resources were plentiful and people were scarce. But the situation is rapidly reversing. Our challenge is to find a way to balance human consumption and nature’s limited productivity in order to ensure that our communities are sustainable locally, regionally and globally. Kochi, the commercial capital of Kerala, South India and the second most important city next to Mumbai on the Western coast is a land having a wide variety of residential environments. Due to rapid population growth, changing lifestyles, food habits and living standards, institutional weaknesses, improper choice of technology and public apathy, the present pattern of the city can be classified as that of haphazard growth with typical problems characteristics of unplanned urban development. Ecological Footprint Analysis (EFA) is physical accounting method, developed by William Rees and M. Wackernagel, focusing on land appropriation using land as its “currency”. It provides a means for measuring and communicating human induced environmental impacts upon the planet. The aim of applying EFA to Kochi city is to quantify the consumption and waste generation of a population and to compare it with the existing biocapacity. By quantifying the ecological footprint we can formulate strategies to reduce the footprint and there by having a sustainable living. In this paper, an attempt is made to explore the tool Ecological Footprint Analysis and calculate and analyse the ecological footprint of the residential areas of Kochi city. The paper also discusses and analyses the waste footprint of the city. An attempt is also made to suggest strategies to reduce the footprint thereby making the city sustainable

Consumption Expenditure Pattern of Scheduled Caste Households of Kerala: a Study of Idukki District

The present study made an attempt to analyze the socio-economic background and the consumption pattern of scheduled caste households in Idukki district. The objectives of the study are to examine consumption pattern among the scheduled cast population, differences in the average consumption expenditure of different decile groups, consumption expenditure elasticity of items, variations in expenditure of SC households on food, non-food and total expenditure and to examine the association between consumption expenditure and variables such as income, education, occupation and area of residence. The study reveals that the Monthly Per Capita Expenditure of scheduled castes population in rural Kerala is lower than that of the general population. Average household size is higher in rural sector for Scheduled Caste in Kerala as well as all-India. The per capita expenditure of Scheduled Castes of rural Kerala is found to be much lower than that of general population. The study has found that the levels of livings of the Scheduled Castes are far the below the expectations. Large percentage of the Scheduled Caste belongs to the lower income groups. This is due their very low economic status and the consequent employment prospects in low paying occupations. The consumption standards of the majority of Scheduled Castes are found much below that of General population. Effective implementation of the Schemes for their economic upliftment is needed for improving their consumption standards, Minimum Wage Act in the case of agricultural labourers etc. are some of recommendations on the basis of this study.

Array pattern nulling by element position perturbations using a genetic algorithm

A genetic algorithm has been used for null steering in phased and adaptive arrays . It has been shown that it is possible to steer the array null s precisely to the required interference directions and to achieve any prescribed null depths . A comparison with the results obtained from the analytic solution shows the advantages of using the genetic algorithm for null steering in linear array patterns

Comparison Study of Pattern Synthesis Techniques Using Neural Networks

In this paper, a comparison study among three neuralnetwork algorithms for the synthesis of array patterns is presented. The neural networks are used to estimate the array elements' excitations for an arbitrary pattern. The architecture of the neural networks is discussed and simulation results are presented. Two new neural networks, based on radial basis functions (RBFs) and wavelet neural networks (WNNs), are introduced. The proposed networks offer a more efficient synthesis procedure, as compared to other available techniques

STUDIES ON HAEMOLYMPH CONSTITUENTS OF INDOPLANORBIS EXUSTUS (DESHAYES) AND LYMNAEA ACUMINATA (LAMARCK) F.RUFESCENS (GRAY) AND THE EFFECTS OF COPPER ON THE ACTIVITY PATTERN OF SELECTED TRANSAMINASES AND PHOSPHATASES

The problem investigated is on the haematological aspects of two freshwater pulmonate snails, Indoplanorbis exustus (Deshayes),and Lymnaea acuminata f.rufescens (Gray). An important aspect of the present investigation is to emphasize the utilization of freshwater organisms as models for research directed at understanding the basic biomedical problems that remain unresolved. Another aspect is to demonstrate how haemolymph can be treated as a tissue because of late, it has been shown that several parameters of blood can be taken as reliable indicators for diagnostic purposes, and also to monitor environmental pollution. The various haematological parameters studied are total haemocyte number,packed cell volume, haemoglobin, and inorganic as well organic constituents in three size groups of both the snail species. The effect of copper toxicity was measured in terms of total haemocyte count, and the activity pattern of selected phosphatases and transaminases.The study concluded that enzyme activity levels can be taken as reliable indicators to monitor pollution. Age is a factor that determines several of the physiological, biochemical and metabolic activities. This study also indicates that haemolymph can be taken as an organ system to study the various changes taking place at organ systems levels.

STUDIES ON HAEMOLYMPH CONSTITUENTS OF PILA VIRENS (LAMARCK) AND THE EFFECTS OF PESTICIDES ON THE ACTIVITY PATTERN OF SELECTED ENZYMES

The present study is an attempt to understand the physiological responses of a freshwater gastropod, in terms of haematological parameters, in normal conditions as well as in various natural and man made altered conditions of the environment.Pila virens, a freshwater prosobranch,commonly found in paddy fields, ponds, and streams of Kerala is selected as the test animal for the present investigation. Various haemolymph constituents such as total carbohydrate, glycogen, total protein, total lipid, urea,ammonia,sodium,potasium, calcium, and chloride which are directly involved in the control and maintenance of different physiological systems, were analysed in the present study. Selected haematological parameters like total haemocyte number, and packed cell volume were also determined. Besides , the activity pattern of selected haemolymph enzymes such as acid phosphatase (ACP), alkaline phosphatase (ALP),Glutamate-oxaloacetate transaminase (GOT), and glutamate-pyruvate transaminase (GPT), all having diagnostic value in terms of internal defence system and metabolism of the organism, were also studied.

INDIAN AND ANTARCTIC BRYOZOANS - TAXONOMY AND OBSERVATIONS ON TOXICOLOGY

This thesis embodies findings on a taxonomical investigation of a group of lower marine invertebrates belonging to the category coelomata. Bryozoans are well known both in fossil and recent taxonomical history. They comprise of about 5,000 living and 16000 fossil species. Bryozoans are well known for their taxonomic abundance and structural diversity,representing the various ecological niches ranging from the intertidal to the abyssal benthic. At a time when global marine biological diversity has become a concern of not only to the scientists but also to the policy makers,an understanding of species diversity and abundance are cardinal aspects of biological studies. Geological time scales which is known that by Pre-Cambrian, marine invertebrate diversity reach the maximum and this diversity has become more comprehensive as time advanced. Taxonomists a vanishing species of scientists have become more concerned in discerning patterns of species diversity. The basic tool for this is identification fo animals. with this idea in mind a detailed study of taxonomy of bryozoan was undertaken . The major part of this thesis is devoted to describe various species of bryozoans with detailed description and ecotypical variations.The pattern of distribution and abundance which are important aspects of animal groups have also been documented. Possible effects of heavy metal contamination on the tolerance and growth of bryozoans, a few species of which have been eliminated from the chronically polluted areas of Cochin backwaters have also been documented.

INVESTIGATIONS ON SLOT-LOADED SQUARE MICROSTRIP PATCH ANTENNAS FOR COMPACT DUAL FREQUENCY DUAL POLARIZED OPERATIONS

The thesis is the outcome of the experimental and theoretical investigations carried out on a novel slotted microstrip antenna.The antenna excites two resonance frequencies and provides orthogonal polarization. The radiation characteristics of the antenna are studied in detail. The antenna design is optimized using IE3D electromagnetic simulation tool. The frequency-Difference Time-Domain (FDTD) method is employed for the analysis of the antenna.The antenna can be used for personal and satellite communication applications.

PSWT Based Linear Predictive Coding and Development of a Parallel Multiple Subsequence Structure for DWT Computation

During 1990's the Wavelet Transform emerged as an important signal processing tool with potential applications in time-frequency analysis and non-stationary signal processing.Wavelets have gained popularity in broad range of disciplines like signal/image compression, medical diagnostics, boundary value problems, geophysical signal processing, statistical signal processing,pattern recognition,underwater acoustics etc.In 1993, G. Evangelista introduced the Pitch- synchronous Wavelet Transform, which is particularly suited for pseudo-periodic signal processing.The work presented in this thesis mainly concentrates on two interrelated topics in signal processing,viz. the Wavelet Transform based signal compression and the computation of Discrete Wavelet Transform. A new compression scheme is described in which the Pitch-Synchronous Wavelet Transform technique is combined with the popular linear Predictive Coding method for pseudo-periodic signal processing. Subsequently,A novel Parallel Multiple Subsequence structure is presented for the efficient computation of Wavelet Transform. Case studies also presented to highlight the potential applications.

Mathematical Modelling of the Dynamics of Granular Materials in a Rotating Cylinder

The current study is aimed at the development of a theoretical simulation tool based on Discrete Element Method (DEM) to 'interpret granular dynamics of solid bed in the cross section of the horizontal rotating cylinder at the microscopic level and subsequently apply this model to establish the transition behaviour, mixing and segregation.The simulation of the granular motion developed in this work is based on solving Newton's equation of motion for each particle in the granular bed subjected to the collisional forces, external forces and boundary forces. At every instant of time, the forces are tracked and the positions velocities and accelarations of each partcle is The software code for this simulation is written in VISUAL FORTRAN 90 After checking the validity of the code with special tests, it is used to investigate the transition behaviour of granular solids motion in the cross section of a rotating cylinder for various rotational speeds and fill fraction.This work is hence directed towards a theoretical investigation based on Discrete Element Method (DEM) of the motion of granular solids in the radial direction of the horizontal cylinder to elucidate the relationship between the operating parameters of the rotating cylinder geometry and physical properties ofthe granular solid.The operating parameters of the rotating cylinder include the various rotational velocities of the cylinder and volumetric fill. The physical properties of the granular solids include particle sizes, densities, stiffness coefficients, and coefficient of friction Further the work highlights the fundamental basis for the important phenomena of the system namely; (i) the different modes of solids motion observed in a transverse crosssection of the rotating cylinder for various rotational speeds, (ii) the radial mixing of the granular solid in terms of active layer depth (iii) rate coefficient of mixing as well as the transition behaviour in terms of the bed turnover time and rotational speed and (iv) the segregation mechanisms resulting from differences in the size and density of particles.The transition behaviour involving its six different modes of motion of the granular solid bed is quantified in terms of Froude number and the results obtained are validated with experimental and theoretical results reported in the literature The transition from slumping to rolling mode is quantified using the bed turnover time and a linear relationship is established between the bed turn over time and the inverse of the rotational speed of the cylinder as predicted by Davidson et al. [2000]. The effect of the rotational speed, fill fraction and coefficient of friction on the dynamic angle of repose are presented and discussed. The variation of active layer depth with respect to fill fraction and rotational speed have been investigated. The results obtained through simulation are compared with the experimental results reported by Van Puyvelde et. at. [2000] and Ding et at. [2002].The theoretical model has been further extended, to study the rmxmg and segregation in the transverse direction for different particle sizes and their size ratios. The effect of fill fraction and rotational speed on the transverse mixing behaviour is presented in the form of a mixing index and mixing kinetics curve. The segregation pattern obtained by the simulation of the granular solid bed with respect to the rotational speed of the cylinder is presented both in graphical and numerical forms. The segregation behaviour of the granular solid bed with respect to particle size, density and volume fraction of particle size has been investigated. Several important macro parameters characterising segregation such as mixing index, percolation index and segregation index have been derived from the simulation tool based on first principles developed in this work.