FLASH-OFDM System Performance Studies for Wireless Broadband Network Operator Services

@450 wireless broadband service is Digita’s mobile wireless broadband network service. In @450 network Digita acts as the network operator offering network capacity to service operators. For Digita it is important to know what kind of services its network is capable of and what are the network’s service parameters. The knowledge of the network parameters and the behaviour can be used in advance in the development of new service products. Before a new service product can be offered to service operators a lot of work has to be done. The basic testing is necessary to get an understanding of the basic functionality. The requirement specification has to be done and a new product has to be created. The new product has to be tested. The test results have to be analysed in order to find out if the new product is suitable for real use and with which limitations. The content of this Thesis is the development of wireless technologies, @450 service and network, FLASH-OFDM technology, FLASH-OFDM performance testing and the development of a new service product.

Agile CRM System Implementation Project

The application of information technology (IT) in customer relationship management (CRM) is growing rapidly as many companies implement CRM systems to support their numerous customer facing activities. However, failure rates of CRM projects remain notably high as they deliver scant solutions and poor user acceptance. As a consequence, it is justified to study previously researched CRM success factors and apply them to CRM system implementation. The aim of this master’s thesis was to get acquainted with relevant academic theories, frameworks and practices concerning CRM and agile development, and use them to generate a modified CRM project strategy to support the successful execution of the case company’s, Process Vision Oy, CRM implementation project. The empirical CRM system implementation project was conducted simultaneously with writing this thesis. Its theoretical findings could be transferred into practice through active participation in the CRM system development and deployment work. The project’s main goal was to produce and take into use a functioning CRM system. The goal was met, since at the time of printing this thesis the first system release was successfully published to its users at Process Vision’s marketing and sales departments. The key success elements in the CRM project were cyclic, iterative system development, customer oriented approach, user inclusion and flexible project management. Implying agile development practices ensured being able to quickly respond to changes arising during the progress of the CRM project. Throughout modelling of the core sales process formed a strong basis, on which the CRM system’s operational and analytical functionalities were built. End users were included in the initial specification of system requirements and they provided feedback on the system’s usage. To conclude, the chosen theoretical CRM roadmaps and agile development practices proved as beneficial in the successful planning and execution of the agile CRM system implementation project at Process Vision.

Visualization of communication system testing logs

During the past decades testing has matured from ad-hoc activity into being an integral part of the development process. The benefits of testing are obvious for modern communication systems, which operate in heterogeneous environments amongst devices from various manufacturers. The increased demand for testing also creates demand for tools and technologies that support and automate testing activities. This thesis discusses applicability of visualization techniques in the result analysis part of the testing process. Particularly, the primary focus of this work is visualization of test execution logs produced by a TTCN-3 test system. TTCN-3 is an internationally standardized test specification and implementation language. The TTCN-3 standard suite includes specification of a test logging interface and a graphical presentation format, but no immediate relationship between them. This thesis presents a technique for mapping the log events to the graphical presentation format along with a concrete implementation, which is integrated with the Eclipse Platform and the OpenTTCN Tester toolchain. Results of this work indicate that for majority of the log events, a visual representation may be derived from the TTCN-3 standard suite. The remaining events were analysed and three categories relevant in either log analysis or implementation of the visualization tool were identified: events indicating insertion of something into the incoming queue of a port, events indicating a mismatch and events describing the control flow during the execution. Applicability of the results is limited into the domain of TTCN-3, but the developed mapping and the implementation may be utilized with any TTCN-3 tool that is able to produce the execution log in the standardized XML format.

A proposal for a repertoire of software testing methods

Nowadays software testing and quality assurance have a great value in software development process. Software testing does not mean a concrete discipline, it is the process of validation and verification that starts from the idea of future product and finishes at the end of product’s maintenance. The importance of software testing methods and tools that can be applied on different testing phases is highly stressed in industry. The initial objectives for this thesis were to provide a sufficient literature review on different testing phases and for each of the phases define the method that can be effectively used for improving software’s quality. Software testing phases, chosen for study are: unit testing, integration testing, functional testing, system testing, acceptance testing and usability testing. The research showed that there are many software testing methods that can be applied at different phases and in the most of the cases the choice of the method should be done depending on software type and its specification. In the thesis the problem, concerned to each of the phases was identified; the method that can help in eliminating this problem was suggested and particularly described.

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.