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.

Management of Traffic Control — A Computer Oriented Approach

Traffic Management system (TMS) comprises four major sub systems: The Network Database Management system for information to the passengers, Transit Facility Management System for service, planning, and scheduling vehicle and crews, Congestion Management System for traffic forecasting and planning, Safety Management System concerned with safety aspects of passengers and Environment. This work has opened a rather wide frame work of model structures for application on traffic. The facets of these theories are so wide that it seems impossible to present all necessary models in this work. However it could be deduced from the study that the best Traffic Management System is that whichis realistic in all aspects is easy to understand is easy to apply As it is practically difficult to device an ideal fool—proof model, the attempt here has been to make some progress-in that direction.

Learning achievements of farmers during the transition to market-oriented organic agriculture in rural Uganda

Organic agriculture requires farmers with the ability to develop profitable agro-enterprises on their own. By drawing on four years of experiences with the Enabling Rural Innovation approach in Uganda, we outline how smallholder farmers transition to organic agriculture and, at the same time, increase their entrepreneurial skills and competences through learning. In order to document this learning we operationalised the Kirkpatrick learning evaluation model, which subsequently informed the collection of qualitative data in two study sites. Our analysis suggests that the Enabling Rural Innovation approach helps farmers to develop essential capabilities for identifying organic markets and new organic commodities, for testing these organic commodities under varying organic farm management scenarios, and for negotiating contracts with organic traders. We also observed several obstacles that confront farmers’ transition to organic agriculture when using the Enabling Rural Innovation approach. These include the long duration of agronomic experimentation and seed multiplication, expensive organic certification procedures and the absence of adequate mechanism for farmers to access crop finance services. Despite prevailing obstacles we conclude that the Enabling Rural Innovation approach provides a starting point for farmers to develop entrepreneurial competences and profitable agro-enterprises on their own.

Influence of molecular composition on the development of microstructure from sheared polyethylene melts: Molecular and lamellar templating

A combination of in situ and ex situ X-ray scattering techniques and transmission electron microscopy has been used to study the crystallization behaviour of polyethylene, following the imposition of melt shear. In the case of a branched material, the imposition of shear flow up to a rate of 30 s(-1) was found to induce no anisotropy. Although shearing the linear material only ever induced a very small degree of anisotropy in the melt, for shear rates > 0.15 s(-1), subsequent crystallization resulted in increasing anisotropy. Blends of the above two polyethylenes were produced, in which the linear material constituted the minority fraction (similar to 10%). Isothermal crystallization at temperatures where extensive crystallization of the branched material does not occur demonstrated that the behaviour of the linear component of the sheared blend mirrored that of the linear polyethylene alone. However, in addition, it was found that when crystallized in the presence of an oriented morphology, the branched polymer also formed anisotropic structures. We have termed the process templating, in which the crystallization behaviour of the bulk of the system (similar to 90% branched material) is completely altered (spherulitic to oriented lamellar) by mapping it onto a pre-existing minority structure (similar to 10% linear polymer). (c) 2006 Elsevier Ltd. All rights reserved.

A data collection case study supporting requirements oriented prediction and management in software developments

Consider the statement "this project should cost X and has risk of Y". Such statements are used daily in industry as the basis for making decisions. The work reported here is part of a study aimed at providing a rational and pragmatic basis for such statements. Of particular interest are predictions made in the requirements and early phases of projects. A preliminary model has been constructed using Bayesian Belief Networks and in support of this, a programme to collect and study data during the execution of various software development projects commenced in May 2002. The data collection programme is undertaken under the constraints of a commercial industrial regime of multiple concurrent small to medium scale software development projects. Guided by pragmatism, the work is predicated on the use of data that can be collected readily by project managers; including expert judgements, effort, elapsed times and metrics collected within each project.

The development of organized structures in polyethylene crystallized from a sheared melt, analyzed by WAXS and TEM

The development of global orientation and morphological features in linear polyethylene crystallizing from a sheared melt are studied using in-situ time-resolving wide angle X-ray scattering (WAXS) and ex-situ transmission electron microscopy. It is found that samples subjected to a shear rate above a critical value of ~1s-1 result in macroscopically oriented structures in the crystallized sample. This critical shear rate appears to be independent of the differences in molecular weight distribution of the samples studied although the morphologies which develop are sensitive to quite small differences in molecular weight distributions. The presence of shish kebabs in the morphology is shown to differ markedly according to variations in the upper molecular weight fraction of the molecular weight distribution, even though the resulting global orientation does not. The WAXS also reveals that areas which evidence no row nucleated structures still realize high degrees of molecular orientation. It is proposed that the formation of shish kebab or lamellar morphologies in these samples is dependent on the critical density of contiguous elongated crystallization nuclei rather than any specific global criteria.

Building the foundations for a market-oriented planning system in Bulgaria

Planning is highly conditioned by the relationships between the market, state and politics. This becomes particularly clear in looking at the changes taking place in the countries of the former Communist block as they attempt to establish a new set of relationships. The old power structures have been dislodged and old laws discarded. This paper examines the situation in Bulgaria and explores the preconditions for setting up a new planning system there. The first section outlines the political changes since 1989 and shows how political instability has effected the pace of change. The establishment of a market in land and property is a second precondition for the planning system there and moves in this direction are presented, including restitution policies. Finally the issues raised by the early attempts towards a new planning system are discussed. This paper is the first of a series looking at the countries of Eastern Europe and the author would welcome comments from others working in this field.

Multi-criteria analysis and the resolution of sustainable development dilemmas: a stakeholder management approach

We demonstrate that stakeholder-oriented multi-criteria analysis (MCA) can adequately address a variety of sustainable development dilemmas in decision-making, especially when applied to complex project evaluations involving multiple objectives and multiple stakeholder groups. Such evaluations are typically geared towards satisfying simultaneously private economic goals, broader social objectives and environmental targets. We show that, under specific conditions, a variety of stakeholder-oriented MCA approaches may be able to contribute substantively to the resolution or improved governance of societal conflicts and the pursuit of the public good in the form of sustainable development. We contrast the potential usefulness of these stakeholder-oriented approaches – in terms of their ability to contribute to sustainable development – with more conventional MCA approaches and social cost–benefit analysis.

Coaching SME managers: business development or personal therapy? A mixed methods study

While a growing number of small- and medium-sized enterprises (SMEs) are making use of coaching, little is known about the impact such coaching has within this sector. This study sought to identify the factors that influence managers' decision to engage with coaching, their perceptions of the coaching ‘journey’ and the kinds of benefits accruing from coaching: organisational, personal or both. As part of a mixed methods approach, a survey tool was developed based upon a range of relevant management competencies from the UK's Management Occupational Standards and responses analysed using importance-performance analysis, an approach first used in the marketing sector to evaluate customer satisfaction. Results indicate that coaching had a significant impact on personal attributes such as ‘Managing Self-Cognition’ and ‘Managing Self-Emotional’, whereas the impact on business-oriented attributes was weaker. Managers' choice of coaches with psychotherapeutic rather than non-psychotherapeutic backgrounds was also statistically significant. We conclude that even in the competitive business environment of SMEs, coaching was used as a largely personal, therapeutic intervention rather than to build business-oriented competencies.

Reverse transfers of innovation and national development: evidence from Brazilian subsidiaries

The search for innovation has become an important motivation for the internationalization of companies in emerging countries. In that context, this study tests the impact that a nation’s development has on whether subsidiaries transfer innovation of products or that of processes. Survey data collected from 73 subsidiaries of Brazilian companies indicate that companies located in developed markets tend to transfer more product-oriented innovations than do those based in emerging countries. Furthermore, the size and age of a subsidiary has an impact on the transfer process. The larger and younger the subsidiary, the more likely a company is to favor the flow of product innovation into its headquarters. The level of national development was not identified as an influence on the flow of process innovation.

Formal linguistic approaches to heritage language acquisition: bridges for pedagogically oriented research

The goal of this chapter is to lay out the central themes of heritage language acquisition research adopting a formal/theoretical linguistic perspective.  Specifically, we aim to provide a detailed discussion of the nature of heritage language grammars. In doing so, we will address the debates on how to explain heritage speaker competence differences from monolingual baselines and more. This chapter will not be limited to discussions of Spanish as a heritage language, but rather will highlight the important role that Spanish has played and will continue to play in the development of heritage language acquisition studies. Finally, we will offer some comments/insights on how the information covered regarding the formal linguistic properties of heritage speaker knowledge should be considered for and implemented in heritage language pedagogies and thus dealing with heritage speakers in the classroom setting.

An aspect-oriented reference architecture for Software Engineering Environments

Reusable and evolvable Software Engineering Environments (SEES) are essential to software production and have increasingly become a need. In another perspective, software architectures and reference architectures have played a significant role in determining the success of software systems. In this paper we present a reference architecture for SEEs, named RefASSET, which is based on concepts coming from the aspect-oriented approach. This architecture is specialized to the software testing domain and the development of tools for that domain is discussed. This and other case studies have pointed out that the use of aspects in RefASSET provides a better Separation of Concerns, resulting in reusable and evolvable SEEs. (C) 2011 Elsevier Inc. All rights reserved.

Development of Highly Selective Enzymatic Devices Based on Deposition of Permselective Membranes on Aligned Nanowires

We describe a simple and efficient strategy to fabricate enzymatic devices based on the deposition of glucose oxidase on aligned and highly oriented CoNiMo metallic nanowires. CoNiMo nanowires with an average diameter of 200 nm and length of 50 mu m were electrodeposited on Au-covered alumina substrates via electrodeposition, using alumina membranes as templates. Enzyme-modified electrodes were fabricated via enzyme immobilization using a cross-linker. To minimize nonspecific reactions in the presence of interfering agents, a permselective membrane composed of poly(vinylsulfonic acid) and polyamidoamine dendrimer was deposited via electrostatic interaction. The formation of hydrogen peroxide as a product of the enzymatic reaction was monitored at low overpotential, 0.0 V (vs Ag/AgCl). The detection limit was estimated at 22 mu M under an applied potential of 0.0 V. The apparent Michaelis-Menten constant determined from the Lineweaver-Burke plot was 2 mM.