| Abstract: | The wealth of information available freely on the web and medical image databases poses a major problem for the end users: how to find the information needed? Content –Based Image Retrieval is the obvious solution.A standard called MPEG-7 was evolved to address the interoperability issues of content-based search.The work presented in this thesis mainly concentrates on developing new shape descriptors and a framework for content – based retrieval of scoliosis images.New region-based and contour based shape descriptor is developed based on orthogonal Legendre polymomials.A novel system for indexing and retrieval of digital spine radiographs with scoliosis is presented. |
| Description: | Department of Electronics, Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2699 |
| Files | Size |
|---|---|
| Dyuthi-T0751.pdf | (9.718Mb) |
| URI: | http://dyuthi.cusat.ac.in/purl/5460 |
| Files | Size |
|---|---|
| Dyuthi T-2501.pdf | (13.49Mb) |
| URI: | http://dyuthi.cusat.ac.in/purl/5529 |
| Files | Size |
|---|---|
| Dyuthi T-2572.pdf | (60.27Mb) |
| Abstract: | Cerebral glioma is the most prevalent primary brain tumor, which are classified broadly into low and high grades according to the degree of malignancy. High grade gliomas are highly malignant which possess a poor prognosis, and the patients survive less than eighteen months after diagnosis. Low grade gliomas are slow growing, least malignant and has better response to therapy. To date, histological grading is used as the standard technique for diagnosis, treatment planning and survival prediction. The main objective of this thesis is to propose novel methods for automatic extraction of low and high grade glioma and other brain tissues, grade detection techniques for glioma using conventional magnetic resonance imaging (MRI) modalities and 3D modelling of glioma from segmented tumor slices in order to assess the growth rate of tumors. Two new methods are developed for extracting tumor regions, of which the second method, named as Adaptive Gray level Algebraic set Segmentation Algorithm (AGASA) can also extract white matter and grey matter from T1 FLAIR an T2 weighted images. The methods were validated with manual Ground truth images, which showed promising results. The developed methods were compared with widely used Fuzzy c-means clustering technique and the robustness of the algorithm with respect to noise is also checked for different noise levels. Image texture can provide significant information on the (ab)normality of tissue, and this thesis expands this idea to tumour texture grading and detection. Based on the thresholds of discriminant first order and gray level cooccurrence matrix based second order statistical features three feature sets were formulated and a decision system was developed for grade detection of glioma from conventional T2 weighted MRI modality.The quantitative performance analysis using ROC curve showed 99.03% accuracy for distinguishing between advanced (aggressive) and early stage (non-aggressive) malignant glioma. The developed brain texture analysis techniques can improve the physician’s ability to detect and analyse pathologies leading to a more reliable diagnosis and treatment of disease. The segmented tumors were also used for volumetric modelling of tumors which can provide an idea of the growth rate of tumor; this can be used for assessing response to therapy and patient prognosis. |
| Description: | Department of Electronics Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/3992 |
| Files | Size |
|---|---|
| Dyuthi-T1801.pdf | (7.068Mb) |
| Abstract: | The microwave and electrical applications of some important conducting polymers are analyzed in this investigation.One of the major drawbacks of conducting polymers is their poor processability,and a solution to overcome this is sought in this investigation.Conducting polymer thermoplastic composites were prepared by the insitu polymerization method to improve the extent of miscibility probably to a semi IPN level.The attractive features of the conducting composite developed are excellent processability,good microwave and electrical conductivity,good microwave absorption,load sensitivity and satisfactory mechanical properties.The composite shows typical frequency selective microwave absorption and refelection behaviors. |
| Description: | Department of Polymer science and Rubber Technology ,Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2547 |
| Files | Size |
|---|---|
| Dyuthi-T0691.pdf | (7.869Mb) |
| Abstract: | Sonar signal processing comprises of a large number of signal processing algorithms for implementing functions such as Target Detection, Localisation, Classification, Tracking and Parameter estimation. Current implementations of these functions rely on conventional techniques largely based on Fourier Techniques, primarily meant for stationary signals. Interestingly enough, the signals received by the sonar sensors are often non-stationary and hence processing methods capable of handling the non-stationarity will definitely fare better than Fourier transform based methods.Time-frequency methods(TFMs) are known as one of the best DSP tools for nonstationary signal processing, with which one can analyze signals in time and frequency domains simultaneously. But, other than STFT, TFMs have been largely limited to academic research because of the complexity of the algorithms and the limitations of computing power. With the availability of fast processors, many applications of TFMs have been reported in the fields of speech and image processing and biomedical applications, but not many in sonar processing. A structured effort, to fill these lacunae by exploring the potential of TFMs in sonar applications, is the net outcome of this thesis. To this end, four TFMs have been explored in detail viz. Wavelet Transform, Fractional Fourier Transfonn, Wigner Ville Distribution and Ambiguity Function and their potential in implementing five major sonar functions has been demonstrated with very promising results. What has been conclusively brought out in this thesis, is that there is no "one best TFM" for all applications, but there is "one best TFM" for each application. Accordingly, the TFM has to be adapted and tailored in many ways in order to develop specific algorithms for each of the applications. |
| URI: | http://dyuthi.cusat.ac.in/purl/2677 |
| Files | Size |
|---|---|
| Dyuthi-T0729.pdf | (3.467Mb) |
| URI: | http://dyuthi.cusat.ac.in/purl/5192 |
| Files | Size |
|---|---|
| Dyuthi T-2227.pdf | (2.863Mb) |
| Abstract: | The work is intended to study the following important aspects of document image processing and develop new methods. (1) Segmentation ofdocument images using adaptive interval valued neuro-fuzzy method. (2) Improving the segmentation procedure using Simulated Annealing technique. (3) Development of optimized compression algorithms using Genetic Algorithm and parallel Genetic Algorithm (4) Feature extraction of document images (5) Development of IV fuzzy rules. This work also helps for feature extraction and foreground and background identification. The proposed work incorporates Evolutionary and hybrid methods for segmentation and compression of document images. A study of different neural networks used in image processing, the study of developments in the area of fuzzy logic etc is carried out in this work |
| Description: | Dept of Computer Applications Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/3679 |
| Files | Size |
|---|---|
| Dyuthi-T1645.pdf | (3.838Mb) |
| Abstract: | In the present work we studied the potential of Bacopa monnieri and Bacoside A treatment to enhance the antioxidant system and support the neuronal survival in the hypoglycemic neonatal brain. For achieving the aim, DAD1 and DAD2 receptors functional regulation, gene expression of growth factors, neuronal survival and apoptotic factors during insulin induced hypoglycemic neonatal brain in rats were studied. |
| Description: | Department of Biotechnology Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/4699 |
| Files | Size |
|---|---|
| Dyuthi-T1830.pdf | (13.60Mb) |
| Abstract: | Starve feeding of single screw extruder was described as an important means of improving the performance characteristics of the extruder. In addition to such improvement with versatility, the starve feeding technique also may affect the mechanical properties of the extrudate since the heat transfer an(l mixing characteristics in the starve fed and Hood fed extruders are not the same. Since the material is more loosely packed in the channels of the starve fed extruder, there may be greater bed mobility and uniformity. Further, the. thermal an(l shear induced degradation are also less since possibilities of developing local high temperatures are less compared to a densely compacted extruder bed. This study has been undertaken mainly to explore the effect of feeding rate on the mechanical properties of rubber and plastic extrudates since the effect of feeding rate has not been analysed from this angle so far. |
| Description: | Department of Polymer Science and Rubber Technology Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/3896 |
| Files | Size |
|---|---|
| Dyuthi-T1786.pdf | (12.48Mb) |
| Abstract: | Organic-inorganic nanocomposites combine unique properties of both the constituents in one material. Among this group of materials, clay based as well as ZnO, TiO2 nanocomposites have been found to have diverse applications. Optoelectronic devices require polymerinorganic systems to meet certain desired properties. Dielectric properties of conventional polymers like poly(ethylene-co-vinyl acetate) (EVA) and polystyrene (PS) may also be tailor tuned with the incorporation of inorganic fillers in very small amounts. Electrical conductivity and surface resistivity of polymer matrices are found to improve with inorganic nanofillers. II-VI semiconductors and their nano materials have attracted material scientists because of their unique optical properties of photoluminescence, UV photodetection and light induced conductivity. Cadmium selenide (CdSe), zinc selenide (ZnSe) and zinc oxide (ZnO) are some of the most promising members of the IIVI semiconductor family, used in light-emitting diodes, nanosensors, non-linear optical (NLO) absorption etc. EVA and PS materials were selected as the matrices in the present study because they are commercially used polymers and have not been the subject of research for opto-electronic properties with semiconductor nanomaterials |
| URI: | http://dyuthi.cusat.ac.in/purl/5111 |
| Files | Size |
|---|---|
| Dyuthi-T 2176.pdf | (17.16Mb) |
| Abstract: | The thesis focuses on efficient design methods and reconfiguration architectures suitable for higher performance wireless communication .The work presented in this thesis describes the development of compact,inexpensive and low power communication devices that are robust,testable and capable of handling multiple communication standards.A new multistandard Decimation Filter Design Toolbox is developed in MATLAB GUIDE environment.RNS based dual-mode decimation filters reconfigurable for WCDMA/WiMAX and WCDMA/WLANa standards are designed and implemented.It offers high speed operation with lesser area requirement and lower dynamic power dissipation.A novel sigma-delta based direct analog-to-residue converter that reduces the complexity of RNS conversion circuitry is presented.The performance of an OFDM communication system with a new RRNS-convolutional concatenated coding is analysed and improved BER performance is obtained under different channel conditions. Easily testable MAC units for filters are presented using Reed-Muller logic for realization. |
| Description: | Department of Computer Science, Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2686 |
| Files | Size |
|---|---|
| Dyuthi-T0738.pdf | (7.084Mb) |
| Abstract: | Presently different audio watermarking methods are available; most of them inclined towards copyright protection and copy protection. This is the key motive for the notion to develop a speaker verification scheme that guar- antees non-repudiation services and the thesis is its outcome. The research presented in this thesis scrutinizes the field of audio water- marking and the outcome is a speaker verification scheme that is proficient in addressing issues allied to non-repudiation to a great extent. This work aimed in developing novel audio watermarking schemes utilizing the fun- damental ideas of Fast-Fourier Transform (FFT) or Fast Walsh-Hadamard Transform (FWHT). The Mel-Frequency Cepstral Coefficients (MFCC) the best parametric representation of the acoustic signals along with few other key acoustic characteristics is employed in crafting of new schemes. The au- dio watermark created is entirely dependent to the acoustic features, hence named as FeatureMark and is crucial in this work. In any watermarking scheme, the quality of the extracted watermark de- pends exclusively on the pre-processing action and in this work framing and windowing techniques are involved. The theme non-repudiation provides immense significance in the audio watermarking schemes proposed in this work. Modification of the signal spectrum is achieved in a variety of ways by selecting appropriate FFT/FWHT coefficients and the watermarking schemes were evaluated for imperceptibility, robustness and capacity char- acteristics. The proposed schemes are unequivocally effective in terms of maintaining the sound quality, retrieving the embedded FeatureMark and in terms of the capacity to hold the mark bits. Robust nature of these marking schemes is achieved with the help of syn- chronization codes such as Barker Code with FFT based FeatureMarking scheme and Walsh Code with FWHT based FeatureMarking scheme. An- other important feature associated with this scheme is the employment of an encryption scheme towards the preparation of its FeatureMark that scrambles the signal features that helps to keep the signal features unreve- laed. A comparative study with the existing watermarking schemes and the ex- periments to evaluate imperceptibility, robustness and capacity tests guar- antee that the proposed schemes can be baselined as efficient audio water- marking schemes. The four new digital audio watermarking algorithms in terms of their performance are remarkable thereby opening more opportu- nities for further research. |
| URI: | http://dyuthi.cusat.ac.in/purl/4959 |
| Files | Size |
|---|---|
| Dyuthi-T2035.pdf | (3.366Mb) |
| Abstract: | The present work is an attempt to probe the elastic properties in some dielectric ceramics, by using ultrasonic pulse echo overlap technique. The base Ba6-xSm8+2xTi18O54 and Ca5Nb2TiO12 are very important dielectrics ceramics used for microwave communication as well as for substrate materials. Ultrasonic is one of the most widely used and powerful techniques to measure elastic properties of solids. The ultrasonic technique is nondestructive in nature and the measurements are relatively straightforward to perform. One unique advantantage of the ultrasonic technique is that both static and dynamic properties can be measured simultaneously. The velocity and attenuation coefficients of the ultrasonic waves propagating through a medium are related to the microscopic structure of the material and they provide valuable information about the structural changes in the system. Among the various ultrasonic techniques, the pulse echo overlap method is the most accurate and precise one. In the present case the decreased elastic properties of Cas-XMg,Nb2TiO12 and Cas-,ZnNb2TiO12 ceramics can be attributed to their mixture phases beyond x = 1. Moreover, the abrupt change in elastic properties observed for x >1 can also be correlated to the structural transformation of the materials from their phase pure form to mixture phases for higher extent of substitution of the concerned material . Ca4(ANb2Ti)012 (A = Mg, Zn) is the strongest compound with the maximum values for elastic properties . This could be due to the possible substitution of Mg/Zn ions with lesser radius [25] than Ca2+ in perovskite B-site of Ca(Cali4Nb2i4Tili4) O3 material to contribute more ordering and symmetry to the system [20]. All other compositions (x > 1) contain mixed-phases and for such mixed-phase samples, the mechanical properties are difficult to explain. |
| URI: | http://dyuthi.cusat.ac.in/purl/916 |
| Files | Size |
|---|---|
| Dyuthi-T0069.pdf | (2.189Mb) |
| Abstract: | The theme of the thesis is centred around one important aspect of wireless sensor networks; the energy-efficiency.The limited energy source of the sensor nodes calls for design of energy-efficient routing protocols. The schemes for protocol design should try to minimize the number of communications among the nodes to save energy. Cluster based techniques were found energy-efficient. In this method clusters are formed and data from different nodes are collected under a cluster head belonging to each clusters and then forwarded it to the base station.Appropriate cluster head selection process and generation of desirable distribution of the clusters can reduce energy consumption of the network and prolong the network lifetime. In this work two such schemes were developed for static wireless sensor networks.In the first scheme, the energy wastage due to cluster rebuilding incorporating all the nodes were addressed. A tree based scheme is presented to alleviate this problem by rebuilding only sub clusters of the network. An analytical model of energy consumption of proposed scheme is developed and the scheme is compared with existing cluster based scheme. The simulation study proved the energy savings observed.The second scheme concentrated to build load-balanced energy efficient clusters to prolong the lifetime of the network. A voting based approach to utilise the neighbor node information in the cluster head selection process is proposed. The number of nodes joining a cluster is restricted to have equal sized optimum clusters. Multi-hop communication among the cluster heads is also introduced to reduce the energy consumption. The simulation study has shown that the scheme results in balanced clusters and the network achieves reduction in energy consumption.The main conclusion from the study was the routing scheme should pay attention on successful data delivery from node to base station in addition to the energy-efficiency. The cluster based protocols are extended from static scenario to mobile scenario by various authors. None of the proposals addresses cluster head election appropriately in view of mobility. An elegant scheme for electing cluster heads is presented to meet the challenge of handling cluster durability when all the nodes in the network are moving. The scheme has been simulated and compared with a similar approach.The proliferation of sensor networks enables users with large set of sensor information to utilise them in various applications. The sensor network programming is inherently difficult due to various reasons. There must be an elegant way to collect the data gathered by sensor networks with out worrying about the underlying structure of the network. The final work presented addresses a way to collect data from a sensor network and present it to the users in a flexible way.A service oriented architecture based application is built and data collection task is presented as a web service. This will enable composition of sensor data from different sensor networks to build interesting applications. The main objective of the thesis was to design energy-efficient routing schemes for both static as well as mobile sensor networks. A progressive approach was followed to achieve this goal. |
| Description: | Department of Computer Science, Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2774 |
| Files | Size |
|---|---|
| Dyuthi-T0797.pdf | (3.962Mb) |
| Abstract: | The proliferation of wireless sensor networks in a large spectrum of applications had been spurered by the rapid advances in MEMS(micro-electro mechanical systems )based sensor technology coupled with low power,Low cost digital signal processors and radio frequency circuits.A sensor network is composed of thousands of low cost and portable devices bearing large sensing computing and wireless communication capabilities. This large collection of tiny sensors can form a robust data computing and communication distributed system for automated information gathering and distributed sensing.The main attractive feature is that such a sensor network can be deployed in remote areas.Since the sensor node is battery powered,all the sensor nodes should collaborate together to form a fault tolerant network so as toprovide an efficient utilization of precious network resources like wireless channel,memory and battery capacity.The most crucial constraint is the energy consumption which has become the prime challenge for the design of long lived sensor nodes. |
| Description: | Dept.of Computer Science ,Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2933 |
| Files | Size |
|---|---|
| Dyuthi-T0924.pdf | (1.382Mb) |
| Abstract: | In this thesis, we explore the design, computation, and experimental analysis of photonic crystals, with a special emphasis on structures and devices that make a connection with practically realizable systems. First, we analyze the propenies of photonic-crystal: periodic dielectric structures that have a band gap for propagation. The band gap of periodically loaded air column on a dielectric substrate is computed using Eigen solvers in a plane wave basis. Then this idea is extended to planar filters and antennas at microwave regime. The main objectives covered in this thesis are:• Computation of Band Gap origin in Photonic crystal with the abet of Maxwell's equation and Bloch-Floquet's theorem • Extension of Band Gap to Planar structures at microwave regime • Predict the dielectric constant - synthesized dieletric cmstant of the substrates when loaded with Photonic Band Gap (PBG) structures in a microstrip transmission line • Identify the resonant characteristic of the PBG cell and extract the equivalent circuit based on PBG cell and substrate parameters for microstrip transmission line • Miniaturize PBG as Defected Ground Structures (DGS) and use the property to be implemented in planar filters with microstrip transmission line • Extended the band stop effect of PBG / DGS to coplanar waveguide and asymmetric coplanar waveguide. • Formulate design equations for the PBG / DGS filters • Use these PBG / DGS ground plane as ground plane of microstrip antennas • Analysis of filters and antennas using FDID method |
| Description: | Department of Electronics, Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2704 |
| Files | Size |
|---|---|
| Dyuthi-T0756.pdf | (14.56Mb) |
| Abstract: | A detailed study of the blends of ethylene-propylene-diene rubber (EPDM) and chlorobutyl rubber (CIIR) is proposed in this study. These blends may find application in the manufacture of curing diaphragms/curing envelopes for tire curing applications. EPDM possesses better physical properties such as high heat resistance, ozone resistance, cold and moisture resistance, high resistance to permanent defonnation, very good resistance to flex cracking and impact. Because of the low gas and moisture penneability, good weathering resistance and high thermal stability of CIIR, blends of EPDM with CIlR may be attractive, if sufficient mechanical strength can be developed. Although a lot of work has been done on elastomer blends, studies on the blends of EPDM and CIIR rubbers are meagre. Hence in this investigation it is proposed to make a systematic study on the characteristics of EPDM and CIIR rubber blends.The mechanical and physical properties of an elastomer blend depend mainly on the blend compatibility. So in the first part of the study, it is proposed to develop compatible blends of EPDM with CIIR. Various commercial grades of ethylenepropylene- diene rubber are proposed to be blended with a specific grade of chlorobutyl rubber at varying proportions. The extent of compatibility in these blends is proposed to be evaluated based on their mechanical properties such as tensile strength, tear strength and ageing resistance. In addition to the physical property measurements, blend compatibility is also proposed to be studied based on the glass transition behavlour of the blends in relation to the Tg's of the individual components using Differential Scanning Calorimetry (DSC) and Dynamic Mechanical Analysis (DMA). The phase morphology of the blends is also proposed to be investigated by Scanning Electron Microscopy (SEM) studies of the tensile fracture surfaces. In the case of incompatible blends, the effect of addition of chlorosulfonated polyethylene as a compatibiliser is also proposed to be investigated.In the second part of the study, the effect of sulphur curing and resin curing on the curing behaviour and the vulcanizate properties of EPDM/CIIR blends are planned to be evaluated. Since the properties of rubber vulcanizates are determined by their network structures, it is proposed to determine the network structure of the vulcanizates by chemical probes so as to correlate it with the mechanical properties.In the third part of the work, the effect of partial precuring of one of the components prior to blending as a possible means of improving the properties of the blend is proposed to be investigated. This procedure may also help to bring down the viscosity mismatch between the constituent e1astomers and provide covulcanization of the blend.The rheological characteristics and processability of the blends are proposed to be investigated in the last part of the study. To explore their possible applications, the air permeability of the blend samples at varying temperatures is proposed to be measured. The thermal diffusivity behaviour of EPDM/CIlR blends is also proposed to be investigated using novel laser technique. The thermal diffusivity of the blends along with the thermal degradation resistance may help to determine whether the blends are suitable for high temperature applications such as in the manufacturing of curing envelope. |
| Description: | Deparhnent of Polymer Science and Rubber Technology, Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2524 |
| Files | Size |
|---|---|
| Dyuthi-T0683.pdf | (6.799Mb) |
| Abstract: | 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. |
| Description: | Department of Computer Science, Cochin University of Science and Technology |
| URI: | http://dyuthi.cusat.ac.in/purl/2996 |
| Files | Size |
|---|---|
| Dyuthi-T0976.pdf | (3.390Mb) |
Dyuthi Digital Repository Copyright © 2007-2011 Cochin University of Science and Technology. Items in Dyuthi are protected by copyright, with all rights reserved, unless otherwise indicated.