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.

Systematics and biology of Fishes of family of the hemiramphidae of Cochin coast

This overall focus of the thesis involves the systematics and biology of fishes of the family hemiramphidae of cochin coast.India is one of the leading fish producing nations in the world with an average annual production of 6.1 million tonnes of fish and shell fish from capture and culture fisheries in 2001 (Ayyappan and Biradar, 2002).Fisheries play a very significant role in the Indian economy by providing employment to nearly 7 million people directly or indirectly, supplying rich protein food and earning valued foreign exchange.Fishes of the family Hemiramphidae are commonly called ‘half beaks‘.In India, studies on hemiramphids commenced with the work of Day (1878,1889) who recorded thirteen species of hemiramphids from the Indian waters.The study area, which is part of Cochin coast is located between Lat.9°28’ and 10° N and Long.76° 13’ and 76° 31 E. Lying parallel to it is an estuary which is commonly called the Cochin backwaters which has a total area of about 200 sq.miles.The study area is subjected to wide variations in salinity from place to place, season and surface to bottom.The Cochin coast and the adjacent back water system of Kerala has a rich and diversified fish fauna. The hemiramphid fishes constitute a minor fishery of this area.The study on the distribution and availability of hemiramphid fishes present in the Cochin coast shows that they evince different patterns of distribution.In the present study it is noticed that fecundity has high correlation with weight than length of the fish.Histological studies revealed that the spermatogenesis in both H. (H) limbatus and H.(H) xanthopterus, consists of spermatogonia, primary spermatocytes secondary, spermatocytes, spermatids and spermatozoa whereas in the oogenesis of both the species.biological study will be useful in implementation of proper measures of conservation and management so that further devastation of the hemiramphids of Cochin Coast can be controlled.

Studies on the Hydrobiology and pollution of the Vembanad Lake and adjacent waters

The Thesis deals with the entire estuarine system in totality on several parameters related to hydrography, ecology of biota, productivity and also the effects of pollution. The objective of this study has been to review the systems physical, chemical and biological features through varying periods of time at locations where human interference is high so that an overall assessment of the changing ecology could be made so as to impress on the scientific community whether remedial measures could be undertaken in sensitive areas. It is also the objective of this study to point out thrust areas where concerted efforts from a larger body of scientists and administrators who can sit together and chalk out programmes for a co-operative endeavor in monitoring the most sensitive areas and also suggest ways and means to exploit the rich and diverse resources at optimum levels with emphasis on conservation and protection from environmental degradation resulting in depletion of resources. Areas also have been identified which are potentially more productive where aquaculture could be intensified

Bionomics, Resource Characteristics And Distribution Of The Threatened Freshwater Fishes Of Kerala

The previous faunistic studies were concentrated.on the taxonomical and zoogeo— graphical aspects. These studies contributed to many new additions to the fish fauna of Kerala meanwhile many species described earlier are reported missing in recent years. Many fish species were collected only once or twice by scientists. Detailed information on distribution, habitat, feeding habits, reproduction, population size, etc. are available only with regard to a very few fish species. A meaningful assessment on the biodiversity status of the majority of freshwater fishes cannot be done for want of sufficient data base and therefore, no suitable conservation and management programmes are forthcoming for the protection and preservation of the unique fish germplasm resources of Kerala. The present study was conceptualised and undertaken mostly aiming at bridging these gaps by generating an authentic data base on the distribution, resource characteristics and bionomics of the threatened fishes inhabiting the rivers of Kerala. Osteobrama bakeri (Day) is an endemic fish having a very highly restricted and fragmented distribution in Periyar, Chalakudy, Kabini, Kallada and Meenachil rivers of Kerala. This belongs to vulnerable category and is locally known as Mullanpaval which is valued as food fish. Besides, due to its vibrant and attractive colouration and easiness for domestication, it has great potential for being propagated as an ornamental fish. Hitherto, no information is available on the bionomics and resource characteristics of this species. Studies on detailed life history traits are indispensable for fishery management, development of captive breeding technique and implementation of various conservation programmes. In the present study, a pioneer attempt is also made to investigate the life history traits, resource characteristics, proximate composition, etc. of O.baken'.

Seoimentology And Geochemistiiy Of Some Selected Mangrove Ecosystems Of Kerala, Southwest Coast Of India

As a result of the issues of care and conservation and sustainable utilisation, the proper management of mangrove forests have become more pressing than ever. Much recent ecological and toxicological debate has been centered around the question of validity of making predictions about the future of mangrove ecosystemas a result of the newly evolved environmental policy. Though muchinformation exist on the biodiversity, floristic composition and characteristics, geographical distribution and uses of mangroves, systematic documentation of the various sedimentological and geochemical phenomena in relation to the mangrove flora are scarce. Hazardous, persistent, man-made chemicals and waste produces are entering the mangrove ecosystem at from the adjacent watersheds which strengthened alarming rates the indispensible need for further researches on the environmental behaviours, fate and the effect of such products. Studies on the effect of heavy metals, pesticides and the other toxic signals through bioassay and toxicity tests on mangrove species as well as in sediments definitely will furnish ample clues to establish the actual operative mechanisms of these environments. A thorough review of literature made in this angle reveals that some attempts have already been initiated the world over the record the physico-chemical characteristics of major abiotic components such as sediments and water of many mangrove ecosystem, however, adequate information is lacking in the Indian Environmental Science scenario. The present investigation is an attempt to record the sedimentological, mineralogical and geochemical characteristics of sediments as well as the heavy metal enrichment in the various species ofmangrove flora of three important mangrove ecosystems of Kerala, located at Veli (SouthKerala), Kochi (Central Kerala) and Kannur (North Kerala). The results of the above investigation have been analysed statistically, discussed based on the available literature and presented in this thesis under seven chapters

"|mpact of trawling on sea bottom and its living communities along the inshore waters of southwest coast of India'’

Mechanized fishing started in Indian waters in mid —fifties and large-scale operation of trawl fishing began in the mid sixties by the surfeit of individual entrepreneurs. The southwest coast of India especially the coastal waters of Kerala are the most productive area in the subcontinent and the state has been in the forefront in marine fish production (Kurup, 2001a). Though the coastline of Kerala is one tenth of the coastline of India, the state occupies the foremost position in the marine fish production of the country, accounting for more than 30% of the marine fish landings (Thomas, 2000). The coastal waters of Kerala have rich and diversified fishery resources, which are prone to heavy exploitation by a unprecedently high number of fishing gears, among them, mechanized bottom trawlers with a numerical strength of 4550 (Kurup, 2001a) against the permissible number of 1145 (Kalawar, et al., 1985) are the most destructive. Trawling operations during monsoon periods in Kerala has been a subject of controversy between traditional fishermen and trawl fishers on a subject that trawl fishing destroys large amount of juveniles and young ones of fishes since this period is the major breeding season of most of the fish and prawns (John, 1996). Therefore Government of Kerala imposed a ban on bottom trawling activities from 1988 onwards for a period varying from 21-70 days, which usually commences from June 15th. Though many studies revealed that large amount of non-target groups were destroyed in the commercial trawl fishing in the Indian waters, no concerted study has been conducted so far to evaluate the real impact of bottom trawling on the sea bottom and its living communities. The present study was conducted to assess the impact of excessive bottom trawling exerted on the sea bottom habitat and its living communities, which would be useful in impressing up on the seriousness of habitat degradation and biotic devastation, enabling the concerned to adopt relevant conservation and management steps to conserve the resources for sustainable exploitation

The Systematics, Distribution and Bionomics of Deep sea fishes beyond depth 200m along the South west coast of India

Reducing fishing pressure in coastal waters is the need of the day in the Indian marine fisheries sector of the country which is fast changing from a mere vocational activity to a capital intensive industry. It requires continuous monitoring of the resource exploitation through a scientifically acceptable methodology, data on production of each species stock, the number and characteristics of the fishing gears of the fleet, various biological characteristics of each stock, the impact of fishing on the environment and the role of fishery—independent on availability and abundance. Besides this, there are issues relating to capabilities in stock assessment, taxonomy research, biodiversity, conservation and fisheries management. Generation of reliable data base over a fixed time frame, their analysis and interpretation are necessary before drawing conclusions on the stock size, maximum sustainable yield, maximum economic yield and to further implement various fishing regulatory measures. India being a signatory to several treaties and conventions, is obliged to carry out assessments of the exploited stocks and manage them at sustainable levels. Besides, the nation is bound by its obligation of protein food security to people and livelihood security to those engaged in marine fishing related activities. Also, there are regional variabilities in fishing technology and fishery resources. All these make it mandatory for India to continue and strengthen its marine capture fisheries research in general and deep sea fisheries in particular. Against this background, an attempt is made to strengthen the deep sea fish biodiversity and also to generate data on the distribution, abundance, catch per unit effort of fishery resources available beyond 200 m in the EEZ of southwest coast ofIndia and also unravel some of the aspects of life history traits of potentially important non conventional fish species inhabiting in the depth beyond 200 m. This study was carried out as part of the Project on Stock Assessment and Biology of Deep Sea Fishes of Indian EEZ (MoES, Govt. of India).

Standard of Living and Community Perception in the Community Based Ecotourism (CBET) Sites of Kerala: An Inter Zone Analysis

This study is an attempt to situate the quality of life and standard of living of local communities in ecotourism destinations inter alia their perception on forest conservation and the satisfaction level of the local community. 650 EDC/VSS members from Kerala demarcated into three zones constitute the data source. Four variables have been considered for evaluating the quality of life of the stakeholders of ecotourism sites, which is then funneled to the income-education spectrum for hypothesizing into the SLI framework. Zone-wise analysis of the community members working in tourism sector shows that the community members have benefited totally from tourism development in the region as they have got both employments as well as secured livelihood options. Most of the quality of life-indicators of the community in the eco-tourist centres show a promising position. The community perception does not show any negative impact on environment as well as on their local culture.

Genetic divergence in lobsters (Crustacea: Palinuridae and Scyllaridae) from the Indian EEZ

The management of exploited species requires the identification of demographically isolated populations that can be considered as independent management units (MUs), failuring in which can lead to over -fishing and depletion of less productive stocks. By characterizing the distribution of genetic variation, population sub structuring can be detected and the degree of connectivity among populations can be estimated. The genetic variation can be observed using identified molecular markers of both nuclear and mitochondrial origin. Hence, the present work was undertaken to study the genetic diversity and population/stock structure in P. homarus homarus and T. unimaculatus from different landing centres along the Indian coast using nuclear (RAPD) and mitochondrial DNA marker tools which will help towards developing management strategies for management and conservation of these declining resources.To make consistent conservation and fisheries management decisions, accurate species identifications are needed. It is also suggested that it is not always desirable to rely on a single sequence for taxonomic identification. Thus, the feasibility of using partial sequences of additional mitochondrial genes like 16SrRNA, 12SrRNA and nuclear 18SrRNA has also been explored in our study. Phylogenies provide a sound foundation for establishing taxonomy. The present work also attempts to reconstruct the phylogeny of eleven species of commercially important lobsters from the Indian EEZ using molecular markers