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.

Increased prevalence of indicator and pathogenic bacteria in Vembanadu Lake: a function of salt water regulator, along south west coast of India

Prevalence of faecal indicator bacteria, Escherichia coli and pathogenic bacteria, Vibrio cholerae, Vibrio parahaemolyticus and Salmonella were analysed in Vembanadu lake (98350N 768250E), along south west coast of India for a period of one year from ten stations on the southern and northern sides of a salt water regulator constructed in Vembanadu Lake in order to prevent incursion of seawater during certain periods of the year. While the northern side of the lake has a connection to the sea, the southern side is enclosed when the salt water regulator is closed. The results revealed the water body is polluted with high faecal coliform bacteria with mean MPN value ranging from 1718-7706/100 ml. E. coli, V. cholerae, V. parahaemolyticus and Salmonella serotypes such as S. paratyphi A, B, C and S. newport were isolated and this is the first report on the isolation of these Salmonella serovars from this lake. E. coli showed highest percentage of incidence (85.6–86.7%) followed by Salmonella (42–57%), V. choleare (40–45%) and V. parahaemolyticus (31.5–32%). The increased prevalence of indicator and pathogenic bacteria in the enclosed southern part of Vembanadu Lake may be resulting from the altered flow patterns due to the salt water regulator.

Legal Control of Fishing Industry in Kerala

This work is a study on ‘Legal Control of Fishing Industry in Kerala.Fishery and Fishery-related legislations are sought to be examined in the light of scientific opinion and judicial decisionsThis work is divided into five Part.The thrust of time Study is on the success of legislative measures in attempting to achieve socio-economic justice for the fishermen community.Fishing is more an avocation than an industry. It is basically the avocation of the artisanal or traditional fishermen who depend on it for their livelihood. As an ‘industry’, it is a generator of employment, income and wealth.The modern tendency in national legislations is to integrate legal proivisions relating to EEZ fisheries into the general fisheries legislation.Chartered fishing was introduced by the Central Government during 1977-78 to establish the abundance and distribution of fishery resources in Indian EEZ, for transfer of technology and for related purposes.Going by the provisions of Articles 61 and 62 of the U.N. Convention on the Law of the Sea, 1982, foreign fishing need be permitted in our EEZ area only if there is any surplus left after meeting our national requirements.Conservation of the renewable fishery resources should start with identification of the species, their habitats, feeding and breeding patterns, their classification and characteristics. Fishing patterns and their impact on different species and areas require to be examined and investigated.the Central Government, that the Kerala Marine Fishing Regulation Act, 1980 was passed.our traditional fishermen that our Governments in power in Kerala resorted to the appointment of Commissions after Commissions to enquire into the problems of resource management and conservation of the resources. The implementation of the recommendations of these Commissions is the need of the times.General infrastructure has increased to a certain extent in the fishery villages; but it is more the result of the development efforts of the State rather than due to increase in earnings from fishing. Fisherwomen ar e still unable to enjoy the status and role expected of them in the society and the family.Around 120 million people around the tuorld are economically dependent on fisheries. In developing countries like India, small-scale fishers are also the primary suppliers of fish, particularly for local consumption. A most important role of the fisheries sector is as a source of domestically produced food. Fish, as a food item, is a nutrient and it has great medicinal value.Consumers in our country face a dramatic rise in fish prices as our ‘fishing industry’ is linked with lucrative markets in industrial countries. Autonomy of States should be attempted to be maintained to the extent possible with the help and co-operation of the Centre. Regional co-operation of the coastal states interse and with the Centre should be attempted to be achieved under the leadership of the Centre in matters of regional concern. At time national level, a ifisheries management policy and plan should be framed in conformity with the national economic policies and plans as also keeping pace with the local and regional needs and priorities. Any such policy, plan and legislation should strive to achieve sustainability of the resources as well as support to the subsistence sector.