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.

Self-assembled Transition Metal Coordination Frameworks of Carbohydrazone and Thiocarbohydrazone Ligands: Structural, Spectral, Magnetic and Anticancer Properties

Chemistry occupies a unique middle position in the scientific arena, between physics and mathematics on the one side and biology, ecology, sociology and economics on the other [1]. Chemistry is the science of matter and of its transformations, and life is its highest expression [2]. According to reductionist thinking biology is reducible into chemistry, chemistry into physics, and ultimately physics into mathematics. Reductionism implies the ease of understanding one level in terms of another.The work presented this thesis comprises synthesis and characterization of suitably substituted thiocarbohydrazone and carbohydrazone ligand building blocks, self-assembled metallosupramolecular square grid complexes as well as some di/multinuclear complexes. The primary aim was the deliberate syntheses of some novel transition metal framework complexes, mainly metallosupramolecular coordination square grids by self-assembly and their physico-chemical characterization. The work presented, however, also include synthesis and characterization of four mononuclear Ni(II) complexes of two thiosemicarbazones, which we carried out as a preliminary and supporting study. Based on the present work we would like to conclude that the carbohydrazones, thiocarbohydrazones and their coordination framework complexes of transition metals are promising systems for wide application in science and technology varied from physics to biotechnology. Novel classes of materials and biologically important potential compounds open up further scope of researches and we hopefully welcome any sort of related research to make this work more valuable.

Stochastic Inventory with/without Service Time, Reneging and Retrial of Customers

This thesis Entitled Stochastic modelling and analysis.This thesis is divided into six chapters including this introductory chapter. In second chapter, we consider an (s,S) inventory model with service, reneging of customers and finite shortage of items.In the third chapter, we consider an (s,S) inventoiy system with retrial of customers. Arrival of customers forms a Poisson process with rate. When the inventory level depletes to s due to demands, an order for replenishment is placed.In Chapter 4, we analyze and compare three (s,S) inventory systems with positive service time and retrial of customers. In all these systems, arrivals of customers form a Poisson process and service times are exponentially distributed. In chapter 5, we analyze and compare three production inventory systems with positive service time and retrial of customers. In all these systems, arrivals of customers form a Poisson process and service times are exponentially distributed.In chapter 6, we consider a PH /PH /l inventory model with reneging of customers and finite shortage of items.

Apptication of Biofloc Technology (BFI) in Ihe nunery rearing and farming of giant freshwater prawn, Macrobrachillm rosenbergii (de Man)

This thesis Entitled Application of Biofloc technology (BFT) In the Nursery Rearing and Farming of Giant Freshwater Prawn,Macrobrachium Rosenbergii(De Man). Aquaculture, rearing plants and animals under controlled conditions is growing with an annual growth rate of 8.3% in the period 1970-2008 (FAO, 2010). This trend of growth is essential for the supply of protein-rich food for ever increasing world population. But growth and development of aquaculture should be in sustainable manner, preferably without jeopardizing the aquatic environment.In the present study, the application of BFT in the nursery rearing and farming ofgiant freshwater prawn, M. rosenbergii, is attempted. The result of the study is organised into eight chapters. In the first chapter, the subject is adequately introduced. Various types of aquaculture practices followed, development and status of Indian aquaculture, present status of freshwater pravm culture, BF T and its use for the sustainable aquaculture systems, theory of BFT based aquaculture practices, hypothesis, objective and outline of the thesis are described. An extensive review of literature on studies carried out so far on biofloc based aquaculture are given in chapter 2. The third chapter deals with the application of BFT in the primary nursery phase of freshwater prawn. Several workers suggested the need for an intermediate nursery phase in the culture system of freshwater prawn for the successful production. Thirty day experiment was conducted to study the effect of BFT on the water quality, and animal welfare under the various stocking densities. The study concluded that stocking finfishes in biofloc-based monoculture system of freshwater prawns has the potential of increasing total yield. Prawns having a higher commercial value than finfishes besides ensuring economic sustainability. Results showed that prawn yield and survival was better in catla dominated tanks. Based on the results of the study, it is recommended to incorporate 25% rohu and 75% catla in the biofloc-based culture system of giant freshwater prawns. The results of the present study also recommend to stock relatively larger catla for biofloc-based culture system. Fish production was also higher in the 100% catla tank. When catla was added in higher percentages it should ensured that the hiding objects in the culture ponds shall be used in order to reduce the chance of cannibalism among prawns. rohu and catla equally have the ability to harvest the biofloc, catla consumes the planktonic contributes in the floc whereas rohu grazed on the bacterial consortium suspended in the water column. In Chapter 8, recommendations and future research perspectives in the field of biofloc based aquaculture is presented.

Triterpenoids as Biomarkers of Mangrove Organic Matter in Cochin Estuarine System

This thesis entitled triterpenoids as biomarkers of mangrove organic matter in cochin estuarine system.Mangrove forests, known as rainforests of the sea are one of the most important coastal ecosystems in the world in terms of primary production and coastal protection.Estuaries, the important areas of world’s coastal zones link the carbon cycle of the oceans to the continents.Three mangrove ecosystems and three estuarine stations around Cochin region, southwest coast of India were selected for the present study. The thesis is divided into five chapters. Chapter 1 is the Introduction and it deals with the aim and scope of the present study. Chapter 2 is Materials and Methods. This chapter deals with the nature and general geographical features of the study area. It also contains the details of the sampling and analytical methodology.the present study. Chapter 3 is Geochemistry and it includes the seasonal and spatial variations of the geochemical parameters in the surface sediments.Chapter 4 is Biochemical Composition. It covers the biochemical composition of organic matter in the surface sediments to examine the quality and quantity of organic matter.Chapter 5, Triterpenoid Biomarkers in Sediments, characterize the organic matter in the sediments of the mangrove and estuarine ecosystems under study, to assess the possible sources with the help of triterpenoid biomarkers along with other lipid biomarkers.

Service quality and reliability assessment of mobile communication infrastructure

The service quality of any sector has two major aspects namely technical and functional. Technical quality can be attained by maintaining technical specification as decided by the organization. Functional quality refers to the manner which service is delivered to customer which can be assessed by the customer feed backs. A field survey was conducted based on the management tool SERVQUAL, by designing 28 constructs under 7 dimensions of service quality. Stratified sampling techniques were used to get 336 valid responses and the gap scores of expectations and perceptions are analyzed using statistical techniques to identify the weakest dimension. To assess the technical aspects of availability six months live outage data of base transceiver were collected. The statistical and exploratory techniques were used to model the network performance. The failure patterns have been modeled in competing risk models and probability distribution of service outage and restorations were parameterized. Since the availability of network is a function of the reliability and maintainability of the network elements, any service provider who wishes to keep up their service level agreements on availability should be aware of the variability of these elements and its effects on interactions. The availability variations were studied by designing a discrete time event simulation model with probabilistic input parameters. The probabilistic distribution parameters arrived from live data analysis was used to design experiments to define the availability domain of the network under consideration. The availability domain can be used as a reference for planning and implementing maintenance activities. A new metric is proposed which incorporates a consistency index along with key service parameters that can be used to compare the performance of different service providers. The developed tool can be used for reliability analysis of mobile communication systems and assumes greater significance in the wake of mobile portability facility. It is also possible to have a relative measure of the effectiveness of different service providers.

Study on acceleratore in rubber vulcanization with special reference to the binary systems containing substituted dithiobiurets

The thesis entitled Study on Accelerators in Rubber Vulcanization with Special Reference to the Binary Systems Containing Substituted Dithiobiurets. It includes a detailed study on the binary accelerator systems containing substituted dithiobiurets in natural rubber and NR latex and dithiobiurets in SBR and NR-SBR blends vulcanization systems. It deals with the experimental procedure adopted for the preparation of DTB-II and DTB-III; the procedure for compounding and vulcanization and determination of physical properties like modulus, tensile strength, elongation at break, hardness, compression set, heat build up etc. The results indicate that there is efficient acceleration activity of the dithiobiurets in the vulcanization of natural rubber latex containing TMT. The study of dithiobiurets in natural rubber and NR latex reveal that they are having definite accelerating effect in SBR vulcanization systems.

Extent and limitations of density functional theory in describing magnetic systems

The performance of density-functional theory to solve the exact, nonrelativistic, many-electron problem for magnetic systems has been explored in a new implementation imposing space and spin symmetry constraints, as in ab initio wave function theory. Calculations on selected systems representative of organic diradicals, molecular magnets and antiferromagnetic solids carried out with and without these constraints lead to contradictory results, which provide numerical illustration on this usually obviated problem. It is concluded that the present exchange-correlation functionals provide reasonable numerical results although for the wrong physical reasons, thus evidencing the need for continued search for more accurate expressions.

Studies on the evaluation of different sources of proteins, carbohydrates and mineral requirements for juvenile penaeid prawn Penaeus Indicus H. Milne Edwards

In India, directed research on penaeid prawn nutrition was taken up only recently when the aquaculture of prawns gained momentum. One of the important penaeid prawns sought for culture and has great potential is Penagus indiggs, H.Milne Edwards. The Central Marine Fisheries Research Institute working on different aspects of culture of this species over the past one and half decades, has developed a hatchery technology for mass production of its seed and has suggested several improvements on its farming in the grow-out systems. One of the areas of active research in this direction has been on the nutrition of the species with a view to develop suitable feed not only for hatchery production of seed, but also in the field culture. As part of this investigation, the present study, on the evaluation of different protein and carbohydrate sources and mineral requirements for the juvenile E, indicus was taken up and the results obtained are embodied in the thesis

Management of the postal services en India: a study with reference to Kerala circle

School of management studies, Cochin university of Science and Technology

Variation in radio refractivity index associated with formation of low - pressure systems

Numerous low - pressure systems form in the Arabian Sea and Bay of Bengal. These low-pressure systems are highly useful in bringing the rainfall over the Indian sub continent. The developments of these systems are accompanied by the reduction in air temperature and an increase in atmospheric humidity. The radio refractivity, which is a function of the atmospheric pressure, temperature and humidity, also changes following the development of these systems. Variation of radio refractive index and its vertical gradient are analysed for many low pressure systems formed over the Arabian Sea and Bay of Bengal. It is found that the atmosphere becomes super refractive associated with the formation of these systems, caused by the increase in humidity and decrease in temperature. The maximum gradient is observed near the surface layers, especially in the lowest 1 km. Super refraction leads to increased radar detection range and extension of radio horizon

‘Driving Forces of Investment Decisions in Mutual Funds’

Unfortunately, in India it is a fact that most of the investors are not interested in mutual funds. Those who are investing, they are investing only very small amounts. But what is important to be noted here is that when compared to other financial instruments, investments in mutual funds are safer and also yields more returns on the investment portfolio. Moreover as an investment avenue mutual fund is available for those investors who are not willing to take any exposure directly in the security market. It also helps such investors to build their wealth over a period of time. At the retail level, investors are unique and are highly heterogeneous, and the mutual fund schemes' selection will also differ depends on their expectations. Hence, investors’ expectation is a very important factor in this regard that needs to be analysed by all the investment houses. Hence, the factors that drive the investment decisions of individual investors to meet their expectations by investing money in mutual funds need an in-depth analysis. These driving forces include the preference of investors on mutual fund compared to various available avenues of financial investments, risk attitude of investors, influence of characteristics of instruments of mutual funds on investors, the investment specific attitudes of investors, and influence of qualities of fund management on investors. The success of any mutual fund, a popular means of investment, depends on how effectively an Asset Management Company has been able to understand the level of influence of these factors on the decision of investors to invest in mutual funds. For a substantial growth in the mutual fund market, there must be a high level precision in the design and marketing of the products of mutual funds taking into account these driving forces by the Asset Management Companies. Therefore, there is a need to conduct a detailed study on investments in mutual funds in this direction. A review of available literature also revealed that no detailed study on mutual funds has so far been attempted in this direction; hence the present study on Driving Forces of Investment Decisions in Mutual Funds is undertaken.

Use of Novel Algorithms MAJE4 and MACJER-320 for Achieving Confidentiality and Message Authentication in SSL & TLS.

Extensive use of the Internet coupled with the marvelous growth in e-commerce and m-commerce has created a huge demand for information security. The Secure Socket Layer (SSL) protocol is the most widely used security protocol in the Internet which meets this demand. It provides protection against eaves droppings, tampering and forgery. The cryptographic algorithms RC4 and HMAC have been in use for achieving security services like confidentiality and authentication in the SSL. But recent attacks against RC4 and HMAC have raised questions in the confidence on these algorithms. Hence two novel cryptographic algorithms MAJE4 and MACJER-320 have been proposed as substitutes for them. The focus of this work is to demonstrate the performance of these new algorithms and suggest them as dependable alternatives to satisfy the need of security services in SSL. The performance evaluation has been done by using practical implementation method.

Solid Waste Management: A Case Study of Arppukara Grama Panchayat Of Kottayam District, Kerala (India)

The rising pressure of Population, together with the constantly changing technologies, and development perspectives, contribute to the ever increasing volumes of wastes in different forms. The solid and liquid wastes generated in the urban areas were considered a burden to the society, and hazardous to the environment. The fact is that the growth of consumerist culture and aimless throwing of refuse by the people created the outbreak of environmental pollution. Unhygienic environment and solid waste accumulation coincided with mosquito breeding which causes, the spread of most epidemics. The rationale behind most of the diseases is the unhygienic pattern followed by the people both in rural and urban areas. As an environmental package, the disposal of solid waste from different sources, such as house holds markets, commercial areas, slaughter houses, hospitals and industries, therefore assumed crucial importance. So as a part of the theory and practice, a study on the area, solid waste management of Arppukara Grama Panchayat of Kottayam district is taken into consideration. The study conducted here proposes, to examine the quality and quantity of the solid waste generated in the panchayat and also it's impact on the existing social, economical, environmental and ecological systems