Best Practices of International Double Master's Degree Programmes: Comparative Study on Finnish and Russian Universities

The purpose of this report is to disseminate the best practices of double degree programmes’ organization, implementation and development between Russian and European universities. The findings reveal good developments in the field of double degree cooperation between Russian and European universities and a high motivation from both parties. The report depicts different models of building a joint curriculum and organizing academic mobility. Foreign language skills improvement for students and university staff, involvement of international companies, and joint strategy and actions in marketing and quality assurance are some redevelopments points recommended in the report.

Rakennuksen tietomallien hyödyntämisen edellytykset rakentamisen valmistelu- ja rakennusvaiheessa

Työn tavoitteena oli tutkia, kuinka rakennuksen tietomallia voidaan hyödyntää rakennusliikkeen tuotannonsuunnittelu- ja rakennusvaiheessa sekä mitä sen hyödyntäminen edellyttää rakennuksen tietomallin informaatiosisällöltä. Tavoitteena oli myös tunnistaa tuotannonohjauksen ”pullonkauloja”, joissa kohdin toimintaa voitaisiin tietomallien avulla tehostaa. Työn teoreettisena taustana on aineettoman pääoman merkitys yrityksen kilpailuedun luojana, tietämyksen hallinta ja teknologian hyödyntäminen tietämyksen hallinnassa. Työssä tutkittiin rakennustuotannon johtamista ja tietomallintamisen hyödyntämistä rakentamisessa sekä tietomallien hyödynnettävyyden varmistamista yleisellä tasolla. Työssä tutustuttiin kohdeyritykseen tuotannonohjaukseen ja rakennusvaiheen tietomallien hyödyntämisen nykytilaan. Tuloksina voidaan todeta, että tietomallien tuotannonsuunnittelu- ja rakennusvaiheen tietomallien hyödyntämisen perusedellytys on tietomallien oikeellisuus sekä tietomallien ja perinteisten suunnitteludokumenttien yhdenmukainen tietosisältö. Tämän lisäksi tarvitaan suunnitellut toimintatavat ja toimivat tiedonjakelukanavat sekä kyky hyödyntää tieto- ja viestintäteknologiaa. Tietomallit eivät tämän tutkimuksen perusteella näytä luoneen tarvetta uudenlaisille tuotanto-organisaation roolituksille. Tietomalleilla uskotaan olevan positiivisia vaikutuksia rakennusvaiheen muutostenhallinnassa. Tuotantoorganisaation henkilöillä oli positiivisia odotuksia tietomallien hyödyntämisestä tuotannonohjauksessa. Tietomallien odotetaan tukevan erillisten suunnitelmien muodostamien kokonaisuuksien hahmottamista, rakennusvaiheen osapuolten yhteistyötä ja töiden yhteensovitusta sekä logistiikan suunnittelua ja vaikutusten havainnointia.

EN 1090-laatuvaatimusten kartoitus ja hallinta hitsauksen laatujärjestelmän avulla

Diplomityössä tarkastellaan standardin EN 1090 vaikutuksia Bilfinger Industrial Services Finland Oy:n toimintaympäristössä ja kuinka niitä voidaan hallita hitsauksen laatujärjestelmän avulla. Työssä on myös käsitelty yrityksen pääasiallisen tuotannon eli metallisten teollisuusputkistojen valmistusta sekä laadunhallintaa yleisellä tasolla ja erityisesti hitsauksessa. Rakennustuoteasetuksen mukaisen yhdenmukaistetun standardin EN 1090-1:n siirtymäaika päättyy 1.7.2014 ja se asettaa uudenlaisia vaatimuksia teräsrakentamiseen. Rakennustuotteiden CE-merkintä ja sertifioidun laadunhallinnan järjestäminen vaikuttaa hyvin laajasti suomalaiseen metalliteollisuuteen. Työssä selvitettiin yrityksen nykyiset menettelyt ja kuinka niitä tulisi kehittää uusien vaatimusten mukaiseksi. Tietoa hankittiin keskustelemalla yrityksen henkilöstön kanssa ja tutustumalla sen toimintaperiaatteisiin. Selvitystyötä helpotti jo valmiiksi suhteellisen korkea hitsaustoiminnan laatutaso, joka johtuu vaativien asiakkaiden velvoittamasta laatutyöstä. Työn tuloksena yrityksellä on selkeä kuva miten toimintaa tulee kehittää EN 1090 vaatimusten täyttämiseksi. ISO 3834-2:n soveltaminen paineenalaisten putkistojen valmistuksessa tulee ulottaa myös teräsrakenteiden valmistukseen. Myös vaatimusten mukaisen dokumentaation luomista ja hallintaa tulee kehittää, jotta siitä ei tule liian raskasta henkilöstölle.

Best practices of international double degree programmes. Case of Russian and European universities

The purpose of the Master’s thesis research is to study and disseminate the best practices of international double Master’s degree programmes organization, implementation and development. The given research is focused on two main areas: motivation of higher education institutions to start double degree programmes and best practices of double degree programme design and implementation from the perspective of building joint curriculum and organizing balanced mobility and development of existing programmes in terms of increasing their quality and attractiveness. This is a case study of the double degree programmes between Russian and European universities. The study findings reveal good developments in the field of double degree cooperation between Russian and European universities and a high motivation from both parties. The research depicts different models of building a joint curriculum and organizing academic mobility. The following areas could be outlined as development points for double degree programmes: - Personal interest and commitment of organizers of double degree programmes; - Comprehensive agreement between partners on different aspects and practicalities of the double degree programme implementation; - Promotion towards more balanced student participation and two-way mobility; - Foreign language skills improvement for students and university staff; - Joint strategy and actions in marketing and quality assurance; - Involvement of international companies; - Wider usage of e-learning technology.

A Distributed Microservices Framework Integrating Taverna

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Sisäilman laatuun vaikuttavat tekijät ja siivouskäytäntöjen laadunvarmistus

Sisäilman laatuun vaikuttaa moni eri tekijä. Sisäilma on tavallisesti laadultaan hyvää silloin, kun tilojen käyttäjät ovat siihen tyytyväisiä. Hyvän sisäilman saavuttamiseksi tulee ilmanvaihdon, lämmityslaitteiden, siivouksen ja talon rakenteiden olla kunnossa. Tämä työ on tehty Helsingin kaupungin Tilakeskukselle, ja se on osa vuoden jatkuvaa projektia, jossa selvitetään siivouksen riittävyyttä ja sen vaikutusta koulujen sisäilmaan. Työn tavoitteena on luoda siivouksen laadunvarmistusmenetelmä, jonka avulla voidaan varmistaa toteutunut siivouksen taso. Lisäksi projektissa selvitetään, pystytäänkö siivouksen palvelusopimus toteuttamaan käytännössä kunnolla. Työssä kehitettävät menetelmät ovat subjektiivinen ja objektiivinen pölyisyyden arviointi sekä kyselylomake koulujen opettajille. Työssä kehitetyn menetelmän laatutasojen raja-arvot noudattavat INSTA 800 -standardissa esitettäviä arvoja. Kehitettyä menetelmää käytettiin suoritetuissa lähtö- ja nollatasomittauksissa. Mittauksista saadut tulokset vastasivat silmämääräisesti tiloissa tehtyjä havaintoja.

Kunnossapidon työlupakäytäntöjen parantaminen mobiilijärjestelmän avulla

Viranomaisvaatimuksen mukaan ydinvoimalaitoksen toiminnan perustana tulee olla johtamisjärjestelmä, joka kattaa organisaation rakenteen ja prosessit, henkilöstön vastuut ja valtuudet sekä päätöksentekomenettelyt. Sen tulee myös tukea hyvää turvallisuuskulttuuria ja varmistaa että ydin- ja säteilyturvallisuuteen liittyvät vaatimukset täyttyvät kaikessa toiminnassa. Loviisan voimalaitoksen johtamisjärjestelmä ohjaa voimalaitoksen käyttötoimintaa ja se on kuvattuna voimalaitosohjeistossa joka käsittää voimalaitoksen politiikat, laadunvarmistuskäsikirjat sekä erilaiset ohjeet. Loviisan voimalaitoksen toimintaa seurataan ja arvioidaan säännöllisesti mm. auditoinneilla. Seurannan ja arvioinnin tarkoituksena on tunnistaa johtamisjärjestelmän mahdolliset kehittämisalueet ja varmistaa täyttääkö toiminta sille asetetut vaatimukset. Tämä opinnäyte pohjautuu sisäisessä auditoinnissa havaittuun puutteeseen voimalaitoksen työlupakäytännöissä. Työssä toteutettiin mobiilijärjestelmä, jonka tarkoituksena on parantaa kunnossapitotöihin liittyvien työlupien jälkiseurantaa. Tällaisia työlupaa vaativia töitä ovat mm. tuli- ja säteilytyöt, joiden suorittamiseen liittyy riskejä kuten palo- ja räjähdysvaara tai tarpeeton altistuminen säteilylle. Mobiilijärjestelmä toteutettiin monikansallisena projektina osana laajempaa Loviisan voimalaitoksen laitostietojärjestelmän uusintaprojektia.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Pienen yhtiön tilinpäätösvarmennus

Tämän pro gradu -tutkielman tavoitteena oli tutkia, onko tilinpäätöksen yleisluonteinen tarkastus riittävä varmennusmuoto pienten yritysten tilinpäätöksille hallinnollisesti raskaan tilintarkastuksen sijaan. Tilinpäätöksen varmennusmuotoina tutkimuksessa käsitellään kansainvälisten ISA-standardien mukaisesti suoritettua kohtuullisen varmuuden tuottavaa tilintarkastusta sekä ISRE 2400 -standardin mukaisesti suoritettua rajoitetun varmuuden tuottavaa yleisluonteista tarkastusta. Tutkimusmuotona käytettiin laadullista tutkimusmenetelmää. Tutkimuksen empiirisenä aineistona käytettiin Euroopan komission ja IAASB:n konsultaatiopapereihin lähetettyjä kommenttikirjeitä. Tutkimustulosten perusteella havaittiin, että ISA-tilintarkastusstandardeja ei koeta hallinnollisesti raskaiksi pienille yrityksille ja ISA-standardien lakisääteistä sovel-tamista kannatetaan. Alemman varmuustason yleisluonteinen tarkastus koettiin kuitenkin mahdolliseksi vaihtoehdoksi tilintarkastukselle erityisesti pienten yritysten tilinpäätösten varmentamisessa.

3D-tulostustekniikan hyödyntäminen diagnostisten pikatestien tuotekehityksessä

Pikamallinnustekniikat ovat kehittyneet viime vuosina nopeasti. Tämä antaa jo lähes rajat-tomat mahdollisuudet tuottaa 3D-tulostamalla erilaisia tuotteita. 3D-tulostuksen hyödyntä-minen on yleistynyt erityisesti teollisuuden ja teknologian aloilla. Tässä työssä tutkittiin miten 3D-tulostamista voidaan hyödyntää diagnostisten pikatestien tuotekehityksessä. Immunologinen lateral flow-testi on vasta-aineisiin perustuva, nopea ja helppokäyttöinen mittausmenetelmä pienten ainemäärien havaitsemiseen. Tässä työssä kehitettiin lateral flow-testikotelo, jonka suunnitteluun ja rakenteen mallintamiseen käytettiin 3D-tulostustekniikkaa. Testikotelon toimivuus lateral flow- testissä varmistettiin kehittämällä testikoteloon sopiva pikatesti, jonka suorituskykyä analysoitiin sekä visuaalisesti että Actim 1ngeni-lukulaitteella. Työ aloitettiin tutkimalla eri pikavalmistustekniikoita, joista testikotelon tulostamiseen valittiin SLA-tekniikka sen tulostustarkkuuden ja tuotteen pinnan laadun perusteella. Testikotelon suunnittelu aloitettiin määrittämällä millaisia ominaisuuksia testikotelolta haluttiin. Näitä ominaisuuksia olivat lateral flow-testin suojaaminen sekä testissä kulkevan näytteen virtauksen varmistamien. Lateral flow- testin kehityksessä hyödynnettiin osin aiemmin kehitetystä pikatestistä saatuja tietoja. Lateral flow- kasettitestin valmistusprosessi koostui seitsemästä eri prosessivaiheesta jotka olivat: Vasta-aineen/kontrollireagenssin konjugointi, näytetyynyn käsittely, konjugointityynyn käsittely, konjugointityynylle annostelu, membraanille annostelu, tikkujen laminointi ja leikkaus sekä kasettitestin kokoonpano. Kehitetyn lateral flow- kasettitestin toimivuus varmistettiin tutkimalla testin reaktiokinetiikkaa ja analyyttistä herkkyyttä sekä visuaalisesti että lukulaitteen avulla. Tutkimustulosten perusteella 3D-tulostus on erittäin hyödyllinen menetelmä pikatestien tuotekehityksessä suunniteltaessa testikotelorakenteita, näytteen annosteluvälineitä ja näiden yhdistelmiä.

Tuotantoympäristön jatkuva parantaminen

Tutkimuksen tavoitteena oli luoda kohdeyritykseen toimintamalli, jonka avulla saadaan osallistettua työntekijät, tiiminvetäjät ja työnjohto tuotannon jatkuvaan parantamiseen sekä parannettua tuotannon takaisinkytkentää tiimitasolla. Tutkimus rajattiin pilottitiimiin sekä tiimissä olevien työpisteiden kautta reititettyihin tuotteisiin. Ennen tutkimuksen aloitusta yrityksellä oli jo olemassa sähköinen aloitejärjestelmä, mutta sen käyttö oli organisaation uudelleen järjestelyjen myötä vähentynyt. Tutkimuksen teoriaosassa tutustuttiin jatkuvan parantamisen kulttuuriin ja työkaluihin. Lisäksi tutustuttiin laadunhallinnan sisältöön, käsitteistöön ja laadunvalvontatyökaluihin sekä tuotannon mittareihin. Teorian pohjalta tutkimuksessa luotiin jatkuvan parantamisen toimintamalli, joka tunnistaa ja eliminoi prosessissa olevaa hukkaa osallistamalla pilottitiimin työntekijöitä hukkakorttien avulla. Lisäksi tutkimuksessa luotiin toimintamalli tuotannon kehitysideoiden raportointiin ja käsittelyyn. Tuotannon takaisinkytkentää kehitettiin luomalla pilottitiimiin tuloskortti sekä perustamalla yritykseen päiväkatsauskäytäntö. Tutkimuksessa suoritettiin myös toimihenkilötason kehitysprojekteja käyttäen apuna teoriassa esiteltyjä malleja ja työkaluja. Tuloksena saatiin toimintamalli, joka tuottaa työntekijämäärään suhteutettuna enemmän kehitysideoita sekä käsittelee ne tehokkaammin kuin sähköinen aloitejärjestelmä. Hukkakorteilla toteutetun hukan raportoinnin kautta tunnistettiin ja raportoitiin seitsemän viikon tarkasteluajanjakson aikana yhteensä 23,6 tuntia hukka-aikaa. Tiimin tuloskortin avulla tiimin työntekijät pystyivät viikkotasolla seuraamaan oman tiiminsä suorituskykyä tavoitearvoihin verrattuna. Tämä näkyi muun muassa tiimin suoritustason nousuna. Kehitysprojektien avulla saatiin parannettua pilottitiimin toiminnan ja tuotteiden laatua. Päiväkatsauskäytännön avulla saatiin osallistettua tiiminvetäjät ongelmaratkaisuun sekä tuotannon suorituskyvyn varmistamiseen.

Model-based testing of software systems : functionality and performance

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

Organization of the marketing communication activities after fusion - the integration and the decision making processes

This master’s thesis was made in order to gain answers to the question of how the integration of the marketing communications and the decision making related to it in a geographically dispersed service organization could be improved in a situation where an organization has gone through a merger. The effects of the organizational design dimensions towards the integration of the marketing communications and the decision making related to it was the main focus. A case study as a research strategy offered a perfect frames for an exploratory study and the data collection was conducted by semi-structured interviews and observing. The main finding proved that from the chosen design dimensions, decentralization, coordination and power, could be found specific factors that in a geographically dispersed organization are affecting the integration of the marketing communications negatively. The effects can be seen mostly in the decision making processes, roles and in the division of responsibility, which are affecting the other dimensions and by this, the integration. In a post-merger situation, the coordination dimension and especially the information asymmetry and the information flow seem to have a largest affect towards the integration of the marketing communications. An asymmetric information distribution with the lack of business and marketing education resulted in low self-assurance and at the end in fragmented management and to the inability to set targets and make independent decisions. As conclusions it can be stated, that with the organizational design dimensions can the effects of a merger towards the integration process of the marketing communications to be evaluated.

Guidelines for small embedded system companies aiming to enter the space industry

This guide summarizes useful information about the European Space Agency (ESA), the European space industry, the ECSS standards and product assurance for small and medium enterprises that are aiming to enter the industry. Additionally, the applicability of agile development in space projects is discussed.

Ohjelmistotestauksen käytänteet Suomessa

Ohjelmistotestauksen merkitys on kasvanut sen mukaan mitä enemmän ohjelmisto-tuotteet vaikuttavat jokapäiväisesseen elämämme. Tämän vuoksi yritysten investointien ja laadunvarmentamisen yhteys on ilmeinen. Organisaatiot panostavat yhä enemmän ei–funktionaaliseen testaukseen, kuten turvallisuuden, suorituskyvyn ja käytettävyyden testaamiseen. Tämän työn tarkoituksena on tutkia ohjelmistotestauksen nykytilannetta Suomessa. Syy tähän on uudistaa ja parantaa ohjelmistotestauksen kurssitarjontaa Turun yliopistossa vastaamaan parhaalla mahdollisella tavalla yritysten tarvetta. Opinnäyte on toteutettu replikaatio-tutkimuksena. Pääosa kyselystä sisältää kysymyksiä ohjelmistotestauksen menetelmistä ja työkaluista testausprosessin toimintojen aikana. Lisäksi on yleisiä kysymyksiä yrityksistä ja niiden ohjelmistotestausympäristöistä. Kyselyssä otetaan myös kantaa yritysten käyttämiin monenlaisiin testaus-tasoihin, -tyyppeihin ja testauksessa kohdattuihin haasteisiin. Tämä opinnäyte perustuu testausprosessistandardeihin. Ohjelmistotestausstandardit ovat keskeisessä asemassa tässä työssä, vaikka ne ovat olleet viime aikoina vahvan kritiikin kohteena. Epäilys standardien välttämättömyyteen on syntynyt muutoksista ohjelmistokehityksessä. Tämä työ esittelee tulokset ohjelmistotestauksen käytännöistä. Tuloksia on verrattu aiheeseen liittyvän aiemman kyselyn (Lee, Kang, & Lee, 2011) tuloksiin. Ajanpuutteen havaitaan olevan suuri haaste ohjelmistotestauksessa. Ketterä ohjelmistokehitys on saavuttanut suosiota kaikissa vastaajien yrityksissä. Testauksen menetelmät ja työkalut testauksen arviointiin, suunnitteluun ja raportointiin ovat hyvin vähäisessä käytössä. Toisaalta testauksen menetelmien ja työkalujen käyttö automaattiseen testauksen toteuttamiseen ja virheiden hallintaan on lisääntynyt. Järjestelmä-, hyväksyntä-, yksikkö- ja integraatiotestaus ovat käytössä kaikkien vastaajien edustamissa yrityksissä. Kaikkien vastaajien mielestä regressio- sekä tutkiva- ja ei-funktionaalinen testaus ovat tärkeitä tekniikoita.