On Fault Tolerance Methods for Networks-on-Chip

Technology scaling has proceeded into dimensions in which the reliability of manufactured devices is becoming endangered. The reliability decrease is a consequence of physical limitations, relative increase of variations, and decreasing noise margins, among others. A promising solution for bringing the reliability of circuits back to a desired level is the use of design methods which introduce tolerance against possible faults in an integrated circuit. This thesis studies and presents fault tolerance methods for network-onchip (NoC) which is a design paradigm targeted for very large systems-onchip. In a NoC resources, such as processors and memories, are connected to a communication network; comparable to the Internet. Fault tolerance in such a system can be achieved at many abstraction levels. The thesis studies the origin of faults in modern technologies and explains the classification to transient, intermittent and permanent faults. A survey of fault tolerance methods is presented to demonstrate the diversity of available methods. Networks-on-chip are approached by exploring their main design choices: the selection of a topology, routing protocol, and flow control method. Fault tolerance methods for NoCs are studied at different layers of the OSI reference model. The data link layer provides a reliable communication link over a physical channel. Error control coding is an efficient fault tolerance method especially against transient faults at this abstraction level. Error control coding methods suitable for on-chip communication are studied and their implementations presented. Error control coding loses its effectiveness in the presence of intermittent and permanent faults. Therefore, other solutions against them are presented. The introduction of spare wires and split transmissions are shown to provide good tolerance against intermittent and permanent errors and their combination to error control coding is illustrated. At the network layer positioned above the data link layer, fault tolerance can be achieved with the design of fault tolerant network topologies and routing algorithms. Both of these approaches are presented in the thesis together with realizations in the both categories. The thesis concludes that an optimal fault tolerance solution contains carefully co-designed elements from different abstraction levels

Highly Available Enterprise-level Application Server Architecture

Korkeasaatavuus on olennainen osa nykyaikaisissa, integroiduissa yritysjärjestelmissä. Yritysten kansainvälistyessä tiedon on oltava saatavissa ympärivuorokautisesti, mikä asettaa yhä kovempia vaatimuksia järjestelmän yksittäisten osien saatavuudelle. Kasvava tietojärjestelmäintegraatio puolestaan tekee järjestelmän solmukohdista kriittisiä liiketoiminnan kannalta. Tässä työssä perehdytään hajautettujen järjestelmien ominaisuuksiin ja niiden asettamiin haasteisiin. Esiteltyjä teknologioita ovat muun muassa väliohjelmistot, klusterit ja kuormantasaus. Yrityssovellusten pohjana käytetty Java 2 Enterprise Edition (J2EE) -teknologia käsitellään olennaisilta osiltaan. Työssä käytetään sovelluspalvelinalustana BEA WebLogic Server -ohjelmistoa, jonka ominaisuudet käydään läpi hajautuksen kannalta. Työn käytännön osuudessa toteutetaan kahdelle erilaiselle olemassa olevalle yrityssovellukselle korkean saatavuuden sovelluspalvelinympäristö, joissa sovellusten asettamat rajoitukset on otettu huomioon.

Agent-augmented process automation system in a panel board factory

Kiristyvä kansainvälinen kilpailu pakottaa automaatiojärjestelmien valmistajat ottamaan käyttöön uusia menetelmiä, joiden avulla järjestelmien suorituskykyä ja joustavuutta saadaan parannettua. Agenttiteknologiaa on esitetty käytettäväksi olemassa olevien automaatiojärjestelmien kanssa vastaamaan automaatiolle asetettaviin uusiin haasteisiin. Agentit ovat itsenäisiä yhteisöllisiä toimijoita, jotka suorittavat niille ennalta määrättyjä tehtäviä. Ne tarjoavat yhtenäisen kehyksen kehittyneiden toimintojen toteutukselle. Agenttiteknologian avulla automaatiojärjestelmä saadaan toimimaan joustavasti ja vikasietoisesti. Tässä työssä selostetaan agenttiteknologian ajatuksia ja käsitteitä. Lisäksi selvitetään sen soveltuvuutta monimutkaisten ohjausjärjestelmien kehittämiseen ja etsitään käyttökohteita sen soveltamiselle levytehtaassa. Työssä käsitellään myös aatteita, jotka ovat johtaneet agenttiteknologian käyttöön automaatiojärjestelmissä, sekä selostetaan agenttiavusteisen esimerkkisovelluksen rakenne ja testitulokset. Tutkimuksen tuloksena löydettiin useita kohteita agenttiteknologian käytölle levytehtaassa. Esimerkkisovellus osoittaa sen sopivan hyvin kehittyneiden toimintojen toteutukseen automaatiojärjestelmissä.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Kaksoiskäämitty hybridibussin kestomagneettiajomoottori

Tämä työ on tehty Lappeenrannan teknilliselle yliopistolle, joka on suunnitellut ja toteuttanut hybridibussin. Hybridibussin ajomoottorissa käytetään kaksoiskäämitystä, joka mahdollistaa bussin ajamisen vikatilanteessa, jossa toinen käämityksistä on epäkunnossa. Työn tavoitteena on selvittää, millainen kaksoiskäämitys toimii parhaiten tämän hybridibussin kestomagneettiajomoottorissa. Työssä tutustutaan ajomoottoreihin ja niiltä vaadittaviin ominaisuuksiin sekä vikasietoisiin sähkömoottoreihin. Tutkimuksessa löydettyihin vikasietoisiin ajomoottoreihin perustuen päädyttiin neljään kaksoiskäämitysvaihtoehtoon. Näitä kaksoiskäämityksiä tutkittiin FE-analyysiä hyödyntäen. Kaksoiskäämitysten toimintaa simuloitiin nimellis- ja vikatilanteessa. Simuloinnin tuloksista selvisi, että kaksoiskäämitys, jossa jokaisessa urassa oli puolet yhtä käämitystä ja puolet toista (kaksoiskäämitys 1), ei toiminut kunnolla nimellistilanteessa eikä vikatilanteessa. Suurin ongelma oli vikatilanteessa aiheutuva suuri oikosulkuvirta. Kaksoiskäämitys, jossa kaksi napaa oli samaa käämitystä (kaksoiskäämitys 2), toimi moitteettomasti nimellistilanteessa. Vikatilanteen toiminnassa kuitenkin havaittiin epäjaksollisuutta magneettivuontiheydessä, mikä on haitallista moottorin käynnille ja vaaraksi roottorille. Kaksoiskäämityksiä, joista ensimmäisessä oli neljäsosa konetta samaa käämitystä (kaksoiskäämitys 3) ja toisessa puolet koneesta samaa käämitystä (kaksoiskäämitys 4), tutkittiin vikatilanteessa vain magneettivuontiheyden osalta. Puolet ja puolet käämityn koneen osalta magneettivuontiheys osottautui epäjaksolliseksi kuten oli odotettu. Neljäsosiksi käämityn koneen magneettivuontiheys oli säännöllisen jaksollinen. Nimellispisteessä kaksoiskäämityksillä 3 ja 4 havaittiin suuri vääntöväre verrattuna kaksoiskäämityksiin 1 ja 2. Johtopäätöksenä kaksoiskäämitys 3 vaikuttaa lupaavalta, mikäli suuri nimellispisteen vääntöväre saadaan hallintaan käyttämällä uravinoutta staattorissa.

Cardan Gear Mechanism versus Slider-Crank Mechanism in Pumps and Engines

In machine design we always want to save space, save energy and produce as much power as possible. We can often reduce accelerations, inertial loads and energy consumption by changing construction. In this study the old cardan gear mechanism (hypocycloid mechanism) has been compared with the conventional slider-crank mechanism in air pumps and four-stroke engines. Comprehensive Newtonian dynamics has been derived for the both mechanisms. First the slidercrank and the cardan gear machines have been studied as lossless systems. Then the friction losses have been added to the calculations. The calculation results show that the cardan gear machines can be more efficient than the slider-crank machines. The smooth running, low mass inertia, high pressures and small frictional power losses make the cardan gear machines clearly better than the slider-crank machines. The dynamic tooth loads of the original cardan gear construction do not rise very high when the tooth clearances are kept tight. On the other hand the half-size crank length causes high bearing forces in the cardan gear machines. The friction losses of the cardan gear machines are generally quite small. The mechanical efficiencies are much higher in the cardan gear machines than in the slider-crank machines in normal use. Crankshaft torques and power needs are smaller in the cardan gear air pumps than in the equal slider-crank air pumps. The mean crankshaft torque and the mean output power are higher in the cardan gear four-stroke engines than in the slider-crank four-stroke engines in normal use. The cardan gear mechanism is at its best, when we want to build a pump or an engine with a long connecting rod (≈ 5⋅crank length) and a thin piston (≈ 1.5⋅crank length) rotating at high angular velocity and intermittently high angular acceleration. The cardan gear machines can be designed also as slide constructions without gears. Suitable applications of the cardan gear machines are three-cylinder half-radial engines for motorcycles, sixcylinder radial engines for airplanes and six-cylinder double half-radial engines for sport cars. The applied equations of Newtonian dynamics, comparative calculations, calculation results (tables, curves and surface plots) and recommendations presented in this study hold novelty value and are unpublished before. They have been made and written by the author first time in this study.

Clean development mechanism and joint implementation in China and Russia as related to industrial energy projects

Being highly discussed the problem of climate change and global warming has been keeping importance for several of decades. As a response to the world’s need in solution for climate change disasters, the United Nations Framework Convention on Climate Change was adopted in 1992 and supplemented with the Kyoto protocol in 1997. This work is aimed to give better understanding of the Convention, Kyoto Protocol with its mechanisms and their function, related to energy projects in such case countries, as Russia and China, in order to assist evaluation of projects cost-effectiveness. It provides basic information about the Convention and the Protocol with their regulations, overview of present situation and future post-Kyoto forecasts, while the most attention is concentrated on the clean development mechanism and joint implementation step-by-step project cycles and specific regulations in given countries. The current study disclosed that CDM and JI project cycles are resulting in a complicated process. By the moment it requires step-by-step following of a number of methodologies, spending time and finance to particular project development. Uncertainties about post-Kyoto period bring additional risk to the projects and complicate any business decision concerning Kyoto Protocol.

Real-Time Simulation of Mobile and Industrial Machines Using the Multibody Simulation Approach

This thesis introduces a real-time simulation environment based on the multibody simulation approach. The environment consists of components that are used in conventional product development, including computer aided drawing, visualization, dynamic simulation and finite element software architecture, data transfer and haptics. These components are combined to perform as a coupled system on one platform. The environment is used to simulate mobile and industrial machines at different stages of a product life time. Consequently, the demands of the simulated scenarios vary. In this thesis, a real-time simulation environment based on the multibody approach is used to study a reel mechanism of a paper machine and a gantry crane. These case systems are used to demonstrate the usability of the real-time simulation environment for fault detection purposes and in the context of a training simulator. In order to describe the dynamical performance of a mobile or industrial machine, the nonlinear equations of motion must be defined. In this thesis, the dynamical behaviour of machines is modelled using the multibody simulation approach. A multibody system may consist of rigid and flexible bodies which are joined using kinematic joint constraints while force components are used to describe the actuators. The strength of multibody dynamics relies upon its ability to describe nonlinearities arising from wearing of the components, friction, large rotations or contact forces in a systematic manner. For this reason, the interfaces between subsystems such as mechanics, hydraulics and control systems of the mechatronic machine can be defined and analyzed in a straightforward manner.

Paperikoneen hyötysuhteen parantaminen kunnossapidon keinoin

Stora Enson Kotkan tehtaiden paperikone yksi on pieni erikoislaatuja tekevä paperikone, jonka hy6tysuhteen parantamiseen on etsitty keinoja kunnossapidon toimesta. Kansainvälisen kilpailun kiristyessä sekä raaka aineiden ja energian kallistuessa paperikoneen hy6tysuhteen tulee olla korkealla tasolla. Tämän diplomity6n kirjallisuusosassa on perehdytty yleisesti kunnossapidon käsitteisiin ja toimintatapoihin. Vikaantumisen osiossa on pyritty l6ytamaan mekanismi laakereiden vikaantumiseen ja kunnonvalvonnalla keinot laakereiden vikaantumisen ehkäisyyn. Työn käytännön osiossa tutkittiin paperikoneen häiriökirjauksia vuosilta 2006 ja 2007 tehtaan toiminnanohjausjärjestelmistä. Samanaikaisesti selvitettiin toimenpidekirjauksia ja tehtyjä korjauksia samoihin kohteisiin, joissa vikaantumista tapahtuu. Tavoitteena oli selvittää syyt suuriin hairi6seisokkiaikoihin sekä analysoida suunniteltujen ja suunnittelemattomien seisokkien suhdetta. Tutkimuksessa havaittiin häiriökirjauksien puutteellisuus ja kirjauksien merkitys häiriöiden ennaltaehkäisyssä.

Photoinhibition of Photosystem II. Kinetics, Photoprotection and Mechanism

Photosystem II (PSII) is susceptible to light-induced damage defined as photoinhibition. In natural conditions, plants are capable of repairing the photoinhibited PSII by on-going degradation and re-synthesis of the D1 reaction centre protein of PSII. Photoinhibition is induced by both visible and ultraviolet light and photoinhibition occurs under all light intensities with the same efficiency per photon. In my thesis work, I studied the reaction kinetics and mechanism of photoinhibition of PSII, as well as photoprotection in leaves of higher plants. Action spectroscopy was used to identify photoreceptors of photoinhibition. I found that the action spectrum of photoinhibition in vivo shows resemblance to the absorption spectra of manganese model compounds of the oxygen evolving complex (OEC) suggesting a role for manganese as a photoreceptor of photoinhibition under UV and visible light. In order to study the protective effect of non-photochemical quenching, the action spectrum was measured from leaves of wild type Arabidopsis thaliana and two mutants impaired in nonphotochemical quenching of chlorophyll a excitations. The findings of action spectroscopy and simulations of chlorophyll-based photoinhibition mechanisms suggested that quenching of antenna excitations protects less efficiently than would be expected if antenna chlorophylls were the only photoreceptors of photoinhibition. The reaction kinetics of prolonged photoinhibition was studied in leaves of Cucurbita maxima and Capsicum annuum. The results indicated that photoinhibitory decrease in both the oxygen evolution activity and ratio of variable to maximum fluorescence follows firstorder kinetics in vivo. The persistence of first-order kinetics suggests that already photoinhibited reaction centres do not protect against photoinhibition and that the mechanism of photoinhibition does not have a reversible intermediate. When Cucurbita maxima leaves were photoinhibited with saturating single-turnover flashes and continuous light, the light response curve of photoinhibition was found to be essentially a straight line with both types of illumination, suggesting that similar photoinhibition mechanisms might function during illumination with continuous light and during illumination with short flashes.

Structure-related magnetic fabric studies : implications for deformed and undeformed Precambrian rocks

The aim of this thesis research was to gain a better understanding of the emplacement of rapakivi granite intrusions, as well as the emplacement of gold-bearing hydrothermal fluids in structurally controlled mineralizations. Based on investigations of the magnetic fabric, the internal structures could be analysed and the intrusion mechanisms for rapakivi granite intrusions and respectively different deformation stages within gold-bearing shear and fault zones identified. Aeromagnetic images revealed circular structures within the rapakivi granite batholiths of Wiborg, Vehmaa and Åland. These circular structures represent intrusions that eventually build up these large batholiths. The rapakivi granite intrusions of Vehmaa, Ruotsinpyhtää within the Wiborg batholith and Saltvik intrusions within the Åland batholith all show bimodal magnetic susceptibilities with paramagnetic and ferromagnetic components. The distribution of the bimodality is related to different magma batches of the studied intrusions. The anisotropy of magnetic susceptibility (AMS) reveals internal structures that cannot be studied macroscopically or by microscope. The Ruotsinpyhtää and Vehmaa intrusions represent similar intrusion geometries, with gently to moderately outward dipping magnetic foliations. In the case of Vehmaa, the magnetic lineations are gently plunging and trend in the directions of the slightly elongated intrusion. The magnetic lineations represent magma flow. The shapes of the AMS ellipsoids are also more planar (oblate) in the central part of the intrusion, whereas they become more linear (prolate) near the margin. These AMS results, together with field observations, indicate that the main intrusion mechanism has involved the subsidence of older blocks with successive intrusion of fractionated magma during repeated cauldron subsidence. The Saltvik area within the Åland batholith consists of a number of smaller elliptical intrusions of different rapakivi types forming a multiple intrusive complex. The magnetic fabric shows a general westward dipping of the pyterlite and eastward dipping of the contiguous even-grained rapakivi granite, which indicates a central inflow of magma batches towards the east and west resulting from a laccolitic emplacement of magma batches, while the main mechanism for space creation was derived from subsidence. The magnetic fabric of structurally controlled gold potential shear and fault zones in Jokisivu, Satulinmäki and Koijärvi was investigated in order to describe the internal structures and define the deformation history and emplacement of hydrothermal fluids. A further aim of the research was to combine AMS studies with palaeomagnetic methods to constrain the timing for the shearing event relative to the precipitation of ferromagnetic minerals and gold. All of the studied formations are dominated by monoclinic pyrrhotite. The AMS directions generally follow the tectonic structures within the formations. However, internal variations in the AMS direction as well as the shapes of the AMS ellipsoids are observed within the shear zones. In Jokisivu and Satulinmäki in particular, the magnetic signatures of the shear zone core differ from the margins. Furthermore, the shape of the magnetic fabric in the shear zone core of Jokisivu is dominated by oblate shapes, whereas the margins exhibit prolate shapes. These variations indicate a later effect of the hydrothermal fluids on the general shear event. The palaeo-magnetic results reveal a deflection from the original Svecofennian age geomagnetic direction. These results, coupled with correlations between the orientation of the NRM vectors and the magnetic and rock fabrics, imply that the gold-rich hydrothermal fluids were emplaced pre/syntectonically during the late stages of the Svecofennian orogeny.

Radio-frequency-based measurement methods for bearing current analysis in induction motors

The most common reason for a low-voltage induction motor breakdown is a bearing failure. Along with the increasing popularity of modern frequency converters, bearing failures have become the most important motor fault type. Conditions in which bearing currents are likely to occur are generated as a side effect of fast du/dt switching transients. Once present, different types of bearing currents can accelerate the mechanical wear of bearings by causing deformation of metal parts in the bearing and degradation of the lubricating oil properties.The bearing current phenomena are well known, and several bearing current measurement and mitigation methods have been proposed. Nevertheless, in order to develop more feasible methods to measure and mitigate bearing currents, better knowledge of the phenomena is required. When mechanical wear is caused by bearing currents, the resulting aging impact has to be monitored and dealt with. Moreover, because of the stepwise aging mechanism, periodically executed condition monitoring measurements have been found ineffective. Thus, there is a need for feasible bearing current measurement methods that can be applied in parallel with the normal operation of series production drive systems. In order to reach the objectives of feasibility and applicability, nonintrusive measurement methods are preferred. In this doctoral dissertation, the characteristics and conditions of bearings that are related to the occurrence of different kinds of bearing currents are studied. Further, the study introduces some nonintrusive radio-frequency-signal-based approaches to detect and measure parameters that are associated with the accelerated bearing wear caused by bearing currents.

Genesis and Evolution of Brittle Structures In Southwestern Finland and Western South Africa. Insights into Fault Reactivation, Fluid Flow and Structural Maturity in Precambrian Cratons

The bedrock of old crystalline cratons is characteristically saturated with brittle structures formed during successive superimposed episodes of deformation and under varying stress regimes. As a result, the crust effectively deforms through the reactivation of pre-existing structures rather than by through the activation, or generation, of new ones, and is said to be in a state of 'structural maturity'. By combining data from Olkiluoto Island, southwestern Finland, which has been investigated as the potential site of a deep geological repository for high-level nuclear waste, with observations from southern Sweden, it can be concluded that the southern part of the Svecofennian shield had already attained structural maturity during the Mesoproterozoic era. This indicates that the phase of activation of the crust, i.e. the time interval during which new fractures were generated, was brief in comparison to the subsequent reactivation phase. Structural maturity of the bedrock was also attained relatively rapidly in Namaqualand, western South Africa, after the formation of first brittle structures during Neoproterozoic time. Subsequent brittle deformation in Namaqualand was controlled by the reactivation of pre-existing strike-slip faults.In such settings, seismic events are likely to occur through reactivation of pre-existing zones that are favourably oriented with respect to prevailing stresses. In Namaqualand, this is shown for present day seismicity by slip tendency analysis, and at Olkiluoto, for a Neoproterozoic earthquake reactivating a Mesoproterozoic fault. By combining detailed field observations with the results of paleostress inversions and relative and absolute time constraints, seven distinctm superimposed paleostress regimes have been recognized in the Olkiluoto region. From oldest to youngest these are: (1) NW-SE to NNW-SSE transpression, which prevailed soon after 1.75 Ga, when the crust had sufficiently cooled down to allow brittle deformation to occur. During this phase conjugate NNW-SSE and NE-SW striking strike-slip faults were active simultaneous with reactivation of SE-dipping low-angle shear zones and foliation planes. This was followed by (2) N-S to NE-SW transpression, which caused partial reactivation of structures formed in the first event; (3) NW-SE extension during the Gothian orogeny and at the time of rapakivi magmatism and intrusion of diabase dikes; (4) NE-SW transtension that occurred between 1.60 and 1.30 Ga and which also formed the NW-SE-trending Satakunta graben located some 20 km north of Olkiluoto. Greisen-type veins also formed during this phase. (5) NE-SW compression that postdates both the formation of the 1.56 Ga rapakivi granites and 1.27 Ga olivine diabases of the region; (6) E-W transpression during the early stages of the Mesoproterozoic Sveconorwegian orogeny and which also predated (7) almost coaxial E-W extension attributed to the collapse of the Sveconorwegian orogeny. The kinematic analysis of fracture systems in crystalline bedrock also provides a robust framework for evaluating fluid-rock interaction in the brittle regime; this is essential in assessment of bedrock integrity for numerous geo-engineering applications, including groundwater management, transient or permanent CO2 storage and site investigations for permanent waste disposal. Investigations at Olkiluoto revealed that fluid flow along fractures is coupled with low normal tractions due to in-situ stresses and thus deviates from the generally accepted critically stressed fracture concept, where fluid flow is concentrated on fractures on the verge of failure. The difference is linked to the shallow conditions of Olkiluoto - due to the low differential stresses inherent at shallow depths, fracture activation and fluid flow is controlled by dilation due to low normal tractions. At deeper settings, however, fluid flow is controlled by fracture criticality caused by large differential stress, which drives shear deformation instead of dilation.