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.

Image Denoising Using Sure-Based Adaptive Thresholding In Directionlet Domain

The standard separable two dimensional wavelet transform has achieved a great success in image denoising applications due to its sparse representation of images. However it fails to capture efficiently the anisotropic geometric structures like edges and contours in images as they intersect too many wavelet basis functions and lead to a non-sparse representation. In this paper a novel de-noising scheme based on multi directional and anisotropic wavelet transform called directionlet is presented. The image denoising in wavelet domain has been extended to the directionlet domain to make the image features to concentrate on fewer coefficients so that more effective thresholding is possible. The image is first segmented and the dominant direction of each segment is identified to make a directional map. Then according to the directional map, the directionlet transform is taken along the dominant direction of the selected segment. The decomposed images with directional energy are used for scale dependent subband adaptive optimal threshold computation based on SURE risk. This threshold is then applied to the sub-bands except the LLL subband. The threshold corrected sub-bands with the unprocessed first sub-band (LLL) are given as input to the inverse directionlet algorithm for getting the de-noised image. Experimental results show that the proposed method outperforms the standard wavelet-based denoising methods in terms of numeric and visual quality

Studies on some supported transition metal complex and metal oxide catalysts for oxidation reactions

Zeolite encapsulated transition metal complexes have received wide attention as an effective heterogenized system that combines the tremendous activity of the metal complexes and the attractive features of the zeolite structure. Zeolite encapsulated complexes offer a bright future for attempts to replace homogeneous systems retaining its catalytic activity and minimizing the technical problems. especially for the partial oxidation of organic compounds. Studies on some zeolite encapsulated transition metal complexes are presented in this thesis. The ligands selected are technically important in a bio-mimetic or structural perspective. Attempts have been made in this study to investigate the composition, structure and stability of encapsulated complexes using available techniques. The catalytic activity of encapsulated complexes was evaluated for the oxidation of some organic compounds. The recycling ability of the catalyst as a result of the encapsulation was also studied.Our studies on Cu-Cr/Al2O3, a typical metal oxide catalyst. illustrate the use of design techniques to modify the properties of such conventional catalysts. The catalytic activity of this catalyst for the oxidation of carbon monoxide was measured. The effect of additives like Ce02 or Ti02 on the activity and stability of this system was also investigated. The additive is potent to improve the activity and stability ofthe catalyst so as to be more effective in commercial usage.

Studies on Energy Requirement and Conservation in Selected Fish Harvesting Systems

Present work deals with the studies on energy requirement and convervation in selected fish harvesting systems.Modem fishing is one of the most energy intensive methods of food production. Fossil fuels used for motorised and mechanised fishing are nonrenewable and limited. Most of the environmental problems that confront mankind today are connected to the use of energy in one way or another. Code of Conduct for Responsible Fisheries (FAO, 1995) highlights the need for efficient use of energy in the fisheries sector. Information on energy requirement in different fish harvesting systems, based on the principles of energy analysis, is entirely lacking in respect of Indian fisheries. Such an analysis will provide an unbiased decision making support for maximising the yield per unit of non-renewable energy use, from different fishery resource systems, by rational deployment of harvesting systems. In the present study, results of investigations conducted during 1997-2000 on energy requirement in selected fish harvesting systems and approaches to energy conservation in fishing, are presented along with a detailed description of the fish harvesting systems and their operation. The content of the thesis is organised into 8 Chapters.

Management of Higher Educational Institutions in Kerala

Economists consider education as an investment in man. Education develops human resources necessary for the economic and political growth of any nation. Adam Smith stressed the importance of education and included the acquired and useful activities of all the inhabitants or members of society in his concept of fixed capital.‘ Karl Marx shared with Smith's view when he laid down that the function of education in a socialist society will be to overcome the alienation of the worker from the means of production; while developing the technical skill it will make him a complete man as well as a producer.2 Education is also considered as a powerful instrument for social change. By inculcating moral and spiritual values, it brings changes both in the individual and in the society. It aims at creating a social order founded on the values of freedom, social justice and equal opportunity.3 The objective of this exploratory study is to enquire into the existing system of managing higher educational institutions in Kerala, compare it with the accepted principles of management believed to be applicable to all organisations, and develop a model capable of introducing more effective management practices

Studies on Catalysis by Nano Titania Modified with Metals and Nonmetals

Semiconductor photocatalysis has received much attention during last three decades as a promising solution for both energy generation and environmental problems. Heterogeneous photocatalytic oxidation allows the degradation of organic compounds into carbon dioxide and water in the presence of a semiconductor catalyst and UV light source. The •OH radicals formed during the photocatalytic processes are powerful oxidizing agents and can mineralise a number of organic contaminants. Titanium dioxide (TiO2), due to its chemical stability, non-toxicity and low cost represents one of the most efficient photocatalyst. However, only the ultraviolet fraction of the solar radiation is active in the photoexcitation processes using pure TiO2 and although, TiO2 can treat a wide range of organic pollutants the effectiveness of the process for pollution abatement is still low. A more effective and efficient catalyst therefore must be formulated. Doping of TiO2 was considered with the aim of improving photocatalytic properties. In this study TiO2 catalyst was prepared using the sol-gel method. Metal and nonmetal doped TiO2 catalysts were prepared. The photoactivity of the catalyst was evaluated by the photodegradation of different dyes and pesticides in aqueous solution. High photocatalytic degradation of all the pollutants was observed with doped TiO2. Structural and optical properties of the catalysts were characterized using XRD, BET surface area, UV-Vis. DRS, CHNS analysis, SEM, EDX, TEM, XPS, FTIR and TG. All the catalysts showed the anatase phase. The presence of dopants shifts the absorption of TiO2 into the visible region indicating the possibility of using visible light for photocatalytic processes.

Characterization of Bacteriocins from Bacillus licheniformis strain BTHT8 and Bacillus subtilis strain BTFK101 isolated from marine sediment

Pathogenic microorganisms such as Bacillus cereus, Listeria Monocytogenes and Staphylococcus sp have caused serious diseases, and consequently contributed to considerable economic loss in the food and agricultural industries. Antibiotics have been practically used to treat these pathogens since penicillin G was discovered more than half a century ago. Many different types of antibiotics have been discovered or synthesized to control pathogenic microorganisms. Repetitive use and misuse of antibiotics by the agricultural and pharmaceutical industries have caused the emergence of multidrug-resistant microorganisms, even to the strongest antibiotics currently available; therefore, the rapid development of more effective antimicrobial compounds is required to keep pace with demand. Bacteria were isolated from marine water and sediment samples collected from various locations off the coast of Cochin and salt pans of Tuticorin using pour plate technique. One hundred and twelve isolates were obtained. Seventeen isolates exhibiting antimicrobial activity were segregated after primary screening. The secondary screening which was aimed at selection of bacteria that produce proteinaceous inhibitory compounds, helped to select five strains viz. BTFK101, BTHT8, BTKM4, BTEK16 and BTSB22. The five isolates inhibited the growth of six Gram positive test organisms viz. B. cereus, B. circulans, B. coagulans, B. pumilus, Staphylococcus aureus and Clostridium perfringens. After quantitative estimation of the bacteriocin production, the two strains BTFK101 and BTHT8 were selected for further study.