Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Yrityksen sähköistysprojektoinnin tiedonhallinnan tehostaminen

Diplomityössä on käsitelty kolmea kokonaisuutta. Työssä on tutkittu RFID- teknologian hyödyntämistä kattilalaitostyömaan asennusvalvonnassa, prosessisähköistyksen osa-alueiden automatisoimista sekä edellä mainittujen asiakokonaisuuksien yhdistämistä. Prosessisähköistyksen osa-alueista työssä on käsitelty sähköpääkaavioita, sähköasennustyyppejä, toimitusrajakaavioita sekä potentiaalintasausta. Tutkittavienasiakokonaisuuksien yhdistävänä tekijänä on projektitietokanta, joka yrityksellä on käytössä. RFID- teknologiaa tutkitaan MOVER- hankkeen yhteydessä. Työssä yritetään selvittää mahdollisia tulevaisuuden hyötyjä, jos asennusraportointi suoritettaisiin mobiililla ratkaisulla. Prosessisähköistyksen osa-alueista sähköpääkaavioiden laatimista on pyritty automatisoimaan. Sähkö- asennustyyppien ja potentiaalintasauksen kohdalla tarkoituksena oli tuottaa esimerkkiratkaisuja, joita voitaisiin jatkokehittää tulevaisuudessa. Toimitusrajakaavioiden korvaajaksi kehitettiin uutta menetelmää, joka tulisi sisältämään automatiikkaa toimiakseen.

Kuvausmenetelmänvalinta ja käyttöönotto ohjelmistotuoteorganisaatiossa

Useiden pitkän kehityskaaren ohjelmistojen ylläpitäminen ja kehittäminen on vaikeaa, sillä niiden dokumentaatio on vajaata tai vanhentunutta. Tässä diplomityössä etsitään ratkaisua tällaisen ohjelmiston ja sen taustalla olevan järjestelmän kuvaukseen. Tavoitteina on tukea nykyisen ohjelmiston ylläpitoa ja uuden työvoiman perehdyttämistä. Tavoitteena on myös pohjustaa uuden korvaavan ohjelmiston suunnittelua kuvaamalla nykyiseen järjestelmään sitoutunutta sovellusalueosaamista. Työssä kehitetään kuvausmenetelmä järjestelmän kuvaamiseen hierarkkisesti laitteistotason yleiskuvauksesta ohjelmiston luokkarakenteeseen sekä toiminnallisuuteen asti. Laite- ja luokkarakennekuvaukset ovat rakenteellisia kuvauksia, joiden tehtävänä on selittää järjestelmän ja sen osien kokoonpano. Toiminnallisuudesta kertovat kuvaukset on toteutettu käyttötapauskuvauksina. Työssä keskityttiin erityisesti kohdejärjestelmän keskeisen ohjelmiston ja tietokannan kuvaamiseen. Ohjelmistosta valittiin tärkeimmät ja eniten sovellusalueen tietotaitoa sisältävät osat, joista työssä luotiin esimerkkikuvaukset. Kuvauksia on kehitettyä menetelmää hyödyntäen helppo laajentaa tarpeiden mukaan paitsi ohjelmiston muihin osiin, myös laitteiston ja järjestelmän kuvaamiseen kokonaisuudessaan syvemmin.

Paperikoneen vesi- ja energiatehokkuuden parantaminen

Työn tavoitteena oli laatia reaaliaikaiset vesi- ja energiatasenäytöt Stora Enso PublicationPaper Veitsiluodon tehtaalle, paperikone 5:lle. Tavoitteena oli myös simuloida kyseisen paperikonelinjan vesitase. Aluksi työssä piirrettiin lohkokaaviot taseita varten paperikoneen kaikista vettä tai energiaa sisältävistä jakeista. Näitä yksinkertaistettuja lohkokaavioita hyväksi käyttäen laadittiin taseidenlaskentakaavat, jotka testattiin tarkastuslaskelmien avulla. Vesi- ja energiataseista tehtiin myös suunnitelmat prosessinohjausjärjestelmän tasenäytöiksi. FlowMac-simulointiohjelmalla rakennetun paperikone 5 vesitaseen simulointimallin tulosten oikeellisuutta arvioitiin herkkyysanalyysin avulla. Tehdyn herkkyysanalyysin tuloksien perusteella voidaan olettaa, että simulointimalli toimii luotettavasti. Tämän vesitaseen simulointimallin avulla tarkasteltiin kiekkosuotimien uudistamisen vaikutuksia paperikonelinjan vesitaseeseen. Tarkastelussa huomattiin, että vaihtamalla kiekkosuotimien syöttöventtiilit kolmea jaetta tuottaviksi, voitaisiin flotaatioallas ja suihkuveden kaarisihti poistaa käytöstä. Tulevaisuudessa simulointimallia voidaan käyttää myös monilla muilla eri tavoin hyödyksi kyseisellä paperikoneella. Työssä laaditut vesi- ja energiataseet saatiin niin tarkoiksi kuin se nykyisiä mittauksia hyödyntäen on mahdollista. Jostaseita haluttaisiin tarkentaa, olisi paperikonelinjalle syytä lisätä joitakin mittauksia. Myös työssä tehty vesitaseen simulointi FlowMac:lla onnistui hyvin mutta kyseisessä ohjelmassa havaittiin silti joitakin kehittämistarpeita. Työn tuloksien perusteella vettä ja energiaa voitaisiin mahdollisesti säästää paperikone 5:llä esimerkiksi laimennussäätöisen perälaatikon avulla, kiekkosuotimien uusimisella sekä kenkäpuristimen käyttöönotolla. Jatkotutkimuskohteita voisivat olla esimerkiksi paperikone 5:n lämpötase, kemiallisesti puhdistetun veden tulolämpötilan nostaminen, hiomon suodosveden ylimääräisen lämmön hyödyntäminen paperikone 5 kirkassuodoksen lämmittämisen jälkeen, lämmön talteenotossa lämmitysvesikennon ja prosessivesikennon järjestyksen vaihtaminen sekä vastaavien vesi- ja energiataseiden laatiminen paperikone 1:lle ja hiomolle.

Kunnallisten sähköisten palveluiden mallintaminen

Tämän diplomityön tarkoituksena on kuvata tiettyjen kunnallisten palvelujen rakenne ja prosessikuvaukset. Rakenne kuvataan OWL-mallinnuskielellä ja palvelun käyttäjien suorittamat toiminnot BPML-mallinnuskielen avulla. Työssä on tarkoituksena esittää, kuinka sekä rakenne että toiminnot pystytään kuvaamaan XML-pohjaisen esitystavan avulla, joita nämä OWL- ja BPML-mallinnuskielet ovat. Ensin esitellään työssä käytetyt mallinnuskielet ja ne ominaisuudet, jotka liittyvät tähän tutkimukseen. Tämän jälkeen esitellään työtä varten tehdyt työnkulkukaaviot ja rakennekaaviot,sekä näiden jalostus lopulliseen OWL-muotoon ja BPMN-muotoon . Työ jakautuu kahteen eri osavaiheeseen, joissa ensimmäisessä kerrotaan kuinka kunnallisen palvelun käsitemalli esitetään UML -luokkakaavioiden avulla ja kuinka tämä jalostetaan lopulliseen OWL-muotoon. Toinen osa työstä keskittyy palvelun prosessien mallintamiseen UML-työnkulkukaavioilla ja näiden kaavioiden muokkaamiseen BPMN-muotoon eli liiketoimintaprosessidiagrammeiksi. Kunnallisista palveluista valittiin tähän diplomityöhän tilanvaraus, jonka toimintaa on tarkasteltu haastattelemalla kuntien toimijoita, jotka ovat työssään tekemisissä tilanvaraustoimintojen kanssa. Tilanvarauksen osalta haastattelutiedot olivat valmiiksi saatavilla projektin avulla Päijät-Hämeen osalta, tosin tietojatäydennettiin haastattelemalla Kouvolan tilanvarauksesta huolehtivia henkilöitä.

Puun jäätyminen ja jäätyneen puun ominaisuudet sahauksen kannalta

Työn tavoitteena oli tutkia puun jäätymisnopeutta, puun kosteuden ja tiheyden vaikutusta siihen sekä kosteussuhteessa tapahtuvia muutoksia jäätymisen aikana. Lisäksi tavoitteena oli kirjallisuuden pohjalta selvittää jäätymisen vaikutusta puun sahauksen kannalta merkittäviin ominaisuuksiin. Puun jäätymisnopeuden määrittämiseksi puun lämpötilaa mitattiin pakastuksen aikana viiden minuutin välein pintapuusta, sydän-puusta ja puun sydämestä. Mittauksista saatujen tulosten pohjalta piirrettiin käyrästö lämpötilan kehittymisestä ajan funktiona puun eri kohdissa. Lämpötilakäyrät jaettiin jäätymisen osalta kolmeen vaiheeseen: jäähtymiseen, jäätymiseen ja loppujäätymiseen. Käyrille piirrettiin trendiviivat, joiden kulmakertoimista saatiin lämpötilan muutosnopeudet eri vaiheille. Mittauksissa käytetyille koekappaleille määritettyjen kosteussuhteiden ja kuivatiheyksien avulla selvitettiin näiden ominaisuuksien vaikutusta lämpötilan muutosnopeuksiin. Tulokseksi saatiin kuva jäätymisen etenemisestä puussa. Saatujen tietojen pohjalta pystytään arvioimaan puun jäätymisaste tietyn ajan kuluttua. Jäätymisasteen arviointia tullaan käyttämään jatkossa tehtävien jäätyneen puun sahauskokeiden yhteydessä.

Thick XML client and technology of its construction

Nykyään kolmeen kerrokseen perustuvat client-server –sovellukset ovat suuri kinnostuskohde sekä niiden kehittäjille etta käyttäjille. Tietotekniikan nopean kehityksen ansiosta näillä sovelluksilla on monipuolinen käyttö teollisuuden eri alueilla. Tällä hetkellä on olemassa paljon työkaluja client-server –sovellusten kehittämiseen, jotka myös tyydyttävät asiakkaiden asettamia vaatimuksia. Nämä työkalut eivät kuitenkaan mahdollista joustavaa toimintaa graafisen käyttöliittyman kanssa. Tämä diplomityö käsittelee client-server –sovellusten kehittamistä XML –kielen avulla. Tämä lähestymistapa mahdollistaa client-server –sovellusten rakentamista niin, että niiden graafinen käyttöliittymä ja ulkonäkö olisivat helposti muokattavissa ilman ohjelman ytimen uudelleenkääntämistä. Diplomityö koostuu kahdesta ostasta: teoreettisesta ja käytännöllisestä. Teoreettinen osa antaa yleisen tiedon client-server –arkkitehtuurista ja kuvailee ohjelmistotekniikan pääkohdat. Käytannöllinen osa esittää tulokset, client-server –sovellusten kehittämisteknologian kehittämislähestymistavan XML: ää käyttäen ja tuloksiin johtavat usecase– ja sekvenssidiagrammit. Käytännöllinen osa myos sisältää esimerkit toteutetuista XML-struktuureista, jotka kuvaavat client –sovellusten kuvaruutukaavakkeiden esintymisen ja serverikyselykaaviot.

Titanyylisulfaatin elektrolyyttisen pelkistyslaitoksen esisuunnitelma

Työssä esisuunniteltiin Kemira Pigments Oy:lle uusi titanyylisulfaatin elektrolyyttinen pelkistyslaitos. Suurin syy uuden laitoksen suunnitteluun oli nykyisen laitoksen aiheuttamat korkeat H2SO4-pitoisuudet pelkistyslaitoksen läheisyydessä. Työn kirjallisuusosassa käsitellään elektrolyysilaitteiston suunnitteluun liittyviä seikkoja ja esitellään titanyylisulfaatin elektrolyyttiseen pelkistykseen liittyvää tutkimustietoa. Ennen uuden laitoksen suunnittelua suoritettiin nykyisellä pelkistyslaitoksella koeajoja, joiden tarkoituksena oli antaa lähtötiedot uuden laitoksen suunnittelulle. Koeajot osoittivat mm., että pelkistys on edullisinta suorittaa alhaisella virrantiheydellä n. 300…400 A/m2 ja vesilaimennuksen avulla anolyytin H2SO4-pitoisuus saadaan säädettyä tasolle, jossa titaani ei saostu. Kärynpoistoyhteisiin asennettujen pesuvesisuuttimien avulla saatiin titaanin saostuminen kärynpoistokanaviin estettyä. Uudesta titanyylisulfaatin elektrolyyttisestä pelkistyslaitoksesta laadittiin mm. seuraavat dokumentit: prosessin virtauskaavio ja ainevirtakenttä, PI-kaavio, layout-kuvat laitoksesta ja sen sijoituksesta sekä rakennepiirros elektrolyysialtaasta. Hankkeelle tehtiin kustannusarvio tarkkuudella ±20 %, jonka loppusummaksi saatiin 1 489 000 €. Laitoksen vuotuisten käyttökustannuksien arvioitiin olevan n. 105 000 €. Investoinnista aiheutuvien vuotuisten annuiteettikustannusten arvioitiin olevan n. 237 000 € 16,3 % korolla.

Object-Oriented Modelling of Multilayer Networks

Tämä diplomityökuuluu tietoliikenneverkkojen suunnittelun tutkimukseen ja pohjimmiltaan kohdistuu verkon mallintamiseen. Tietoliikenneverkkojen suunnittelu on monimutkainen ja vaativa ongelma, joka sisältää mutkikkaita ja aikaa vieviä tehtäviä. Tämä diplomityö esittelee ”monikerroksisen verkkomallin”, jonka tarkoitus on auttaa verkon suunnittelijoita selviytymään ongelmien monimutkaisuudesta ja vähentää verkkojen suunnitteluun kuluvaa aikaa. Monikerroksinen verkkomalli perustuu yleisille objekteille, jotka ovat yhteisiä kaikille tietoliikenneverkoille. Tämä tekee mallista soveltuvan mielivaltaisille verkoille, välittämättä verkkokohtaisista ominaisuuksista tai verkon toteutuksessa käytetyistä teknologioista. Malli määrittelee tarkan terminologian ja käyttää kolmea käsitettä: verkon jakaminen tasoihin (plane separation), kerrosten muodostaminen (layering) ja osittaminen (partitioning). Nämä käsitteet kuvataan yksityiskohtaisesti tässä työssä. Monikerroksisen verkkomallin sisäinen rakenne ja toiminnallisuus ovat määritelty käyttäen Unified Modelling Language (UML) -notaatiota. Tämä työ esittelee mallin use case- , paketti- ja luokkakaaviot. Diplomityö esittelee myös tulokset, jotka on saatu vertailemalla monikerroksista verkkomallia muihin verkkomalleihin. Tulokset osoittavat, että monikerroksisella verkkomallilla on etuja muihin malleihin verrattuna.

Business Process Modeling in Software Requirements Engineering for Small and Medium Software Projects

Vaatimusmäärittelyn tavoitteena on luoda halutun järjestelmän kokonaisen, yhtenäisen vaatimusluettelon vaatimusten määrittämiseksi käsitteellisellä tasolla. Liiketoimintaprosessien mallintaminen on varsin hyödyllinen vaatimusmäärittelyn varhaisissa vaiheissa. Tämä työ tutkii liiketoimintaprosessien mallintamista tietojärjestelmien kehittämistä varten. Nykyään on olemassa erilaisia liiketoimintaprosessien mallintamiseen tarkoitettuja tekniikoita. Tämä työ tarkastaa liiketoimintaprosessien mallintamisen periaatteet ja näkökohdat sekä eri mallinnustekniikoita. Uusi menetelmä, joka on suunniteltu erityisesti pienille ja keskisuurille ohjelmistoprojekteille, on kehitetty prosessinäkökohtien ja UML-kaavioiden perusteella.

Venttiili- ja toimilaitetehtaan tuotannon suunnittelu

Venttiili- ja toimilaitetehtaassa kokoonpannaan erilaisia venttiilityyppejä sekä toimi- laitteita. Koko Metso Automationin Helsingin tehtaiden tuotantotilanteen muuttuessa käynnistettiin kehitysprojekti, jonka tarkoituksena oli uudenaikaistaa venttiilien ja toimilaitteiden valmistus vastaamaan nykypäivän vaatimuksia. Laajamittaisen osa- valmistuksen ulkoistuksen ja tuotteiston muutoksen vuoksi tuotannon uudelleen- järjestäminen oli välttämätöntä. Diplomityön tarkoituksena oli suunnitella venttiili- ja toimilaitetehtaan layout sekä uutta tuotantotilannetta vastaavat toimintatavat. Haasteena oli kolmen hyvin erilailla toimivan tuotetehtaan yhdistäminen yhdeksi kokonaisuudeksi, jossa kunkin tehtaan parhaat toimintatavat yhdistyvät. Nykyinen tuotanto ja valmistusmäärät kartoitettiin ja analysoitiin, minkä jälkeen tuotannon suunnittelu uusiin tiloihin käynnistettiin. Työ jaettiin järjestelmällisesti osiin teorian ja käytännön osuuksien kesken siten, että teoria tukee työn käytännön- osuutta. Apuna käytettiin useita erilaisia materiaalivirtojen kartoitusmenetelmiä, lukuisia mittareita, selvityksiä, ennusteita ja erilaisia malleja tulevasta tuotannosta. Layout suunniteltiin käytössäolevaan tehdashalliin, mikä aiheutti runsaasti haasteita ja rajoitteita. Aikataulu tehtiin tarkasti siten, että muuttojärjestys lyötiin lukkoon, mutta kuormitustilanne ja koneiden siirrot aiheuttivat muutoksia aikataulussa. Tavoite tuotannon häiriöttömyydestä toteutui hyvin aikataulun kustannuksella. Käytännönosuudessa tarkasteltiin erityisesti kapasiteetin joustavuutta kuormituksen vaihdellessa sekä kehitettiin toimintatavat, joilla se hallitaan. Lisäksi tutkimuksen aikana käynnistettiin useita kehitysprojekteja työn tulosten pohjalta. Näitä olivat erilaiset varaston hallintaan sekä solujen itseohjautuvuuteen liittyvät asiat. Diplomityön tuloksena saatiin uusi layout sekä sitä tukeva uusi toimintatapa, solujen itseohjautuvuuden kehittäminen käynnistettiin, varastojen hallinnan osittainen ulkoistaminen aloitettiin. Lisäksi tuotannolle kehitettiin lukuisia seurantamittareita. Layoutprojekti toteutettiin loppuun diplomityön aikana

Segmentation model for small and medium size business sector: Case Oy Compaq Computer Ab

Markkinasegmentointi nousi esiin ensi kerran jo 50-luvulla ja se on ollut siitä lähtien yksi markkinoinnin peruskäsitteistä. Suuri osa segmentointia käsittelevästä tutkimuksesta on kuitenkin keskittynyt kuluttajamarkkinoiden segmentointiin yritys- ja teollisuusmarkkinoiden segmentoinnin jäädessä vähemmälle huomiolle. Tämän tutkimuksen tavoitteena on luoda segmentointimalli teollismarkkinoille tietotekniikan tuotteiden ja palveluiden tarjoajan näkökulmasta. Tarkoituksena on selvittää mahdollistavatko case-yrityksen nykyiset asiakastietokannat tehokkaan segmentoinnin, selvittää sopivat segmentointikriteerit sekä arvioida tulisiko tietokantoja kehittää ja kuinka niitä tulisi kehittää tehokkaamman segmentoinnin mahdollistamiseksi. Tarkoitus on luoda yksi malli eri liiketoimintayksiköille yhteisesti. Näin ollen eri yksiköiden tavoitteet tulee ottaa huomioon eturistiriitojen välttämiseksi. Tutkimusmetodologia on tapaustutkimus. Lähteinä tutkimuksessa käytettiin sekundäärisiä lähteitä sekä primäärejä lähteitä kuten case-yrityksen omia tietokantoja sekä haastatteluita. Tutkimuksen lähtökohtana oli tutkimusongelma: Voiko tietokantoihin perustuvaa segmentointia käyttää kannattavaan asiakassuhdejohtamiseen PK-yritys sektorilla? Tavoitteena on luoda segmentointimalli, joka hyödyntää tietokannoissa olevia tietoja tinkimättä kuitenkaan tehokkaan ja kannattavan segmentoinnin ehdoista. Teoriaosa tutkii segmentointia yleensä painottuen kuitenkin teolliseen markkinasegmentointiin. Tarkoituksena on luoda selkeä kuva erilaisista lähestymistavoista aiheeseen ja syventää näkemystä tärkeimpien teorioiden osalta. Tietokantojen analysointi osoitti selviä puutteita asiakastiedoissa. Peruskontaktitiedot löytyvät mutta segmentointia varten tietoa on erittäin rajoitetusti. Tietojen saantia jälleenmyyjiltä ja tukkureilta tulisi parantaa loppuasiakastietojen saannin takia. Segmentointi nykyisten tietojen varassa perustuu lähinnä sekundäärisiin tietoihin kuten toimialaan ja yrityskokoon. Näitäkään tietoja ei ole saatavilla kaikkien tietokannassa olevien yritysten kohdalta.

Sertifioidun puuraaka-aineen ja sertifioitujen tuotteiden tietojärjestelmän määrittely

Asiakkaiden kiinnostus tuotteiden raaka-aineiden alkuperää kohden on kasvanut. Puuraaka-aineesta tehtyjen tuotteiden alkuperä voidaan todentaa sertifikaatilla, jos puu on peräisin sertifioidusta metsästä ja sen alkuperäketju tunnetaan. Tieto sertifioidusta tuotteesta kulkeutuu asiakkaalle leimaamalla tuotteita sertifioinnista kertovin merkein tai merkitsemällä esimerkiksi tuotteen asiakirjaan sertifioinnista kertova teksti. Tutkimus tehtiin Stora Enson Imatran tehtaalle, jolla oli tarve uudelle tietojärjestelmälle. Tutkimuksen tarkoituksena oli määritellä sertifioidun puuraaka-aineen käytön ja sertifioituina myytävien tuotteiden seurannan mandollistava tietojärjestelmä. Puun alkuperäketjun hallinnan standardit määiittävät, paljonko sertifioitua puuta kohdennettava tuotteelle, jos tuotteita halutaan myydä sertifioituna. Tietojärjestelmän määrittelyn lisäksi oli tarve selvittää prosessi, kuinka tuotteisiin ja asiakirjoihin saataisiin sertifioinnista kertova leima. Tutkimusta tehdessä selvisi, että tehtaan nykyiset myyntitoiminnot ja tietojärjestelmät asettavat rajoituksia tuotteiden ja asiakirjojen leimaukselle. Prosessia kartoitettiin mm. haastatt elemalla tehtaan ti etojärj estelmi en, myynti- ja varastotoimintojen parissa työskenteleviä ihmisiä. Haastattelujen perusteella koottiin myös tietojärjestelmän asiakasvaatimukset. Vaatimusmäärittelyä tehdessä huomioitiin myös alkuperäketjun hallinnan standardien vaatimukset. Määriteltävän tietojärjestelmän toimintaa pyrittiin havainnollistamaan tehtaan edustajille prototyyppien avulla. Lisäksi tutkimuksessa on pyritty havainnollistamaan järjestelmän toimintaa erilaisin kaavioin ja kuvin. Haasteena työssä oli tulkita standardeja ja kerätä yhteen toisistaan poikkeavia asiakasvaatimuksia.

Voimalaitoksen BoP-järjestelmien prosessikaavioiden ja -kuvausten suunnitteluohjeistus

Tässä työssä luodaan voimalaitoksen BoP- järjestelmien prosessikaavioiden- ja kuvausten suunnitteluohjeistus Sweco Industy Oy:n energia-yksikölle. BoP- järjestelmiin lukeutuvat tässä kaikki oleellisimmat voimalaitoksen apujärjestelmät kuten esimerkiksi suljettu jäähdytysvesipiiri. Tämä työ on tehty erään Keski-Euroopan alueella sijaitsevan voimalaitosprojektin yhteydessä ja tämä ohjeistus toimii pohjatietona myöhemmin tehtäville täydennyksille. Työn alkuosassa esitellään käytössä oleva piirto-ohjelma sekä sovellettava standardi KKS ja sen käyttö. Käytetyt kaaviotyypit ja niiden sisältö käydään pääpiirteissään läpi. Pääpaino työssä on PI-kaavioiden suunnittelemisen ja piirtämisen ohjeistaminen ja yhdenmukaistaminen. Piirtämiseen ja kaavioiden esittämiseen on kerätty olemassa olevaa tietoa eri suunnittelijoilta joiden avulla on valittu käyttöön tuleva esitystapa. Työn aikana ilmeni ongelmia prosessikaavioiden piirto-ohjelman kanssa. Piirto-ohjelmana käytetty Comos on vielä kehitysvaiheessa ja sen tietokannan ja toiminnan muokkaaminen yhtiön tarpeita vastaavaksi tulee viemään vielä aikaa. Tämä onkin tulevaisuutta ajatellen tärkein kehityskohde.