Tehtaan alueella tapahtuvan välivarastoinnin laadunvarmistus

Sisälogistiikassa on monissa eri vaiheissa varastointia. Raaka-aineita, keskeneräisiä ja valmiita tuotteita joudutaan varastoimaan yrityksen tiloissa. Varastoinnin laatuun tulee kiinnittää huomiota kaikissa vaiheissa. Varastoinnin laadunhallintaan voidaan käyttää standardin ISO 9000 mukaista laadunhallinta järjestelmää, johon kuuluu osa-alueina johdon vastuu, resurssien hallinta tuotteen toteuttaminen sekä mittaus, analysointi ja parantaminen. Logistiikan ja varastoinnin laadun tärkein mittari on asiakastyytyväisyys. Asiakkaat päättävät loppukädessä onko tuote tai palvelu vaatimusten mukainen, joten asiakkaan määrittelemien vaatimusten täyttäminen on ensiarvoisen tärkeää. Muita varastoinnin mittareita ovat suorituskyvyn mittarit sisältäen laatu- ja kustannusmittarit sekä uudistumiskyky. Työn empiriaosassa on kartoitettu Metso Paper Oy:n Rautpohjan yksikön välivarastoinnin mahdollisia laatupuutteita erilaisilla mittareilla. Tuloksien perusteella on kehitetty toimintamalli, kartoitettu ohjeistusta vaativat tahot sekä ehdotus seurannan järjestämisestä. Työssä on myös tarkasteltu vastuun jakautumista välivarastoinnin osalta.

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.

Eliminating Software Failures - A Literature Survey

Software faults are expensive and cause serious damage, particularly if discovered late or not at all. Some software faults tend to be hidden. One goal of the thesis is to figure out the status quo in the field of software fault elimination since there are no recent surveys of the whole area. Basis for a structural framework is proposed for this unstructured field, paying attention to compatibility and how to find studies. Bug elimination means are surveyed, including bug knowhow, defect prevention and prediction, analysis, testing, and fault tolerance. The most common research issues for each area are identified and discussed, along with issues that do not get enough attention. Recommendations are presented for software developers, researchers, and teachers. Only the main lines of research are figured out. The main emphasis is on technical aspects. The survey was done by performing searches in IEEE, ACM, Elsevier, and Inspect databases. In addition, a systematic search was done for a few well-known related journals from recent time intervals. Some other journals, some conference proceedings and a few books, reports, and Internet articles have been investigated, too. The following problems were found and solutions for them discussed. Quality assurance is testing only is a common misunderstanding, and many checks are done and some methods applied only in the late testing phase. Many types of static review are almost forgotten even though they reveal faults that are hard to be detected by other means. Other forgotten areas are knowledge of bugs, knowing continuously repeated bugs, and lightweight means to increase reliability. Compatibility between studies is not always good, which also makes documents harder to understand. Some means, methods, and problems are considered method- or domain-specific when they are not. The field lacks cross-field research.

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

Testausmenetelmien ja testauksen lähestymistapojen valintaperusteet kirjallisuudessa

Testaustapausten valitseminen on testauksessa tärkeää, koska kaikkia testaustapauksia ei voida testata aika- ja raharajoitteiden takia. Testaustapausten valintaan on paljon eri menetelmiä joista eniten esillä olevat ovat malleihin perustuva valinta, kombinaatiovalinta ja riskeihin perustuva valinta. Kaikkiin edellä mainittuihin menetelmiin testaustapaukset luodaan ohjelman spesifikaation perusteella. Malleihin perustuvassa menetelmässä käytetään hyväksi ohjelman toiminnasta olevia malleja, joista valitaan tärkeimmät testattavaksi. Kombinaatiotestauksessa testitapaukset on muodostettu ominaisuuspareina jolloin yhden parin testaamisesta päätellään kahden ominaisuuden toiminta. Kombinaatiotestaus on tehokas löytämään virheitä, jotka johtuvat yhdestä tai kahdesta tekijästä. Riskeihin perustuva testaus pyrkii arvioimaan ohjelman riskejä ja valitsemaan testitapaukset niiden perusteella. Kaikissa menetelmissä priorisointi on tärkeässä roolissa, jotta testauksesta saadaan riittävä luotettavuus ilman kustannusten nousua.

Spectrometrical Monitoring of Laser Sintering Process of Ceramic Material

This thesis is done as a part of project called FuncMama that is a project between Technical Research Centre of Finland (VTT), Oulu University (OY), Lappeenranta University of Technology (LUT) and Finnish industrial partners. Main goal of the project is to manufacture electric and mechanical components from mixed materials using laser sintering. Aim of this study was to create laser sintered pieces from ceramic material and monitor the sintering event by using spectrometer. Spectrometer is a device which is capable to record intensity of different wavelengths in relation with time. In this study the monitoring of laser sintering was captured with the equipment which consists of Ocean Optics spectrometer, optical fiber and optical lens (detector head). Light from the sintering process hit first to the lens system which guides the light in to the optical fibre. Optical fibre transmits the light from the sintering process to the spectrometer where wavelengths intensity level information is detected. The optical lens of the spectrometer was rigidly set and did not move along with the laser beam. Data which was collected with spectrometer from the laser sintering process was converted with Excel spreadsheet program for result’s evaluation. Laser equipment used was IPG Photonics pulse fibre laser. Laser parameters were kept mainly constant during experimental part and only sintering speed was changed. That way it was possible to find differences in the monitoring results without fear of too many parameters mixing together and affecting to the conclusions. Parts which were sintered had one layer and size of 5 x 5 mm. Material was CT2000 – tape manufactured by Heraeus which was later on post processed to powder. Monitoring of different sintering speeds was tested by using CT2000 reference powder. Moreover tests how different materials effect to the process monitoring were done by adding foreign powder Du Pont 951 which had suffered in re-grinding and which was more reactive than CT2000. By adding foreign material it simulates situation where two materials are accidently mixed together and it was studied if that can be seen with the spectrometer. It was concluded in this study that with the spectrometer it is possible to detect changes between different laser sintering speeds. When the sintering speed is lowered the intensity level of light is higher from the process. This is a result of higher temperature at the sintering spot and that can be noticed with the spectrometer. That indicates it could be possible to use spectrometer as a tool for process observation and support the idea of having system that can help setting up the process parameter window. Also important conclusion was how well the adding of foreign material could be seen with the spectrometer. When second material was added a significant intensity level raise could be noticed in that part where foreign material was mixed. That indicates it is possible to see if there are any variations in the material or if there are more materials mixed together. Spectrometric monitoring of laser sintering could be useful tool for process window observation and temperature controlling of the sintering process. For example if the process window for specific material is experimentally determined to get wanted properties and satisfying sintering speed. It is possible if the data is constantly recorded that the results can show faults in the part texture between layers. Changes between the monitoring data and the experimentally determined values can then indicate changes in the material being generated by material faults or by wrong process parameters. The results of this study show that spectrometer could be one possible tool for monitoring. But to get in that point where this all can be made possible much more researching is needed.

Painelaitteiden kunnonvalvonta ja kemikaaliputkistojen rakennuttaminen

Painelaitteet ja kemikaaliputkistot ovat yleisiä varsinkin kemian alan yrityksissä. Omista-jan ja haltijan on tiedettävä niihin liittyvä lainsäädäntö, ja osattava soveltaa niitä käytän-töön. Työssä on selvitetty painelaitteisiin ja kemikaaliputkistoihin liittyvän lainsäädännön olen-naisin sisältö. Nykyisin painelaitteiden määräaikaistarkastuksia voidaan korvata painelait-teen seurannalla ja kunnonvalvontajärjestelmällä. Mitä se käytännössä tarkoittaa, ja onko Suomessa mahdollisuutta kuinka laajasti hyödynnetty? On tärkeää tuntea painelaitteiden ja kemikaaliputkistojen vikaantumismekanismit ja kunnonvalvontamenetelmät, jotta yritys voi luoda omaan toimintaympäristöön soveltuvan kunnonvalvontajärjestelmän tai paine-laitteiden seurannan. On pyrittävä siihen, että ongelmat havaitaan, ennen kuin vaurio syn-tyy. Kunnonvalvontajärjestelmän luomiseen ja ylläpitoon voidaan hyödyntää painelaittei-den riskiperusteiseen kunnossapitoon ja tarkastukseen tarkoitettua menettelyä. Työssä on tarkemmin käyty läpi menettelyn sisältö. Kustannustehokkuus ja tuotantolaitteiden käytettävyys ovat nousseet tärkeiksi osa-alueiksi kilpailukyvyn takaamiseksi. Painelaitteiden tarkastuksista ja muista painelaitteisiin ja ke-mikaaliputkistoihin liittyvistä ennakkohuolloista syntyvät kustannukset ovat merkittäviä. Näihin kohdistuvia kustannussäästöjä voidaan saavuttaa monin keinoin huonontamatta kuitenkaan turvallisuutta. Työssä on selvitetty kohdeyrityksen painelaitteet ja kemikaali-putkistot. Lisäksi on käyty läpi nykyinen tarkastusjaksotus, keskeisimmät viat ja tarkastuk-siin liittyvää kustannushistoriaa. Lopputuloksena on syntynyt esiselvitys ja kemikaaliputkistojen hankkimista helpottavaa tietoa. Esiselvityksen avulla kohdeyritys voi yhdessä kunnossapitoyrityksen kanssa laatia strategian painelaitteiden kunnossapidolle ja tarkastuksille. Merkittäviä kustannussäästöjä on saavutettavissa ehdotetuilla jatkotoimenpiteillä, vaikka päädyttäisiin edelleen painelait-teiden tarkastuksien osalta noudattamaan olemassa olevaa käytäntöä.

Integration of microgrids into electricity distribution networks

Existing electricity distribution system is under pressure because implementation of distributed generation changes the grid configuration and also because some customers demand for better distribution reliability. In a short term, traditional network planning does not offer techno-economical solutions for the challenges and therefore the idea of microgrids is introduced. Islanding capability of microgrids is expected to enable better reliability by reducing effects of faults. The aim of the thesis is to discuss challenges in integration of microgrids into distribution networks. Study discusses development of microgrid related smart grid features and gives estimation of the guideline of microgrid implementation. Thesis also scans microgrid pilots around the world and introduces the most relevant projects. Analysis reveals that the main focus of researched studies is on low voltage microgrids. This thesis extends the idea to medium voltage distribution system and introduces challenges related to medium voltage microgrid implementation. Differences of centralized and distributed microgrid models are analyzed and the centralized model is discovered to be easiest to implement into existing distribution system. Preplan of medium voltage microgrid pilot is also carried out in this thesis.

Hevonen irtaimen kaupan tapauksena - laatuvirhe ja siihen varautuminen

Tutkimuksessa tarkastellaan hevoskauppaa ja sen erityispiirteitä suhtees-sa irtaimen kauppaa säätelevään lainsäädäntöön. Tavoitteena on tuoda esiin hevosesta johtuvia erityispiirteitä ja pohtia sovellettavan lainsäädän-nön soveltuvuutta hevosen kauppaan. Tarkastelu kohdentuu erityisesti hevoselle ominaisiin laatuvirheen muotoihin, kuten sairauksiin ja fyysisiin vikoihin. Lisäksi tarkastellaan, miten esiin nostettuihin erityispiirteisiin on varauduttu hevoskauppaan tarkoitetuissa kauppasopimusmalleissa. Hevoskauppaan pätee sama lainsäädäntö kuin minkä tahansa muun ir-taimen tavaran kauppaan. Virheeseen varautuminen yksityiskohtaisesti sopimalla korostuu hevoskaupassa, koska täydellistä ja virheetöntä hevosta ei ole olemassakaan. Myyjän näkökulmasta onnistuneessa kauppaprosessissa neuvotellaan virheen mahdollisuus niin pieneksi kuin se on mahdollista. Tähän instrumentit antavat lainsäädäntö ja erityisesti sopimusoikeudelliset keinot. Ostajan näkökulmasta onnistuneessa kaupassa hän on kyennyt asiantuntijoihin tukeutuen tunnistamaan ennalta hevosen viat ja muut epämieluisat ominaisuudet. Nämä tiedostaen ostaja määrittää, mitä virheitä on valmis hyväksymään. Hevoskaupassa riidan välittömät ja välilliset kustannukset suhteessa maksettuun kauppahintaan voivat nousta korkeiksi. Hevoskaupassa usein ainoa kirjallinen dokumentti on omistajanvaihdosilmoitus, eikä kauppasopimuksen laatiminen kirjallisena ole itsestäänselvyys. Yksinomaan hevoskauppaan liittyvien juridisten kysymysten tekeminen näkyväksi on tärkeää. Irtaimen kauppaa säätelevä lainsäädäntö ei kuitenkaan tunnista riittävällä tarkkuudella hevosen erityispiirteitä persoonaesineenä, vaan väliin tarvi-taan vakiosopimusten kaltaisia apuvälineitä kaupan osapuolten tueksi.

Katsastuksen teknisen laadun mittaaminen ja johtaminen

Suorituskyvyn mittaamisella on monia myönteisiä vaikutuksia koko organisaation toimintaan. Mittaamisen avulla toimintaa voidaan johtaa haluttuun suuntaan. Tutkimuksen tavoitteena oli tutkia, minkälainen suorituskykymittaristo tarvitaan katsastusyrityksen ylimmän johdon käyttöön, jotta katsastuksen teknisen laadun johtaminen mahdollistuisi. Tutkimuksen tarkoituksena oli rakentaa katsastuksen teknisen laadun suorituskykymittaristo ylimmälle johdolle. Katsastuksen tekninen laatu on keskeinen kysymys katsastusyritysten olemassaololle. Tekninen laatu on koko katsastustoiminnan perusta, jonka päälle liiketoiminta voidaan rakentaa. Ilman tätä perustaa ei ole jatkuvuutta liiketoiminnalle. Teknisen laadun mittaaminen ei kuitenkaan ole tällä hetkellä järjestelmällistä, eikä käytettävissä ole ollut tehtävään soveltuvaa mittaristoa. Tutkimuksessa käytettiin A-Katsastus Oy:n vuosien 2008–2011 aikana syntyneitä katsastustilastoja. Tilastollista prosessin valvonta-menetelmää (SPC) soveltamalla määritettiin toimipaikka- ja katsastajakohtaiset valvontarajat hylkäysprosenteille ja vikojen määrille. Valvontarajojen avulla rakennettiin katsastuksen teknisen laadun suorituskykymittaristo toimiala-, yritys-, toimipaikka- ja katsastajatasoille. Mittariston avulla voidaan asettaa tekniselle laadulle tavoitteet, seurata tavoitteiden toteumaa ja käynnistää tarvittaessa korjaavat toimenpiteet.

On Dynamic Monitoring Methods for Networks-on-Chip

Rapid ongoing evolution of multiprocessors will lead to systems with hundreds of processing cores integrated in a single chip. An emerging challenge is the implementation of reliable and efficient interconnection between these cores as well as other components in the systems. Network-on-Chip is an interconnection approach which is intended to solve the performance bottleneck caused by traditional, poorly scalable communication structures such as buses. However, a large on-chip network involves issues related to congestion problems and system control, for instance. Additionally, faults can cause problems in multiprocessor systems. These faults can be transient faults, permanent manufacturing faults, or they can appear due to aging. To solve the emerging traffic management, controllability issues and to maintain system operation regardless of faults a monitoring system is needed. The monitoring system should be dynamically applicable to various purposes and it should fully cover the system under observation. In a large multiprocessor the distances between components can be relatively long. Therefore, the system should be designed so that the amount of energy-inefficient long-distance communication is minimized. This thesis presents a dynamically clustered distributed monitoring structure. The monitoring is distributed so that no centralized control is required for basic tasks such as traffic management and task mapping. To enable extensive analysis of different Network-on-Chip architectures, an in-house SystemC based simulation environment was implemented. It allows transaction level analysis without time consuming circuit level implementations during early design phases of novel architectures and features. The presented analysis shows that the dynamically clustered monitoring structure can be efficiently utilized for traffic management in faulty and congested Network-on-Chip-based multiprocessor systems. The monitoring structure can be also successfully applied for task mapping purposes. Furthermore, the analysis shows that the presented in-house simulation environment is flexible and practical tool for extensive Network-on-Chip architecture analysis.

Formal development and quantitative verification of dependable systems

-

Taloushallinnon eettiset ongelmat verotarkastuskertomuksista tehtyjen havaintojen perusteella

Tässä tutkielmassa tutkittiin taloushallinnon eettisiä ongelmakohtia käyttäen aineistona verotarkastuskertomuksia. Tutkielman tavoitteena oli selvittää onko taloushallinnon eettisissä ratkaisuissa kyse kirjanpitäjän vai yrittäjän etiikasta, voidaanko verotarkastuksella havaitut virheet jaotella tahallisiin ja tahattomiin ja voidaanko näistä virheistä tehdä johtopäätöksiä veronmaksumyönteisyydestä. Kirjanpitäjän ja yrittäjän etiikan havaittiin ilmenevän eri tavoilla. Jos etiikkaa pohdittiin veronmaksuhalukkuuden merkityksessä, niin tällöin kyse oli yrittäjän etiikasta. Verotarkastuksilla havaitut virheet jaoteltiin virhetyyppeihin, joita käytettiin veronmaksumyönteisyyden analysointiin. Tutkielmassa käytettyjä virhetyyppejä olivat muun muassa luontois- ja henkilökuntaedut, kustannusten korvaukset ja edustusmenot. Veronmaksumyönteisyydessä havaittiin selviä eroja eri virhetyyppien välillä. Suurin osa virhetyypeistä kuului veronmaksumyönteisyyden perusteella joukkoon, jossa lakeja noudatetaan vain valvonnan alaisena. Näitä virheitä tekevien kohdalla verovalvonnan kattavuudella saavutetaan parhaat tulokset.

Adaptive Routing Approaches for Networked Many-Core Systems

Through advances in technology, System-on-Chip design is moving towards integrating tens to hundreds of intellectual property blocks into a single chip. In such a many-core system, on-chip communication becomes a performance bottleneck for high performance designs. Network-on-Chip (NoC) has emerged as a viable solution for the communication challenges in highly complex chips. The NoC architecture paradigm, based on a modular packet-switched mechanism, can address many of the on-chip communication challenges such as wiring complexity, communication latency, and bandwidth. Furthermore, the combined benefits of 3D IC and NoC schemes provide the possibility of designing a high performance system in a limited chip area. The major advantages of 3D NoCs are the considerable reductions in average latency and power consumption. There are several factors degrading the performance of NoCs. In this thesis, we investigate three main performance-limiting factors: network congestion, faults, and the lack of efficient multicast support. We address these issues by the means of routing algorithms. Congestion of data packets may lead to increased network latency and power consumption. Thus, we propose three different approaches for alleviating such congestion in the network. The first approach is based on measuring the congestion information in different regions of the network, distributing the information over the network, and utilizing this information when making a routing decision. The second approach employs a learning method to dynamically find the less congested routes according to the underlying traffic. The third approach is based on a fuzzy-logic technique to perform better routing decisions when traffic information of different routes is available. Faults affect performance significantly, as then packets should take longer paths in order to be routed around the faults, which in turn increases congestion around the faulty regions. We propose four methods to tolerate faults at the link and switch level by using only the shortest paths as long as such path exists. The unique characteristic among these methods is the toleration of faults while also maintaining the performance of NoCs. To the best of our knowledge, these algorithms are the first approaches to bypassing faults prior to reaching them while avoiding unnecessary misrouting of packets. Current implementations of multicast communication result in a significant performance loss for unicast traffic. This is due to the fact that the routing rules of multicast packets limit the adaptivity of unicast packets. We present an approach in which both unicast and multicast packets can be efficiently routed within the network. While suggesting a more efficient multicast support, the proposed approach does not affect the performance of unicast routing at all. In addition, in order to reduce the overall path length of multicast packets, we present several partitioning methods along with their analytical models for latency measurement. This approach is discussed in the context of 3D mesh networks.

Design Space Exploration for MPSoC Architectures

Multiprocessor system-on-chip (MPSoC) designs utilize the available technology and communication architectures to meet the requirements of the upcoming applications. In MPSoC, the communication platform is both the key enabler, as well as the key differentiator for realizing efficient MPSoCs. It provides product differentiation to meet a diverse, multi-dimensional set of design constraints, including performance, power, energy, reconfigurability, scalability, cost, reliability and time-to-market. The communication resources of a single interconnection platform cannot be fully utilized by all kind of applications, such as the availability of higher communication bandwidth for computation but not data intensive applications is often unfeasible in the practical implementation. This thesis aims to perform the architecture-level design space exploration towards efficient and scalable resource utilization for MPSoC communication architecture. In order to meet the performance requirements within the design constraints, careful selection of MPSoC communication platform, resource aware partitioning and mapping of the application play important role. To enhance the utilization of communication resources, variety of techniques such as resource sharing, multicast to avoid re-transmission of identical data, and adaptive routing can be used. For implementation, these techniques should be customized according to the platform architecture. To address the resource utilization of MPSoC communication platforms, variety of architectures with different design parameters and performance levels, namely Segmented bus (SegBus), Network-on-Chip (NoC) and Three-Dimensional NoC (3D-NoC), are selected. Average packet latency and power consumption are the evaluation parameters for the proposed techniques. In conventional computing architectures, fault on a component makes the connected fault-free components inoperative. Resource sharing approach can utilize the fault-free components to retain the system performance by reducing the impact of faults. Design space exploration also guides to narrow down the selection of MPSoC architecture, which can meet the performance requirements with design constraints.