An enhanced concave program relaxation for choice network revenue management

The network choice revenue management problem models customers as choosing from an offer-set, andthe firm decides the best subset to offer at any given moment to maximize expected revenue. The resultingdynamic program for the firm is intractable and approximated by a deterministic linear programcalled the CDLP which has an exponential number of columns. However, under the choice-set paradigmwhen the segment consideration sets overlap, the CDLP is difficult to solve. Column generation has beenproposed but finding an entering column has been shown to be NP-hard. In this paper, starting with aconcave program formulation based on segment-level consideration sets called SDCP, we add a class ofconstraints called product constraints, that project onto subsets of intersections. In addition we proposea natural direct tightening of the SDCP called ?SDCP, and compare the performance of both methodson the benchmark data sets in the literature. Both the product constraints and the ?SDCP method arevery simple and easy to implement and are applicable to the case of overlapping segment considerationsets. In our computational testing on the benchmark data sets in the literature, SDCP with productconstraints achieves the CDLP value at a fraction of the CPU time taken by column generation and webelieve is a very promising approach for quickly approximating CDLP when segment consideration setsoverlap and the consideration sets themselves are relatively small.

PENELOPE-2008: A Code System for Monte Carlo Simulation of Electron and Photon Transport

The computer code system PENELOPE (version 2008) performs Monte Carlo simulation of coupledelectron-photon transport in arbitrary materials for a wide energy range, from a few hundred eV toabout 1 GeV. Photon transport is simulated by means of the standard, detailed simulation scheme.Electron and positron histories are generated on the basis of a mixed procedure, which combinesdetailed simulation of hard events with condensed simulation of soft interactions. A geometry packagecalled PENGEOM permits the generation of random electron-photon showers in material systemsconsisting of homogeneous bodies limited by quadric surfaces, i.e., planes, spheres, cylinders, etc. Thisreport is intended not only to serve as a manual of the PENELOPE code system, but also to provide theuser with the necessary information to understand the details of the Monte Carlo algorithm.

2011 - 2015 Iowa Transportation Improvement Program

The Iowa Transportation Improvement Program (Program) is published to inform Iowans of planned investments in our state’s transportation system. The Iowa Transportation Commission (Commission) and Iowa Department of Transportation (Iowa DOT) are committed to programming those investments in a fiscally responsible manner. This document serves as the Iowa DOT's annual report as required by Iowa Code section 7A.9. This document reflects Iowa’s multimodal transportation system by the inclusion of investments in aviation, transit, railroads, trails, and highways. A major component of this program is the highway section that documents programmed investments on the primary highway system for the next five years. A large part of funding available for highway programming comes from the federal government. Accurately estimating future funding levels of this federal funding is dependent on having a current enacted multi-year federal transportation authorization. The most recent authorization, Safe, Accountable, Flexible, Efficient Transportation Equity Act: A Legacy for Users (SAFETEA-LU), expired September 30, 2009, and to date it has been extended five times because a new authorization has not yet been enacted. The current extension expires December 31, 2010. While Iowa law does not require the adoption of a Program when federal transportation funding is being reauthorized, the Commission believes it is important to adopt a Program in order to continue on-going planning and project development efforts and to be well positioned when a new authorization is adopted. However, it is important to recognize that, absent a federal authorization bill, there is significant uncertainty in the forecast of federal revenues. The Commission and the Iowa DOT will continue to monitor federal revenues and will adjust future investments as needed to maintain a fiscally responsible Program. In developing the highway section of the program, the Commission’s primary investment objective remains stewardship (i.e. safety, maintenance and preservation) of Iowa’s existing highway system. In fact, over $1.2 billion is programmed in FY2011 through FY2015 for preservation of Iowa’s existing highway system and for enhanced highway safety features. The highway section also includes significant investments for interstate modernization on I-29 inSioux City, on I-29/80/480 in Council Bluffs, and on I-74 in Bettendorf/ Davenport. Another highway programming objective reflected in this Program is maintaining the scheduled completion of capacity and economic development projects that were identified in the previous Program. Finally, with the limited remaining funds the Commission has furthered the investment in capacity and economic development by adding a few projects to the Program. The Iowa DOT and Commission appreciate the public’s involvement in the state’s transportation planning process. Comments received personally, by letter or through participation in the Commission’s regular meetings or public input meetings held around the state each year, are invaluable in providing guidance for the future of Iowa’s transportation system.

2011 Road Use Tax Fund (RUTF) Study A report to the Iowa Legislature, per 2011 Iowa Code Section 307.31

The transportation system is in demand 24/7 and 365 days a year irrespective of neither the weather nor the conditions. Iowa’s transportation system is an integral and essential part of society serving commerce and daily functions of all Iowans across the state. A high quality transportation system serves as the artery for economic activity and, the condition of the infrastructure is a key element for our future growth opportunities. A key component of Iowa’s transportation system is the public roadway system owned and maintained by the state, cities and counties. In order to regularly re-evaluate the conditions of Iowa’s public roadway infrastructure and assess the ability of existing revenues to meet the needs of the system, the Iowa Department of Transportation’s 2006 Road Use Tax Fund (RUTF) report to the legislature included a recommendation that a study be conducted every five years. That recommendation was included in legislation adopted in 2007 and signed into law. The law specifically requires the following (2011 Iowa Code Section 307.31): •“The department shall periodically review the current revenue levels of the road use tax fund and the sufficiency of those revenues for the projected construction and maintenance needs of city, county, and state governments in the future. The department shall submit a written report to the general assembly regarding its findings by December 31 every five years, beginning in 2011. The report may include recommendations concerning funding levels needed to support the future mobility and accessibility for users of Iowa's public road system.” •“The department shall evaluate alternative funding sources for road maintenance and construction and report to the general assembly at least every five years on the advantages and disadvantages and the viability of alternative funding mechanisms.” Consistent with this requirement, the Iowa Department of Transportation (DOT) has prepared this study. Recognizing the importance of actively engaging with the public and transportation stakeholders in any discussion of public roadway conditions and needs, Governor Terry E. Branstad announced on March 8, 2011, the creation of, and appointments to, the Governor’s Transportation 2020 Citizen Advisory Commission (CAC). The CAC was tasked with assisting the Iowa DOT as they assess the condition of Iowa’s roadway system and evaluate current and future funding available to best address system needs. In particular the CAC was directed to gather input from the public and stakeholders regarding the condition of Iowa’s public roadway system, the impact of that system, whether additional funding is needed to maintain/improve the system, and, if so, what funding mechanisms ought to be considered. With this input, the CAC prepared a report and recommendations that were presented to Governor Branstad and the Iowa DOT in November 2011 for use in the development of this study. The CAC’s report is available at www.iowadot.gov/transportation2020/pdfs/CAC%20REPORT%20FINAL%20110211.pdf. The CAC’s report was developed utilizing analysis and information from the Iowa DOT. Therefore, the report forms the basis for this study and the two documents are very similar. Iowa is fortunate to have an extensive public roadway system that provides access to all areas of the state and facilitates the efficient movement of goods and people. However, it is also a tremendous challenge for the state, cities and counties to maintain and improve this system given flattening revenue, lost buying power, changing demands on the system, severe weather, and an aging system. This challenge didn’t appear overnight and for the last decade many studies have been completed to look into the situation and the legislature has taken significant action to begin addressing the situation. In addition, the Iowa DOT and Iowa’s cities and counties have worked jointly and independently to increase efficiency and streamline operations. All of these actions have been successful and resulted in significant changes; however, it is apparent much more needs to be done. A well-maintained, high-quality transportation system reduces transportation costs and provides consistent and reliable service. These are all factors that are critical in the evaluation companies undertake when deciding where to expand or locate new developments. The CAC and Iowa DOT heard from many Iowans that additional investment in Iowa’s roadway system is vital to support existing jobs and continued job creation in the state of Iowa. Beginning June 2011, the CAC met regularly to review material and discuss potential recommendations to address Iowa’s roadway funding challenges. This effort included extensive public outreach with meetings held in seven locations across Iowa and through a Transportation 2020 website hosted by the Iowa DOT (www.iowadot.gov/transportation2020). Over 500 people attended the public meetings held through the months of August and September, with 198 providing verbal or written comment at the meetings or through the website. Comments were received from a wide array of individuals. The public comments demonstrated overwhelming support for increased funding for Iowa’s roads. Through the public input process, several guiding principles were established to guide the development of recommendations. Those guiding principles are: • Additional revenues are restricted for road and bridge improvements only, like 95 percent of the current state road revenue is currently. This includes the fuel tax and registration fees. • State and local governments continue to streamline and become more efficient, both individually and by looking for ways to do things collectively. • User fee concept is preserved, where those who use the roads pay for them, including non¬residents. • Revenue-generating methods equitable across users. • Increase revenue generating mechanisms that are viable now but begin to implement and set the stage for longer-term solutions that bring equity and stability to road funding. • Continue Iowa’s long standing tradition of state roadway financing coming from pay-as-you-go financing. Iowa must not fall into the situation that other states are currently facing where the majority of their new program dollars are utilized to pay the debt service of past bonding. Based on the analysis of Iowa’s public roadway needs and revenue and the extensive work of the Governor’s Transportation 2020 Citizen Advisory Commission, the Iowa DOT has identified specific recommendations. The recommendations follow very closely the recommendations of the CAC (CAC recommendations from their report are repeated in Appendix B). Following is a summary of the recommendations which are fully documented beginning on page 21. 1. Through a combination of efficiency savings and increased revenue, a minimum of $215 million of revenue per year should be generated to meet Iowa’s critical roadway needs. 2. The Code of Iowa should be changed to require the study of the sufficiency of the state’s road funds to meet the road system’s needs every two years instead of every five years to coincide with the biennial legislative budget appropriation schedule. 3.Modify the current registration fee for electric vehicles to be based on weight and value using the same formula that applies to most passenger vehicles. 4.Consistent with existing Code of Iowa requirements, new funding should go to the TIME-21 Fund up to the cap ($225 million) and remaining new funding should be distributed consistent with the Road Use Tax Fund distribution formula. 5.The CAC recommended the Iowa DOT at least annually convene meetings with cities and counties to review the operation, maintenance and improvement of Iowa’s public roadway system to identify ways to jointly increase efficiency. In direct response to this recommendation, Governor Branstad directed the Iowa DOT to begin this effort immediately with a target of identifying $50 million of efficiency savings that can be captured from the over $1 billion of state revenue already provided to the Iowa DOT and Iowa’s cities and counties to administer, maintain and improve Iowa’s public roadway system. This would build upon past joint and individual actions that have reduced administrative costs and resulted in increased funding for improvement of Iowa’s public roadway system. Efficiency actions should be quantified, measured and reported to the public on a regular basis. 6.By June 30, 2012, Iowa DOT should complete a study of vehicles and equipment that use Iowa’s public roadway system but pay no user fees or substantially lower user fees than other vehicles and equipment.

quantiNemo: an individual-based program to simulate quantitative traits with explicit genetic architecture in a dynamic metapopulation.

quantiNemo is an individual-based, genetically explicit stochastic simulation program. It was developed to investigate the effects of selection, mutation, recombination and drift on quantitative traits with varying architectures in structured populations connected by migration and located in a heterogeneous habitat. quantiNemo is highly flexible at various levels: population, selection, trait(s) architecture, genetic map for QTL and/or markers, environment, demography, mating system, etc. quantiNemo is coded in C++ using an object-oriented approach and runs on any computer platform. Availability: Executables for several platforms, user's manual, and source code are freely available under the GNU General Public License at http://www2.unil.ch/popgen/softwares/quantinemo.

CR1Dmod: A Matlab program to model 1D complex resistivity effects in electrical and electromagnetic surveys

We have constructed a forward modelling code in Matlab, capable of handling several commonly used electrical and electromagnetic methods in a 1D environment. We review the implemented electromagnetic field equations for grounded wires, frequency and transient soundings and present new solutions in the case of a non-magnetic first layer. The CR1Dmod code evaluates the Hankel transforms occurring in the field equations using either the Fast Hankel Transform based on digital filter theory, or a numerical integration scheme applied between the zeros of the Bessel function. A graphical user interface allows easy construction of 1D models and control of the parameters. Modelling results are in agreement with other authors, but the time of computation is less efficient than other available codes. Nevertheless, the CR1Dmod routine handles complex resistivities and offers solutions based on the full EM-equations as well as the quasi-static approximation. Thus, modelling of effects based on changes in the magnetic permeability and the permittivity is also possible.

Progress in the Spanish National Barley Breeding Program

The Spanish Barley Breeding Program is carried out by four public research organizations, located at the most representative barley growing regions of Spain. The aim of this study is to evaluate the program retrospectively, attending to: i) the progress achieved in grain yield, and ii) the extent and impact of genotype-by-environment interaction of grain yield. Grain yields and flowering dates of 349 advanced lines in generations F8, F9 and F10, plus checks, tested at 163 trials over 11 years were analized. The locations are in the provinces of Albacete, Lleida, Valladolid and Zaragoza. The data are highly unbalanced because the lines stayed at the program for a maximum of three years. Progress was estimated using relative grain yield and mixed models (REML) to homogenize the results among years and locations. There was evident progress in the program over the period studied, with increasing relative yields in each generation, and with advanced lines surpassing the checks in the last two generations, although the rate of progress was uneven across locations. The genetic gain was greater from F8 to F9 than from F9 to F10. The largest non-purely environmental component of variance was genotype-by-location-by-year, meaning that the genotype-by-location pattern was highly unpredictable. The relationship between yield and flowering time overall was weak in the locations under study at this advanced stage of the program. The program can be continued with the same structure, although measures should be taken to explore the causes of slower progress at certain locations.

Assessment of Environmental Impacts of Power Generation

Through indisputable evidence of climate change and its link to the greenhouse gas emissions comes the necessity for change in energy production infrastructure during the coming decades. Through political conventions and restrictions energy industry is pushed toward using bigger share of renewable energy sources as energy supply. In addition to climate change, sustainable energy supply is another major issue for future development plans, but neither of these should come with unbearable price. All the power production types have environmental effects as well as strengths and weaknesses. Although each change comes with a price, right track in minimising the environmental impacts and energy supply security can be found by combining all possible low-carbon technologies and by improving energy efficiency in all sectors, for creating a new power production infrastructure of tolerable energy price and of minor environmental effects. GEMIS-Global Emission Model for Integrated Systems is a life-cycle analysis program which was used in this thesis to make indicative energy models for Finland’s future energy supply. Results indicate that the energy supply must comprise both high capacity nuclear power as well as large variation of renewable energy sources for minimization of all environmental effects and keeping energy price reasonable.

Automatic evaluation and data generation for analytical chemistry instrumental analysis exercises

In general, laboratory activities are costly in terms of time, space, and money. As such, the ability to provide realistically simulated laboratory data that enables students to practice data analysis techniques as a complementary activity would be expected to reduce these costs while opening up very interesting possibilities. In the present work, a novel methodology is presented for design of analytical chemistry instrumental analysis exercises that can be automatically personalized for each student and the results evaluated immediately. The proposed system provides each student with a different set of experimental data generated randomly while satisfying a set of constraints, rather than using data obtained from actual laboratory work. This allows the instructor to provide students with a set of practical problems to complement their regular laboratory work along with the corresponding feedback provided by the system's automatic evaluation process. To this end, the Goodle Grading Management System (GMS), an innovative web-based educational tool for automating the collection and assessment of practical exercises for engineering and scientific courses, was developed. The proposed methodology takes full advantage of the Goodle GMS fusion code architecture. The design of a particular exercise is provided ad hoc by the instructor and requires basic Matlab knowledge. The system has been employed with satisfactory results in several university courses. To demonstrate the automatic evaluation process, three exercises are presented in detail. The first exercise involves a linear regression analysis of data and the calculation of the quality parameters of an instrumental analysis method. The second and third exercises address two different comparison tests, a comparison test of the mean and a t-paired test.

Modelling of hydrogen stratification and gas mixing in containment using the APROS code

Hydrogen stratification and atmosphere mixing is a very important phenomenon in nuclear reactor containments when severe accidents are studied and simulated. Hydrogen generation, distribution and accumulation in certain parts of containment may pose a great risk to pressure increase induced by hydrogen combustion, and thus, challenge the integrity of NPP containment. The accurate prediction of hydrogen distribution is important with respect to the safety design of a NPP. Modelling methods typically used for containment analyses include both lumped parameter and field codes. The lumped parameter method is universally used in the containment codes, because its versatility, flexibility and simplicity. The lumped parameter method allows fast, full-scale simulations, where different containment geometries with relevant engineering safety features can be modelled. Lumped parameter gas stratification and mixing modelling methods are presented and discussed in this master’s thesis. Experimental research is widely used in containment analyses. The HM-2 experiment related to hydrogen stratification and mixing conducted at the THAI facility in Germany is calculated with the APROS lump parameter containment package and the APROS 6-equation thermal hydraulic model. The main purpose was to study, whether the convection term included in the momentum conservation equation of the 6-equation modelling gives some remarkable advantages compared to the simplified lumped parameter approach. Finally, a simple containment test case (high steam release to a narrow steam generator room inside a large dry containment) was calculated with both APROS models. In this case, the aim was to determine the extreme containment conditions, where the effect of convection term was supposed to be possibly high. Calculation results showed that both the APROS containment and the 6-equation model could model the hydrogen stratification in the THAI test well, if the vertical nodalisation was dense enough. However, in more complicated cases, the numerical diffusion may distort the results. Calculation of light gas stratification could be probably improved by applying the second order discretisation scheme for the modelling of gas flows. If the gas flows are relatively high, the convection term of the momentum equation is necessary to model the pressure differences between the adjacent nodes reasonably.

Arsenic speciation by ion-exchange chromatography with on- line determination by hydride generation: electronic modification of the D.C. plasma by photon counting

A method using L-cysteine for the determination of arsenous acid (As(III)), arsenic acid (As(V)), monomethylarsonic acid (MMAA), and dimethylarsinic acid (DMAA) by hydride generation was demonstrated. The instrument used was a d.c. plasma atomic emission spectrometer (OCP-AES). Complete recovery was reported for As(III), As(V), and DMAA while 86% recovery was reported for MMAA. Detection limits were determined, as arsenic for the species listed previously, to be 1.2, 0.8, 1.1, and 1.0 ngemL-l, respectively. Precision values, at 50 ngemL-1 arsenic concentration, were f.80/0, 2.50/0, 2.6% and 2.6% relative standard deviation, respectively. The L-cysteine reagent was compared directly with the conventional hydride generation technique which uses a potassium iodide-hydrochloric acid medium. Recoveries using L-cysteine when compared with the conventional method provided the following results: similar recoveries were obtained for As(III), slightly better recoveries were obtained for As(V) and MMAA, and significantly better recoveries for DMAA. In addition, tall and sharp peak shapes were observed for all four species when using L-cysteine. The arsenic speciation method involved separation by ion exchange .. high perfonnance liquid chromatography (HPLC) with on-line hydride generation using the L.. cysteine reagent and measurement byOCP-AES. Total analysis time per sample was 12 min while the time between the start of subsequent runs was approximately 20 min. A binary . gradient elution program, which incorporated the following two eluents: 0.01 and 0.5 mM tri.. sodium citrate both containing 5% methanol (v/v) and both at a pH of approximately 9, was used during the separation by HPLC. Recoveries of the four species which were measured as peak area, and were normalized against As(III), were 880/0, 290/0, and 40% for DMAA, MMAA and As(V), respectively. Resolution factors between adjacent analyte peaks of As(III) and DMAA was 1.1; DMAA and MMAA was 1.3; and MMAA and As(V) was 8.6. During the arsenic speciation study, signals from the d.c. plasma optical system were measured using a new photon-signal integrating device. The_new photon integrator developed and built in this laboratory was based on a previously published design which was further modified to reflect current available hardware. This photon integrator was interfaced to a personal computer through an AID convertor. The .photon integrator has adjustable threshold settings and an adjustable post-gain device.

An empirical study of the impact of two antipatterns on program comprehension

Les antipatrons sont de “mauvaises” solutions à des problèmes récurrents de conception logicielle. Leur apparition est soit due à de mauvais choix lors de la phase de conception soit à des altérations et des changements continus durant l’implantation des programmes. Dans la littérature, il est généralement admis que les antipatrons rendent la compréhension des programmes plus difficile. Cependant, peu d’études empiriques ont été menées pour vérifier l’impact des antipatrons sur la compréhension. Dans le cadre de ce travail de maîtrise, nous avons conçu et mené trois expériences, avec 24 sujets chacune, dans le but de recueillir des données sur la performance des sujets lors de tâches de compréhension et d’évaluer l’impact de l’existence de deux antipatrons, Blob et Spaghetti Code, et de leurs combinaisons sur la compréhension des programmes. Nous avons mesuré les performances des sujets en terme : (1) du TLX (NASA task load index) pour l’éffort ; (2) du temps consacré à l’exécution des tâches ; et, (3) de leurs pourcentages de réponses correctes. Les données recueillies montrent que la présence d’un antipatron ne diminue pas sensiblement la performance des sujets alors que la combinaison de deux antipatrons les entrave de façon significative. Nous concluons que les développeurs peuvent faire face à un seul antipatron, alors que la combinaison de plusieurs antipatrons devrait être évitée, éventuellement par le biais de détection et de réusinage.

Formulation interactive des requêtes pour l’analyse et la compréhension du code source

Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, structurel, quantitatif, et filtre d’interactivité) pour définir des requêtes complexes. Ces requêtes sont construites à l’aide d’un processus interactif et itératif, où des filtres de base sont choisis et exécutés, et leurs résultats sont visualisés, changés et combinés en utilisant des opérateurs prédéfinis. Nous avons évalués notre approche par l’implantation des récentes contributions en détection de défauts de conception ainsi que la localisation de fonctionnalités dans le code. Nos résultats montrent que, en plus d’être générique, notre approche aide à la mise en œuvre des solutions existantes implémentées par des outils automatiques.

Génération efficace de graphes d’appels dynamiques complets

Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation individuelle de chaque approche ne peut fournir les résultats souhaités. Les approches combinées appliquent l’analyse dynamique pour déterminer les portions à problèmes dans le code et effectuent par la suite une analyse statique concentrée sur les parties identifiées. Toutefois les outils d’analyse dynamique existants génèrent des données imprécises ou incomplètes, ou aboutissent en un ralentissement inacceptable du temps d’exécution. Lors de ce travail, nous nous intéressons à la génération de graphes d’appels dynamiques complets ainsi que d’autres informations nécessaires à la détection des portions à problèmes dans le code. Pour ceci, nous faisons usage de la technique d’instrumentation dynamique du bytecode Java pour extraire l’information sur les sites d’appels, les sites de création d’objets et construire le graphe d’appel dynamique du programme. Nous démontrons qu’il est possible de profiler dynamiquement une exécution complète d’une application à temps d’exécution non triviale, et d’extraire la totalité de l’information à un coup raisonnable. Des mesures de performance de notre profileur sur trois séries de benchmarks à charges de travail diverses nous ont permis de constater que la moyenne du coût de profilage se situe entre 2.01 et 6.42. Notre outil de génération de graphes dynamiques complets, nommé dyko, constitue également une plateforme extensible pour l’ajout de nouvelles approches d’instrumentation. Nous avons testé une nouvelle technique d’instrumentation des sites de création d’objets qui consiste à adapter les modifications apportées par l’instrumentation au bytecode de chaque méthode. Nous avons aussi testé l’impact de la résolution des sites d’appels sur la performance générale du profileur.

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.