IPTV-palvelun pilotointi

Diplomityössä kehitettiin teleoperaattorille IPTV-palvelu (Internet Protocol Television) tietyillä rajatuilla ominaisuuksilla, kehitettiin IPTV-palvelulle uusi käyttöliittymä ja pilotoitiin uutta palvelua. Pilotoinnin tarkoituksena oli saada kokemusta uudentyyppisten tv-palvelujen käyttöönotosta. Pilotoinnin lopuksi koottiin pilottikäyttäjiltä saatu palaute ja analysoitiin palvelua sen perusteella. Työn taustatieto-osuudessa määritellään IPTV ja siihen tyypillisimmin kuuluvat palvelut. Lisäksi selvitetään, millaisia ovat IPTV:ssä käytetyt tekniikat ja verkkoarkkitehtuuri. Taustatiedoissa esitellään myös palvelun käyttäjän kokeman laadun parametrit ja kerrosmalli. Samalla tuodaan esiin menetelmät erityisesti kuvanlaadun ja käytettävyyden parantamiseksi. Opittavuus ja helppokäyttöisyys sekä viihteellisyys ja miellyttävyys on tunnistettu tärkeimmiksi käytettävyyden osa-alueiksi elinkaarensa alkupäässä olevissa IPTV-palveluissa. Diplomityön toteutusosuudessa esitetään työn lähtökohtana ollut vaatimusmäärittely ja sen vaikutus työn rajaukseen. Tämän jälkeen esitellään kehitetyn IPTV-palvelun ominaisuudet, joista tärkeimpinä tuodaan esiin tallennus- ja ajansiirtotoiminnot. Toteutusosuudessa selvitetään myös teleoperaattorin IPTV-verkon rakenne ja toiminta. Seuraavaksi käydään läpi alkuperäisestä käyttöliittymästä tehty analyysi ja analyysin perusteella toteutettu uusi käyttöliittymä, jossa merkittävimmät parannukset on tehty navigaatiorakenteeseen. Lopuksi selvitetään pilotoinnista kerätyt tulokset. Tuloksien perusteella voidaan nähdä, että ajansiirtotoiminnot riittävät takaamaan palvelun omaksumisen, mutta uudet toiminnot vaativat riittävän opastuksen. Tulokset osoittavat myös, että palvelun käytettävyys uudella käyttöliittymällä on tavoitetasolla, vaikkakin toimintojen viiveet heikentävät käyttökokemuksen miellyttävyyttä.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

E-portfoliojärjestelmien vertailu rajapintojen näkökulmasta

Työssä tutustutaan erilaisiin e-portfoliojärjestelmiin, niiden ominaisuuksiin ja toiminnallisuuksiin sekä vertaillaan valittuja e-portfoliojärjestelmiä keskenään yhteensopivuuden ja -toimivuuden näkökulmasta yliopistomaailmassa. Tavoitteena on valita e-portfoliojärjestelmistä monipuolisin ja opiskelijaystävällisin järjestelmä. Järjestelmän tulee tukea opiskelijan elinikäistä oppimista. E-portfolio on sähköisessä muodossa oleva omien töiden kokoelma ja sitä hallitaan e-portfoliojärjestelmällä. E-portfoliojärjestelmissä tärkeässä roolissa ovat portfoliospesifikaatiot, jotka mahdollistavat e-portfolion siirtämisen sellaisenaan toiseen järjestelmään rajapintojen kautta. Työssä ei keskitytä henkilökohtaiseen oppimisympäristöön, joka on käsitteenä laajempi kuin e-portfolio. Työssä vertailtiin avoimeen lähdekoodiin perustuvia, web-pohjaisia e-portfoliojärjestelmiä ja tutkittiin niiden tarjoamaa mahdollisuutta portfolioiden siirtoon ja tuomiseen. Lisäksi tarkasteltiin järjestelmien integroituvuutta muihin järjestelmiin, kuten virtuaalisiin oppimisympäristöihin. Vertailun tuloksena monipuolisin ja opiskelijaystävällisin e-portfoliojärjestelmä on Mahara ja yleisin portfoliospesifikaatio Leap2A.

Utilization of Automatic Meter Reading in the Improvement of a District Heating System

A district heating system comprises production facilities, a distribution network, and heat consumers. The utilization of new energy metering and reading system (AMR) is increasing constantly in district heating systems. This heuristic study shows how the AMR system can be exploited in finding optimization opportunities in district heating system. In this study, the district heating system is mainly considered from the viewpoint of operational optimization. The focus is on the core processes, heat production and distribution. Three objectives were set to this study. The first one was to examine general optimization opportunities in district heating systems. Second, to figure out the benefits of AMR for general optimization opportunities. Finally, to define a methodology for process improvement endeavors. This study shows, through a case study, the usefulness of AMR in specifying current deficiencies in a district heating system. Based on a literature review, the methodology for the improvement of business processes is presented. Additionally, some issues related to future competitiveness of district heating are concerned. As a conclusion, some optimization objectives are considered more desirable than others. Study shows that AMR is useful in the specification of optimization targets in the district heating system. Further steps in optimization process were not examined in detail. That would seem to be interesting topic for further studies.

Aurinkopaneeleihin liitettävien vaihtosuuntaajien testaussuunnitelman laadinta ja toteutus

Aurinkoenergia on yksi monista uusiutuvan energian muodoista, joiden suosio on viimeisten vuosien aikana kasvanut fossiilisten polttoaineiden kallistumisen sekä ilmaston lämpenemisen vuoksi. Auringon säteilyn energiaa voidaan muuttaa sähköenergiaksi mm. aurinkopaneeleiden avulla. Aurinkopaneeleihin liitetään usein vaihtosuuntaaja, jolla tuotettu teho voidaan muokata sähköverkkoon tai kotitalouden sähköjärjestelmään sopivaksi. Tässä työssä on esitelty aurinkopaneelilla tuotettavan sähköenergian perusperiaatteet sekä tehoa tuottavan järjestelmän reunaehdot. Tutkimuksessa on perehdytty keskeisiin, aurinkopaneeleihin liitettäville vaihtosuuntaajille laadittuihin standardeihin, hyötysuhteen mittaamisen sekä sähkön laadun näkökulmista. Selvityksen avulla järjestelmän hyötysuhteen sekä lähtötehon laadun määrittämiseksi voidaan laatia standardien mukainen mittaussuunnitelma vaihtosuuntaajan nimellistehosta riippumatta. Standardien avulla on laadittu mittaussuunnitelma Global Inversonne, 100 kW - verkkovaihtosuuntaajayksikölle. Suunnitelman mukaisissa mittauksissa on tutkittu yksikön muunnoshyötysuhdetta sekä lähtöjännitteen- ja virran laatua. Lisäksi työssä on analysoitu mittaustulosten mittausepävarmuuksia ja niitä aiheuttavia tekijöitä.

Uuteaineet BCTMP-prosessissa

Diplomityö tehtiin M-real Joutsenon BCTMP-tehtaalle. Työn aiheena oli tehdä uuteaine- ja metallikartoitus eri prosessivaiheiden massoista ja suodoksista BCTMP-tehtaassa. BCTMPmassaa käytetään muun muassa elintarvikekartongin keskikerroksessa. Pakattaviin kartonkeihin suoraan kosketuksissa olevat elintarvikkeet ovat alttiita haju- ja makuvivahteille. Hajut ja maut voivat saada alkunsa kartongin komponenteista, kuten BCTMP-massasta, kartongin päällystysaineista ja kartongin jatkojalostuksessa käytetyistä painoväreistä. Diplomityön teoriaosuudessa keskityttiin puun lipofiilisiin uuteaineisiin ja erityisesti komponentteihin, jotka aiheuttavat haju- ja makuongelmia. Teoriaosuudessa käsiteltiin myös haju- ja makuominaisuuksien muodostumiseen vaikuttavia tekijöitä sekä kerrottiin mahdollisista uuteaineiden poistomenetelmistä. Teoriaosuudessa esiteltiin analysointimenetelmiä, joita käytettiin kokeellisessa osassa. Kokeellisessa osassa esiteltiin valmistettavan massan laatuspesifikaatiot ja toteutuneet laatutrendit. Samassa tutkittiin massan analysointimenetelmien tuloksien korrelaatioita kokonaisuuteaineiden toteamiseksi. Seuraavaksi käsiteltiin syksyllä 2010 ja talvella 2011 tehtyjä prosessin uuteainekartoituksia, jossa muun muassa tutkittiin eri prosessivaiheiden massojen ja suodoksien uuteainemääriä ja –komponentteja. Kartoituksien yhteydessä laskettiin prosessin uuteainetaseita ja prosessin pesutehokkuuksia. Samalla tutkittiin siirtymämetallimääriä, jotka osaltaan vaikuttavat haju- ja makuominaisuuksiin. Kokeellisen osan korrelaatiovertailuissa huomattiin, että merkittävin korrelaatio kokonaisuuteaineisiin on viimeisen massan pesuvaiheen suodoksen sameudella, liki 80 %. Heksanaalipotentiaalin ja uuteaineen korrelaatio oli myös noin 80 %. Valmiista massasta tehdyn kemiallisen hapen kulutuksen eli COD:n korrelaatio uuteaineisiin oli vain 38 %. Prosessikartoituksen tuloksista laskettujen pesuvaiheiden erotustehokkuudet olivat hyvät.

Kannettavan kaasuilmaisimen suunnittelu ja toteutus

Työn tarkoituksena on suunnitella ja toteuttaa kannettava kaasuilmaisin, joka soveltuu erityisesti tavallisen kuluttajan tarpeisiin. Kaasuilmaisin on herkkä haihtuville palaville kaasuille, sekä orgaanisille kaasuille. Työssä käytetään Atmelin ATMega164P- mikrokontrolleria, piirin ohjelmointiin käytetään AVR-ISP-II, ja kehitystyökaluina AVRStudio 4:ää. Piirilevy on suunniteltu Cadsoftin Eagle- piirieditorilla. Työssä käydään läpi kokonaisvaltainen sulautetun järjestelmän suunnitteluprosessi, tuotteen spesifikaatioiden määrityksistä aina valmiin fyysisen tuotteen valmistuttamiseen asti. Tuote suunnitellaan Environics Oy:lle.

Pilvisovelluskehitys Google App Engine -pilvisovellusalustalla

Tämä Diplomityö keskittyy tutkimaan pilvisovelluskehitystä Google App Engine – pilvisovellusalustalle perustuen kuusi –vaiheiseen vesiputousmalliin sekä tutkimaan Google App Engine -pilvisovellusalustan tarjoamia mahdollisuuksia ja rajoituksia sovelluskehityksen muodossa. Tutkimuksen perusteella kuusi –vaiheinen vesiputousmalli soveltuu pilvisovelluskehitykseen,mikäli vaatimusmäärittely on tarkka jo sovelluskehityksen alkuvaiheessa. Tutkimuksen tuloksena syntyi vaatimusmäärittely MikkoMail –pilvisovellukselle. Vaatimusmäärittelyn pohjalta luotiin MikkoMail –pilvisovellus Google App Engine –pilvisovellusalustalle. Google App Engine –pilvisovellusalusta tukee vain Python- ja Java –ohjelmointikieliä eikä sisällä lainkaan ulkoista tietokantapalveluiden tukea. Tästä syystä Google App Engine -pilvisovellusalusta soveltuu pieniin, keskisuuriin ja pilottiprojektinomaisiin sovelluskehitysprojekteihin.

Alkylointiyksikön neutralointi- ja puhdistusprosessin kehittäminen

Tämä diplomityö käsittelee Neste Oilin Porvoon jalostamon HF-alkylointiyksikön alasajon ja huoltopysäytyksen rajapintaa. Työssä tarkastellaan erilaisia vaihtoehtoja alasajon aikaisen neutralointi- ja puhdistusprosessin kehittämiseen huomioiden materiaalitekninen näkökulma. Työn alkuosassa esitellään alkyloinnin perusperiaate, huoltopysäytysprosessi sekä eri neutralointi- ja puhdistusprosessit, joista tarkemmin nykyisin jalostamolla käytettävä EnvTech:n prosessi. Työssä on myös kerrottu alkyloinnin erityisvaatimukset materiaaleille, joista tarkemmin on esitelty perusmateriaaleina käytettävät hiiliteräs A106 sekä Monel® 400. Näiden perusmateriaalien kohdalla on myös esitelty kirjallisuuden pohjalta niiden käyttäytyminen fluorivety-ympäristössä. Työn loppuosassa on esitelty eri vaihtoehtoja, jotta käyttövarmuutta voitaisiin kehittää yhdessä mahdollisesti kasvavien tuotantomäärien kanssa. Putkistojen kohdalla työssä on käsitelty kehityskohteeksi valittua erästä pääkolonni-osaan kuuluvaa linjastoa. Eri vaihtoehtoja on vertailtu teknistaloudelliselta näkökulma ja putkiston kohdalla on työssä päädytty geometrian muuttamiseen sekä koon kasvattamiseen. Työssä on myös esitetty kuumatypetysvaiheen uudelleen aikataulutusta alasajovaiheen nopeuttamiseksi sekä jatkotutkimusehdotuksia putkiston passivoimisesta, rautafluoridikalvon paikalleen jättämiseksi ja huoltopysäytyssyklin kehittämiseksi.

Hitsauskoneen kunnonvalvontajärjestelmän kehittäminen

Teollisuuden kasvavien laatuvaatimusten johdosta valmistava teollisuus joutuu tiukentamaan laatuvaatimuksiaan täyttääkseen asiakasvaatimukset. Laatujärjestelmät asettavat valmistajille erilaisia vaatimuksia, kuten valmistuksessa käytettävien laitteistojen huoltodokumentaatioiden tuottaminen. Standardi SFS-EN ISO 3834-2 Metallien sulahitsauksen laatuvaatimukset: Kattavat laatuvaatimukset tuo edellä mainitut vaatimukset myös hitsaustuotantoon. Ennakoivaa kunnossapitoa käytetään monilla teollisuuden aloilla, koska tuotannon yllättävät keskeytymiset halutaan ennaltaehkäistä. Käsinhitsaukseen ei ole ollut toistaiseksi työkaluja, jotka mahdollistaisivat ennakoivan kunnossapidon hitsauskoneille. Kemppi Oy kehittää hitsauksen monitorointiratkaisua, jonka yhtenä päämääränä on kunnonvalvontajärjestelmän kehittäminen hitsauslaitteistolle. Järjestelmä ottaa huomioon myös laatujärjestelmien asettamat vaatimukset hitsauskoneiden huoltodokumentaation tuottamisesta. Diplomityön tavoitteena oli tehdä vaatimusmäärittely hitsauskoneiden kunnonvalvontajärjestelmälle. Tässä diplomityössä perehdyttiin kunnossapidon ja vikaantumisen lajeihin, laatujärjestelmiin sekä hitsauslaitteistoon. Tutkimuksessa syvennyttiin hitsauskoneiden kunnossapidon ja vikaantumistapauksien kautta suunnitteilla olevan järjestelmän tarpeisiin. Haastatteluiden avulla kartoitettiin hitsauslaitteiden kunnonvalvontajärjestelmältä vaadittavia piirteitä, järjestelmälle asetettavia vaatimuksia sekä järjestelmän monitorointikohteita. Tutkimuksen pohjalta laadittuun vaatimusmäärittelyyn saatiin muodostettua toiminnalliset vaatimukset, joista muodostetaan tuotekehityksen aikana tuotteen ominaisuudet. Lisäksi vaatimusmäärittelyyn luotiin käyttäjäryhmät, käyttötapaukset sekä alustavat monitorointikohteet. Vaatimusten täyttämiseksi kunnonvalvontajärjestelmään on suunnitteilla myös laitetietokanta, johon sisällytetään hitsauslaitteille suoritettujen huoltojen ja validointien tiedot. Varsinaisen tuotekehitystyön alkaessa nyt laadittua vaatimusmäärittelyä tullaan käyttämään suuntaviivojen näyttäjänä projektissa.

KIBS-yrityksen konsultin ja asiakkaan väliseen hiljaisen tiedon jakamiseen vaikuttavat tekijät

Tutkielman tavoitteena oli selvittää ja ymmärtää, mitkä tekijät vaikuttavat hiljaisen tiedon jakamiseen asiakkaan ja KIBS-yritystä edustavan konsultin välillä. Tutkimusongelmaa lähestyttiin näkökulmasta, missä hiljaisen onnistuneen jakamisen merkitys nähtiin rekrytointipalvelun onnistumisen edellytyksenä. Sekä kirjallisuuskatsauksessa että tutkimuksen empiirisessä osuudessa pyrittiin selvittämään, miten motivaatio, kykytekijät ja luottamus vaikuttavat hiljaisen tiedon jakamiseen. Tutkimuksessa pyrittiin myös kuvaamaan niitä mahdollisuuksia ja haasteita, mitä hiljaisen tiedon jakaminen synnyttää rekrytointiprosessin määrittelyvaiheessa. Kirjallisuuskatsauksessa tarkasteltiin teorioita tiedosta ja hiljaisen tiedon jakamisesta, sekä määriteltiin pääkäsitteet hiljainen tieto, motivaatio, mahdollisuus, kyvykkyys, luottamus, KIBS-yritys, sekä joukko niiden alakäsitteitä. Tutkimuksen empiirinen osuus toteutettiin laadullisilla menetelmillä tapaustutkimuksena. Aineisto kerättiin kuuden puolistrukturoidun teema-haastattelun kautta. Tiedon jakamiseen vaikuttaviksi ja edistäviksi tekijöiksi tunnistettiin vuoro-vaikutustilanteessa olevien henkilöiden välinen luottamus, motivaatio ja asiantuntemus. Haasteina hiljaisen tiedon jakamisessa nähtiin sen strateginen, sekä toimintaan ja asiantuntemukseen sidoksissa oleva muoto.

On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Improving Transportation and Warehousing Efficiency with Simulation-Based Decision Support Systems

Transportation and warehousing are large and growing sectors in the society, and their efficiency is of high importance. Transportation also has a large share of global carbondioxide emissions, which are one the leading causes of anthropogenic climate warming. Various countries have agreed to decrease their carbon emissions according to the Kyoto protocol. Transportation is the only sector where emissions have steadily increased since the 1990s, which highlights the importance of transportation efficiency. The efficiency of transportation and warehousing can be improved with the help of simulations, but models alone are not sufficient. This research concentrates on the use of simulations in decision support systems. Three main simulation approaches are used in logistics: discrete-event simulation, systems dynamics, and agent-based modeling. However, individual simulation approaches have weaknesses of their own. Hybridization (combining two or more approaches) can improve the quality of the models, as it allows using a different method to overcome the weakness of one method. It is important to choose the correct approach (or a combination of approaches) when modeling transportation and warehousing issues. If an inappropriate method is chosen (this can occur if the modeler is proficient in only one approach or the model specification is not conducted thoroughly), the simulation model will have an inaccurate structure, which in turn will lead to misleading results. This issue can further escalate, as the decision-maker may assume that the presented simulation model gives the most useful results available, even though the whole model can be based on a poorly chosen structure. In this research it is argued that simulation- based decision support systems need to take various issues into account to make a functioning decision support system. The actual simulation model can be constructed using any (or multiple) approach, it can be combined with different optimization modules, and there needs to be a proper interface between the model and the user. These issues are presented in a framework, which simulation modelers can use when creating decision support systems. In order for decision-makers to fully benefit from the simulations, the user interface needs to clearly separate the model and the user, but at the same time, the user needs to be able to run the appropriate runs in order to analyze the problems correctly. This study recommends that simulation modelers should start to transfer their tacit knowledge to explicit knowledge. This would greatly benefit the whole simulation community and improve the quality of simulation-based decision support systems as well. More studies should also be conducted by using hybrid models and integrating simulations with Graphical Information Systems.

Hankintalain mukaisen tarjouspyynnön laatiminen ja sen merkitys kunnallisissa rakennusurakkahankinnoissa

Suomalaiset kunnat ovat julkisissa hankinnoissaan suurien haasteiden edessä heikentyvän taloustilanteen, muuttoliikkeen ja osaamisen puutteen takia. Rakennusinvestoinnit muodostavat valtaosan kunnallisista investoinneista. Epäonnistuessaan rakennusurakan hankintamenettely voi aiheuttaa kunnalle merkittäviä viivästyksiä sekä tappioita, joten menettelyn onnistuminen on kunnalle erittäin tärkeää. Hankintaprosessin sujuvuus riippuu tarjouspyyntöasiakirjojen oikeaoppisesta laatimisesta ja niiden sisällön soveltamisesta. Tämän tutkimuksen tavoitteena on löytää yleisimmät hankintamenettelyyn liittyvät virheet sekä määritellä hankintayksikölle toimintatavat, joita noudattamalla hankintayksikkö voi virheet välttää. Tutkimusmenetelmä on lainopillinen ja tutkimus perustuu oikeuskäytäntöön, pääasiassa markkinaoikeustapauksiin nojaavaan empiiriseen analyysiin. Tutkielman perusteella hankintayksiköiden osaamista tarjouspyyntöasiakirjojen laadinnassa ja sisällön soveltamisessa on kehitettävä seuraavasti: Tarjoajien ja tarjousten vertailuvaiheet on eroteltava selkeästi toisistaan. Tarjoajiin kohdistuvia vaatimuksia sekä kokonaistaloudellisen edullisuuden laadullisia vertailuperusteita on yksityiskohtaistettava. Kullekin menettelyvaiheelle on varattava riittävästi aikaa ja hankintamenettely on valmisteltava niin, että täsmennys- ja täydennyspyynnöiltä voidaan välttyä. Julkisen talouden elvyttämiseksi suunniteltuun rakennusurakkahankintojen keskittymiseen on reagoitava jakamalla urakka mahdollisuuksien mukaan pienempiin osiin urakoitsijamarkkinoiden monipuolisuuden ylläpitämiseksi.

Tietojohtaminen vaatimusmäärittelyn tukena ICT-alan yrityksen toimintaympäristön muutoksessa

Työn lähtökohtana on ICT-alan yrityksen AinaCom Oy:n toimintaympäristön muutos, ja siihen toteutettava vaatimusmäärittely. Vaatimusmäärittelyn toteutukseen otetaan tueksi tietojohtaminen, jonka avulla saadaan syvyyttä perinteiseen vaatimusmäärittelyyn. Sekä vaatimusmäärittelyä että toimintaympäristön muutosta, tarkemmin ERP (Enteprise Resource Planning) toiminnanohjausjärjestelmä-projektia, tehostetaan tietojohtamisen keinoin. Työn tavoitteena on selvittää miten tietojohtaminen voidaan ottaa vaatimusmäärittelyn tueksi toimintaympäristön muutoksessa. Sekä kirjallisuuskatsauksen että AinaCom Oy:n vaatimusmäärittelyprojektin perusteella voidaan todeta, että tietojohtamisen ja tiedon spiraalin (SECI-malli) avulla voidaan edesauttaa tiedon hallitsemista mittavissa ohjelmistoprojekteissa, kuten ERP-projektissa, sekä vaatimusmäärittelyssä. Näin tietojohtamisen avulla voidaan saavuttaa hallittavampia aikatauluja, kohtuullisempia kustannuksia, sekä menestyksekkäämpiä projekteja.