Outage-optimal relay strategy under outdated channel state information in decode-and-forward cooperative communication systems

In this study, the authors investigate the outage-optimal relay strategy under outdated channel state information (CSI) in a decode-and-forward cooperative communication system. They first confirm mathematically that minimising the outage probability under outdated CSI is equivalent to minimising the conditional outage probability on the outdated CSI of all the decodable relays' links. They then propose a multiple-relay strategy with optimised transmitting power allocation (MRS-OTPA) that minimises the conditional outage probability. It is shown that this MRS is a generalised relay approach to achieve the outage optimality under outdated CSI. To reduce the complexity, they also propose a MRS with equal transmitting power allocation (MRS-ETPA) that achieves near-optimal outage performance. It is proved that full spatial diversity, which has been achieved under ideal CSI, can still be achieved under outdated CSI through MRS-OTPA and MRS-ETPA. Finally, the outage performance and diversity order of MRS-OTPA and MRS-ETPA are evaluated by simulation.

Cooperative routing for collision minimization in wireless sensor networks

Cooperative communication has gained much interest due to its ability to exploit the broadcasting nature of the wireless medium to mitigate multipath fading. There has been considerable amount of research on how cooperative transmission can improve the performance of the network by focusing on the physical layer issues. During the past few years, the researchers have started to take into consideration cooperative transmission in routing and there has been a growing interest in designing and evaluating cooperative routing protocols. Most of the existing cooperative routing algorithms are designed to reduce the energy consumption; however, packet collision minimization using cooperative routing has not been addressed yet. This dissertation presents an optimization framework to minimize collision probability using cooperative routing in wireless sensor networks. More specifically, we develop a mathematical model and formulate the problem as a large-scale Mixed Integer Non-Linear Programming problem. We also propose a solution based on the branch and bound algorithm augmented with reducing the search space (branch and bound space reduction). The proposed strategy builds up the optimal routes from each source to the sink node by providing the best set of hops in each route, the best set of relays, and the optimal power allocation for the cooperative transmission links. To reduce the computational complexity, we propose two near optimal cooperative routing algorithms. In the first near optimal algorithm, we solve the problem by decoupling the optimal power allocation scheme from optimal route selection. Therefore, the problem is formulated by an Integer Non-Linear Programming, which is solved using a branch and bound space reduced method. In the second near optimal algorithm, the cooperative routing problem is solved by decoupling the transmission power and the relay node se- lection from the route selection. After solving the routing problems, the power allocation is applied in the selected route. Simulation results show the algorithms can significantly reduce the collision probability compared with existing cooperative routing schemes.

The dynamic decode-and-forward channel: SNR allocation.

In the half-duplex relay channel applying the decode-and-forward protocol the relay introduces energy over random time intervals into the channel as observed at the destination. Consequently, during simulation the average signal power seen at the destination becomes known at run-time only. Therefore, in order to obtain specific performance measures at the signal-to-noise ratio (SNR) of interest, strategies are required to adjust the noise variance during simulation run-time. It is necessary that these strategies result in the same performance as measured under real-world conditions. This paper introduces three noise power allocation strategies and demonstrates their applicability using numerical and simulation results.

Energy Cooperation in Energy Harvesting Communication Systems

In energy harvesting communications, users transmit messages using energy harvested from nature. In such systems, transmission policies of the users need to be carefully designed according to the energy arrival profiles. When the energy management policies are optimized, the resulting performance of the system depends only on the energy arrival profiles. In this dissertation, we introduce and analyze the notion of energy cooperation in energy harvesting communications where users can share a portion of their harvested energy with the other users via wireless energy transfer. This energy cooperation enables us to control and optimize the energy arrivals at users to the extent possible. In the classical setting of cooperation, users help each other in the transmission of their data by exploiting the broadcast nature of wireless communications and the resulting overheard information. In contrast to the usual notion of cooperation, which is at the signal level, energy cooperation we introduce here is at the battery energy level. In a multi-user setting, energy may be abundant in one user in which case the loss incurred by transferring it to another user may be less than the gain it yields for the other user. It is this cooperation that we explore in this dissertation for several multi-user scenarios, where energy can be transferred from one user to another through a separate wireless energy transfer unit. We first consider the offline optimal energy management problem for several basic multi-user network structures with energy harvesting transmitters and one-way wireless energy transfer. In energy harvesting transmitters, energy arrivals in time impose energy causality constraints on the transmission policies of the users. In the presence of wireless energy transfer, energy causality constraints take a new form: energy can flow in time from the past to the future for each user, and from one user to the other at each time. This requires a careful joint management of energy flow in two separate dimensions, and different management policies are required depending on how users share the common wireless medium and interact over it. In this context, we analyze several basic multi-user energy harvesting network structures with wireless energy transfer. To capture the main trade-offs and insights that arise due to wireless energy transfer, we focus our attention on simple two- and three-user communication systems, such as the relay channel, multiple access channel and the two-way channel. Next, we focus on the delay minimization problem for networks. We consider a general network topology of energy harvesting and energy cooperating nodes. Each node harvests energy from nature and all nodes may share a portion of their harvested energies with neighboring nodes through energy cooperation. We consider the joint data routing and capacity assignment problem for this setting under fixed data and energy routing topologies. We determine the joint routing of energy and data in a general multi-user scenario with data and energy transfer. Next, we consider the cooperative energy harvesting diamond channel, where the source and two relays harvest energy from nature and the physical layer is modeled as a concatenation of a broadcast and a multiple access channel. Since the broadcast channel is degraded, one of the relays has the message of the other relay. Therefore, the multiple access channel is an extended multiple access channel with common data. We determine the optimum power and rate allocation policies of the users in order to maximize the end-to-end throughput of this system. Finally, we consider the two-user cooperative multiple access channel with energy harvesting users. The users cooperate at the physical layer (data cooperation) by establishing common messages through overheard signals and then cooperatively sending them. For this channel model, we investigate the effect of intermittent data arrivals to the users. We find the optimal offline transmit power and rate allocation policy that maximize the departure region. When the users can further cooperate at the battery level (energy cooperation), we find the jointly optimal offline transmit power and rate allocation policy together with the energy transfer policy that maximize the departure region.

Water Demand and Allocation in the Mara River Basin, Kenya/Tanzania in the Face of Land Use Dynamics and Climate Variability

The Mara River Basin (MRB) is endowed with pristine biodiversity, socio-cultural heritage and natural resources. The purpose of my study is to develop and apply an integrated water resource allocation framework for the MRB based on the hydrological processes, water demand and economic factors. The basin was partitioned into twelve sub-basins and the rainfall runoff processes was modeled using the Soil and Water Assessment Tool (SWAT) after satisfactory Nash-Sutcliff efficiency of 0.68 for calibration and 0.43 for validation at Mara Mines station. The impact and uncertainty of climate change on the hydrology of the MRB was assessed using SWAT and three scenarios of statistically downscaled outputs from twenty Global Circulation Models. Results predicted the wet season getting more wet and the dry season getting drier, with a general increasing trend of annual rainfall through 2050. Three blocks of water demand (environmental, normal and flood) were estimated from consumptive water use by human, wildlife, livestock, tourism, irrigation and industry. Water demand projections suggest human consumption is expected to surpass irrigation as the highest water demand sector by 2030. Monthly volume of water was estimated in three blocks of current minimum reliability, reserve (>95%), normal (80–95%) and flood (40%) for more than 5 months in a year. The assessment of water price and marginal productivity showed that current water use hardly responds to a change in price or productivity of water. Finally, a water allocation model was developed and applied to investigate the optimum monthly allocation among sectors and sub-basins by maximizing the use value and hydrological reliability of water. Model results demonstrated that the status on reserve and normal volumes can be improved to ‘low’ or ‘moderate’ by updating the existing reliability to meet prevailing demand. Flow volumes and rates for four scenarios of reliability were presented. Results showed that the water allocation framework can be used as comprehensive tool in the management of MRB, and possibly be extended similar watersheds.

Jointly multi-user detection and channel estimation with genetic algorithm

This work aims at proposing the use of the evolutionary computation methodology in order to jointly solve the multiuser channel estimation (MuChE) and detection problems at its maximum-likelihood, both related to the direct sequence code division multiple access (DS/CDMA). The effectiveness of the proposed heuristic approach is proven by comparing performance and complexity merit figures with that obtained by traditional methods found in literature. Simulation results considering genetic algorithm (GA) applied to multipath, DS/CDMA and MuChE and multi-user detection (MuD) show that the proposed genetic algorithm multi-user channel estimation (GAMuChE) yields a normalized mean square error estimation (nMSE) inferior to 11%, under slowly varying multipath fading channels, large range of Doppler frequencies and medium system load, it exhibits lower complexity when compared to both maximum likelihood multi-user channel estimation (MLMuChE) and gradient descent method (GrdDsc). A near-optimum multi-user detector (MuD) based on the genetic algorithm (GAMuD), also proposed in this work, provides a significant reduction in the computational complexity when compared to the optimum multi-user detector (OMuD). In addition, the complexity of the GAMuChE and GAMuD algorithms were (jointly) analyzed in terms of number of operations necessary to reach the convergence, and compared to other jointly MuChE and MuD strategies. The joint GAMuChE-GAMuD scheme can be regarded as a promising alternative for implementing third-generation (3G) and fourth-generation (4G) wireless systems in the near future. Copyright (C) 2010 John Wiley & Sons, Ltd.

S/MIMO MC-CDMA Heuristic Multiuser Detectors Based on Single-Objective Optimization

This paper analyzes the complexity-performance trade-off of several heuristic near-optimum multiuser detection (MuD) approaches applied to the uplink of synchronous single/multiple-input multiple-output multicarrier code division multiple access (S/MIMO MC-CDMA) systems. Genetic algorithm (GA), short term tabu search (STTS) and reactive tabu search (RTS), simulated annealing (SA), particle swarm optimization (PSO), and 1-opt local search (1-LS) heuristic multiuser detection algorithms (Heur-MuDs) are analyzed in details, using a single-objective antenna-diversity-aided optimization approach. Monte- Carlo simulations show that, after convergence, the performances reached by all near-optimum Heur-MuDs are similar. However, the computational complexities may differ substantially, depending on the system operation conditions. Their complexities are carefully analyzed in order to obtain a general complexity-performance framework comparison and to show that unitary Hamming distance search MuD (uH-ds) approaches (1-LS, SA, RTS and STTS) reach the best convergence rates, and among them, the 1-LS-MuD provides the best trade-off between implementation complexity and bit error rate (BER) performance.

Everis’ Internationalization strategy to the Nordic market

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

Effects of both ecdysone and the acclimation to low temperature, on growth and metabolic rate of juvenile freshwater crayfish Cherax quadricarinatus (Decapoda, Parastacidae)

Growth, metabolic rate, and energy reserves of Cherax quadricarinatus (von Martens, 1868) juveniles were evaluated in crayfish acclimated for 16 weeks to either 25ºC (temperature near optimum) or 20ºC (marginal for the species). Additionally, the modulating effect of ecdsyone on acclimation was studied. After 12 weeks of exposure, weight gain of both experimental groups acclimated to 25ºC (control: C25, and ecdysone treated: E25) was significantly higher than that of those groups acclimated to 20ºC (C20 and E20). A total compensation in metabolic rate was seen after acclimation from 25ºC to 20ºC; for both the control group and the group treated with ecdysone. A Q10value significantly higher was only observed in the group acclimated to 20ºC and treated with ecdysone. A reduction of glycogen reserves in both hepatopancreas and muscle, as well as a lower protein content in muscle, was seen in both groups acclimated to 20ºC. Correspondingly, glycemia was always higher in these groups. Increased lipid levels were seen in the hepatopancreas of animals acclimated to 20ºC, while a higher lipid level was also observed in muscle at 20ºC, but only in ecdysone-treated crayfish.

Anfíbios Anuros do Distrito Federal

The frogs of the Federal District of Brazil are listed and discussed as to habit, biology and ecology. The F. D is situated 22° 54' 24" S. & 43° 10' 21" W Gr. and comprises 1.356 km². Its topography includes sea-shore, maritime scrub, lagoons, plains and marsh, open slopes, forested mountains and great heads of rock. Three thousand feet of altitude are attained at two points. Fifty two different frogs occur in the F.D. Three fifths of them live in open country. Two fifths of these have never been found above the plains; the others range higher but mostly in open country. Their environment offers conditions suitable for average tadpoles and adults. these frogs are more or less unspecialized. There are six genera and thirty species. Two thirds of the latter belong to the type genera of the large neotropical families Bufonidae, Leptodactylidae and Hylidae. Only in the maritime scrub formation are conditions somewhat different. Water for average tadpoles is provided by the lagoons. The xerophytism of the vegetation is, however, so marked that bromeliads growing on the ground provide almost the only appropriate shelter for adult tree-frogs used to sleeping upright on the vegetation. One large Hylid genus lives entirely in them. It is casque-headed and phragmotic, shutting the lumen of the leaf-cup with head used as a plug. Another large Hylid genus shows a lesser degree of the same specialization. (Lutz A & Lutz B, 1939 II). One genus with two species is entirely saxicolous; it lives on wet ledges of rock at all phases of its life history. (B. Lutz 1948). The other two fifths of the frogs from F. D. are montane forest forms. Their environment offers numerous and varied biotopes and is near optimum for adults. There is,however, hardly any standing water available for larvae. These frogs are ecologically diversified. They also show a general trend towards spawning in the adult biotipe, which leads to delayed hatching, semi-aquatic and terrestrial larvae and direct development. (B Lutz, 1948). The author interprets the morphological specialization of the casque-headed Hylids and the biological specialization of the montane forest forms as adaptive. Casque-headedness and phragmosis increase protection against blood-suckers and predators. The humidity of the rain forest permits eggs, embryos and larvae to develop, unharmed, outside their usual, aquatic, environment.

Capacity of MIMO Channels: asymptotic evaluation under correlated fading

This paper investigates the asymptotic uniform power allocation capacity of frequency nonselective multiple-inputmultiple-output channels with fading correlation at either thetransmitter or the receiver. We consider the asymptotic situation,where the number of inputs and outputs increase without boundat the same rate. A simple uniparametric model for the fadingcorrelation function is proposed and the asymptotic capacity perantenna is derived in closed form. Although the proposed correlationmodel is introduced only for mathematical convenience, itis shown that its shape is very close to an exponentially decayingcorrelation function. The asymptotic expression obtained providesa simple and yet useful way of relating the actual fadingcorrelation to the asymptotic capacity per antenna from a purelyanalytical point of view. For example, the asymptotic expressionsindicate that fading correlation is more harmful when arising atthe side with less antennas. Moreover, fading correlation does notinfluence the rate of growth of the asymptotic capacity per receiveantenna with high Eb /N0.

Vaneri- ja kertopuutehtaiden kuivatuskoneiden lämmöntalteenottojen järjestelmäselvitys

Vanerin tai kertopuun valmistusprosessissaviilun kuivaukseen käytetään suurin osa koko valmistusprosessin primäärienergiasta. Viilunkuivauskoneessa viilun sisältämä vesi siirretään tyypillisesti prosessihöyryllä lämmitettyyn viilunkuivaajan kiertoilmaan höyrystämällä ja poistetaanviilunkuivaajasta poistoilman mukana. Viilunkuivaajan poistoilma on lämmintä jaerittäin suuren kosteuspitoisuutensa takia sisältää runsaasti energiaa. Tyypillisellä viilunkuivaajalla poistoilmaan sitoutunut lämpöteho vaihtelee prosessiolosuhteista riippuen välillä 2,7-5,7 MW. Diplomityössä tutkittiin viilunkuivaajan poistoilman sisältämän lämmön talteenottoa laitteistolla, johon kuuluu lämmöntalteenottopesuri, jossa poistoilmalla lämmitetään tuotantolaitoksen tukkipuun hautomon kiertovettä sekä ilma-ilma-lämmönsiirrin, jolla lämmitetään pesurista poistuvan ilman jäännöslämmöllä ulkoilmaa tehdassalin tuloilmakäyttöön. Työn tavoitteena oli kehittää lämmöntalteenottojärjestelmän suunnittelua, mitoitusta ja ajotapoja. Työssä analysoitiin teoreettisesti pesuria ja ilmalämmönsiirrintä, kehitettiin lämmöntalteenottopesurin simulointimenetelmä ja mitattiin toiminnassa olevia talteenottolaitteistoja. Tutkimuksessa todettiin lämmöntalteenottohyötysuhteen vaihtelevan lämmityskaudella välillä 50-70 %. Lämmöntalteenottolaitteiston pesurin veteen saatava teho riippuu ensisijaisesti viilunkuivaajan poistoilman lämpösisällöstä, joka on enimmäkseen kosteusriippuvainen ja ilmanvaihtoilmaan saatava teho ulkolämpö-tilan määräämästä tehontarpeesta. Pesurin vesijärjestelmän vaikutusmekanismit pesurin suorituskykyyn tunnistettiin ja niiden pohjalta annetaan suositukset mitoitukseen ja ajotapaan. Lämmöntalteenottolaitteiston lämpötehon tasapainottamiseen pesurin ja ilma-ilma-lämmönsiirtimen välillä mitoituksen avulla esitellään työkalut.

Hybrid turbo FEC/ARQ systems and distributed space-time coding for cooperative transmission

Cooperative transmission can be seen as a "virtual" MIMO system, where themultiple transmit antennas are in fact implemented distributed by the antennas both at the source and the relay terminal. Depending on the system design, diversity/multiplexing gainsare achievable. This design involves the definition of the type of retransmission (incrementalredundancy, repetition coding), the design of the distributed space-time codes, the errorcorrecting scheme, the operation of the relay (decode&forward or amplify&forward) and thenumber of antennas at each terminal. Proposed schemes are evaluated in different conditionsin combination with forward error correcting codes (FEC), both for linear and near-optimum(sphere decoder) receivers, for its possible implementation in downlink high speed packetservices of cellular networks. Results show the benefits of coded cooperation over directtransmission in terms of increased throughput. It is shown that multiplexing gains areobserved even if the mobile station features a single antenna, provided that cell wide reuse of the relay radio resource is possible.

Haja-asutusalueiden sähkönjakelujärjestelmien kehittäminen – erityisesti 1000 V jakelujännitteen käyttömahdollisuudet

Yhteiskunnan riippuvuus sähköstä on lisääntynyt voimakkaasti viime vuosikymmenien aikana. Sähkönjakelussa esiintyneet lyhyet ja pitkät keskeytykset ovat osoittaneet yhteiskunnan haavoittuvuuden ja yhteiskunta kestää entistä vähemmän sähkönjakelussa tapahtuvia häiriöitä. Keskeytyksistä aiheutuneiden haittojen arvostus on kasvanut ja tämä on luonut taloudelliset perusteet sähkön laatua parantaville investoinneille. Haja-asutusalueiden keskijänniteverkon johdot on rakennettu avojohtoina ja siten ne ovat alttiita sääolosuhteista johtuville myrsky- ja lumikuormavaurioille. Ilmastomuutoksen ennustetaan lisäävän tuulisuutta ja siten ongelmat sähkönjakelussa mahdollisesti lisääntyvät. Taajamissa käytetään enemmän kaapeleita ja johtolähdöt ovat lyhyitä, joten myrskyistä aiheutuvia keskeytyksiä on vähemmän kuin haja-asutusalueella. Olemassa olevat jakeluverkot ovat käytössä vielä vuosikymmeniä, joten uuden tekniikan kehittämisen rinnalla on kehitettävä myös olemassa olevaa jakeluverkkoa ja sen ylläpitoa. Ylläpidon tavoitteena on käyttövarmuuden parantamisen lisäksi huolehtia siitä, että jakeluverkkoihin sitoutunut omaisuus säilyttää arvonsa mahdollisimman hyvin pitoajan loppuun saakka. Jakeluverkkoihin investoitiin paljon 1950–70-luvuilla. Tältä ajalta on yhä käytössä puupylväitä, joiden ikääntymisen takia korvausinvestointien tarve kasvaa. Hyvänä puolena tässä on että käyttövarmuuden parantamiseksi olemassa olevaa jakeluverkkoa ei tarvitse uusia ennenaikaisesti. Tutkimuksessa päähuomio on haja-asutusalueiden 20 kV keskijänniteverkon kehittämisessä, sillä yli 90 % asiakkaiden kokemista keskeytyksistä johtuu keskijänniteverkon vioista. Erityisesti johtorakenteisiin ja johtojen sijoittamiseen on kiinnitettävä huomiota. Käyttövarmuuden lisäksi jakeluverkkojen kehittämistä ohjaavia tekijöitä ovat taloudellisuus, ympäristön huomioiminen, viranomaisvalvonta sekä asiakkaiden ja omistajien odotukset. Haja-asutusalueilla taloudelliset haasteet ovat suuret vakituisen väestön vähenemisen ja mahdollisesti sähköntarpeen pienenemisen takia. Taloudellisuus korostuu ja riskit kasvavat, kun tuottojen määrä supistuu tarvittaviin jakeluverkon investointeihin ja ylläpitokustannuksiin verrattuna. Ristiriitaa aiheuttaa se, että asiakkaat odottavat sähkönjakelulta parempaa luotettavuutta, mutta paremmasta sähkönlaadusta ei olla valmiita maksamaan juurikaan nykyistä enempää. Jakeluverkkojen kehittämistä voi hidastaa myös viranomaisvalvonta, jos tuottoja ei voida lisätä investointien lisätarpeiden suhteessa. Tutkimuksessa on analysoitu yleisellä tasolla kaapeloinnin lisäämistä, korkeiden pylväiden käyttämistä, leveitä johtokatuja, edullisten ja yksinkertaisten sähköasemien rakentamista haja-asutusalueille ja automaatioasemien lisäämistä keskijänniteverkon solmupisteisiin. Erityisesti tutkimuksessa on analysoitu uutena tekniikkana 1000 V jännitteen käyttömahdollisuutta jakeluverkkojen kehittämisessä. Sähköjohtojen siirtäminen teiden varsiin parantaa käyttövarmuutta, vaikka johdot rakennetaan samalla tekniikalla kuin olemassa olevat johdot. Hajaasutusalueille rakennettavilla sähköasemilla pitkät syöttöjohdot voidaan jakaa pienemmiksi syöttöalueiksi, jolloin keskeytyksistä aiheutuvat haitat koskettavat kerrallaan pienempää asiakasmäärää. Samaan tulokseen päästään oikein sijoitetuilla ja toteutetuilla automaatioasemilla. Tutkimuksen mukaan lupaavaksi tekniikaksi jakeluverkkojen kehittämisessä on osoittautumassa 1000 V jänniteportaan ottaminen 400 V pienjännitteen lisäksi. 1000 V verkoilla voidaan korvata häiriöherkkiä 20 kV keskijänniteverkon lyhyitä, alle viiden kilometrin pituisia haarajohtoja ja haarajohtojen jatkeita, missä siirrettävät tehot ovat pieniä. Uudessa jakelujärjestelmässä sähkö tuodaan 1000 V jännitteellä lähelle asiakasta, jossa jännite muunnetaan normaaliksi asiakkaille soveltuvaksi 400/230 V jännitteeksi. Edullisuus perustuu siihen, että rakentamisessa käytetään samoja pienjännitejohtoja kuin asiakkaille menevässä 400 V pienjänniteverkossa. 1000 V jakelutekniikassa sekä investointikustannukset että ylläpitokustannukset ovat pienemmät kuin perinteisessä 20 kV ilmajohtotekniikassa. 1000 V johdot säästävät maisemaa, sillä ne eivät tarvitse leveää johtokatua kuten 20 kV keskijännitejohdot. 1000 V verkkojen käyttö soveltuukin erityisesti vapaa-ajanasuntojen sähköistykseen herkissä ranta- ja järvimaisemissa. 1000 V verkot mahdollistavat kaapeliauraamisen lisäämisen ja näin voidaan vähentää ympäristöä haittaavien kyllästettyjen pylväiden käyttöä. 1000 V jakeluverkkojen osalta tutkimustyön tuloksia on sovellettu suomalaisessa Suur-Savon Sähkö Oy:ssä. Käytännön kokemuksia 1000 V jakelujärjestelmästä on useista kymmenistä kohteista. Tutkimustulokset osoittavat, ettei keskijänniteverkon maakaapelointi hajaasutusalueilla ole taloudellisesti kannattavaa nykyisillä keskeytyksistä aiheutuvilla haitta-arvoilla, mutta jos keskeytyskustannusten arvostus kasvaa, tulee kaapelointi kannattavaksi monissa paikoissa. Myös myrskyisyyden ja myrskyistä aiheutuvien jakelukeskeytysten lisääntyminen tekisi kaapeloinnista kannattavan. Tulevaisuudessa jakeluverkkojen rakentaminen on entistä monimuotoisempi tehtävä, jossa taloudellisuuden ja käyttövarmuuden lisäksi on huomioitava asiakkaat, omistajat, viranomaiset ja ympäristö. Tutkimusta jakelutekniikan kehittämiseksi tarvitaan edelleen. Tulevaisuuden osalta haja-asutusalueiden jakeluverkkojen kehittämiseen liittyy paljon epävarmuuksia. Hajautetun kiinteistökohtaisen sähköntuotannon lisääntyminen voi tehdä jakeluverkoista nykyistä tarpeettomampia, mutta esimerkiksi liikenteen sähköistyminen voi kasvattaa jakeluverkkojen merkitystä. Tästä syystä jakeluverkkojen rakentamisessa tarvitaan joustavuutta, jotta tarvittaessa voidaan helposti sopeutua erilaisiin kehityssuuntiin.

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.