A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Nurses’ Acceptance of an Internet-Based Support System in The Care of Adolescents with Depression

The overall goal of the study was to describe nurses’ acceptance of an Internet-based support system in the care of adolescents with depression. The data were collected in four phases during the period 2006 – 2010 from nurses working in adolescent psychiatric outpatient clinics and from professionals working with adolescents in basic public services. In the first phase, the nurses’ anticipated perceptions of the usefulness of the Internet-based support system before its implementation was explored. In the second phase, the nurses’ perceived ease of computer and Internet use and attitudes toward it were explored. In the third phase, the features of the support system and its implementation process were described. In the fourth phase, the nurses’ experiences of behavioural intention and actual system use of the Internet-based support were described in psychiatric out-patient care after one year use. The Technology Acceptance Model (TAM) was used to structure the various research phases. Several benefits were identified from the nurses’ perspective in using the Internet-based support system in the care of adolescents with depression. The nurses’ technology skills were good and their attitudes towards computer use were positive. The support system was developed in various phases to meet the adolescents’ needs. Before the implementation of the information technology (IT)-based support system, it is important to pay attention to the nurses’ IT-training, technology support, resources, and safety as well as ethical issues related to the support system. After one year of using the system, the nurses perceived the Internet-based support system to be useful in the care of adolescents with depression. The adolescents’ independent work with the support system at home and the program’s systematic character were experienced as conducive from the point of view of the treatment. However, the Internet-based support system was integrated only partly into the nurseadolescent interaction even though the nurses’ perceptions of it were positive. The use of the IT-based system as part of the adolescents’ depression care was seen positively and its benefits were recognized. This serves as a good basis for future IT-based techniques. Successful implementations of IT-based support systems need a systematic implementation plan and commitment from the part of the organization and its managers. Supporting and evaluating the implementation of an IT-based system should pay attention to changing the nurses’ work styles. Health care organizations should be offered more flexible opportunities to utilize IT-based systems in direct patient care in the future.

Liiketoimintatiedonhallinnan hyödyntämisen esteet päätettäessä palveluista. Case: Kunnalliset pelastustoimen liikelaitokset ja eriytetyt taseyksiköt

Pelastuslaitosten liiketoimintatiedonhallinnalla, tietoperusteisuudella ja tietojohtamisella on tulevaisuudessa merkittävä rooli päätettäessä palveluista. Julkisen pelastustoimen kuntien liikelaitoksina ja eriytettyinä taseyksiköinä toimivien pelastuslaitosten haasteet tulevat olemaan jatkossa tehokkaiden ja vaikuttavien palveluiden strategisessa johtamisessa ja suunnittelussa. Näistä asioista päättäminen on kriittinen vaihe onnistumisen kannalta. Päätöksenteko eri tasoilla tarvitsee tuekseen toiminnasta ja palveluista kanavoitua analysoitua tietoa. Asiakastarpeesta lähtevä vaikuttavuus ja laatu korostuvat. Liiketoimintatiedonhallinta ja tietoperusteisuus haastavat pelastuslaitoksen johtamisjärjestelmän. Johtamisen kyvykkyys ja henkilöstön osaaminen ovat tietoperusteisuuden ja tiedonhallinnan keskiössä. Systemaattisen liiketoimintatiedonhallinnan ja tietoperusteisuuden erottaa perinteisestä virkamiehen tietojen hyväksikäytöstä käsitteen kokonaisvaltaisuus ja järjestelmällisyys kaikessa tiedollisessa toiminnassa. Tämä kattaa tietojärjestelmät, mittarit, prosessit, strategian suunnitelmat, asiakirjat, raportoinnin, kehittämisen ja tutkimuksen. Liiketoimin-tatiedonhallinta ja tietojohtaminen linkittävät kaiken toisiinsa muodostaen keskinäisriippuvaisen yhtenäisen järjestelmän ja kokonaisvaltaisen ymmärryksen. Tutkimukseni on laadullinen tutkimus jossa tiedon keruu ja analysointi on toteutettu toisiaan tukevilla tutkimusotteilla. Metodologia nojaa teorialähtöiseen systemaattiseen analyysiin, jossa on valikoituja osia sisällön analyysistä. Tutkimuksessa on käytetty aineisto- ja menetelmätriangulaatioita. Tutkimuksen aineisto on kerätty teemahaastatteluilla valittujen kohde pelastuslaitosten asiantuntijoilta palveluiden päätös- ja suunnittelutasolta, johtoryhmistä ja joh-tokunnista. Haastatteluja varten tutkija on tutustunut kohdepelastuslaitosten palveluita mää-rittävään tiedolliseen dokumentaatioon kuten palvelutasopäätöksiin ja riskianalyyseihin. Ai-neisto keruun kohteiksi valikoitui pääkaupunkiseudun alueen pelastuslaitokset: Helsingin kaupungin pelastuslaitos sekä Itä-, Keski- ja Länsi-Uudenmaan pelastuslaitokset. Tulosten mukaan pelastuslaitosten keskeiset liiketoimintatiedonhallinnan esteet muodostuvat johtamisen ongelmista, organisaation muutosvastarinnasta ja päätöksenteon tietoperusteen puutteesta. Nämä ilmenevät strategisen johtamisen puutteina, vaikuttavuuden mittaamisen sekä tiedon jalostamisen ongelmina. Keskeistä tiedollista yhdistävää ja linkittävää tekijää ei tunnisteta ja löydetä. Tiedollisessa liiketoimintatiedonhallinnan prosessityössä voisi olla tulos-ten mukaan mahdollisuuksia tämän tyhjiön täyttämiseen. Pelastuslaitoksille jää tulevaisuudessa valinta suunnasta johon ne haluavat edetä tiedonhal-linnan, tietojohtamisen ja tietoperusteisuuden kanssa. Tämä vaikuttaa kehitykseen ja tavoitteeseen keskeisistä palveluiden päätöksentekoa tukevista johtamis- ja tietojärjestelmistä, tietoa kokoavista ja luovista dokumenteista sekä organisaation joustavasta rakenteesta. Tietoprosessiin, tiedon prosessimaiseen johtamiseen ja systemaattiseen tiedonhallintaan meneminen vaikuttaa tutkimuksen tulosten mukaan lupaavalta mahdollisuudelta. Samalla se haastaa pelauslaitokset suureen kulttuuriseen muutokseen ja asettaa uusien vaikuttavuusmittareiden tuottaman tiedon ennakoivan hyväksynnän vaateen strategiselle suunnittelulle. Tämä vaatii pelastuslaitosten johdolta ja henkilöstöltä osaamista, yhteisymmärrystä, muutostarpeiden hyväksyntää sekä asiakkaan asettamista vaikuttavuuden keskiöön.

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.

Semantic and fuzzy modelling for human behaviour recognition in smart spaces : a case study on ambient assisted living.

Human activity recognition in everyday environments is a critical, but challenging task in Ambient Intelligence applications to achieve proper Ambient Assisted Living, and key challenges still remain to be dealt with to realize robust methods. One of the major limitations of the Ambient Intelligence systems today is the lack of semantic models of those activities on the environment, so that the system can recognize the speci c activity being performed by the user(s) and act accordingly. In this context, this thesis addresses the general problem of knowledge representation in Smart Spaces. The main objective is to develop knowledge-based models, equipped with semantics to learn, infer and monitor human behaviours in Smart Spaces. Moreover, it is easy to recognize that some aspects of this problem have a high degree of uncertainty, and therefore, the developed models must be equipped with mechanisms to manage this type of information. A fuzzy ontology and a semantic hybrid system are presented to allow modelling and recognition of a set of complex real-life scenarios where vagueness and uncertainty are inherent to the human nature of the users that perform it. The handling of uncertain, incomplete and vague data (i.e., missing sensor readings and activity execution variations, since human behaviour is non-deterministic) is approached for the rst time through a fuzzy ontology validated on real-time settings within a hybrid data-driven and knowledgebased architecture. The semantics of activities, sub-activities and real-time object interaction are taken into consideration. The proposed framework consists of two main modules: the low-level sub-activity recognizer and the high-level activity recognizer. The rst module detects sub-activities (i.e., actions or basic activities) that take input data directly from a depth sensor (Kinect). The main contribution of this thesis tackles the second component of the hybrid system, which lays on top of the previous one, in a superior level of abstraction, and acquires the input data from the rst module's output, and executes ontological inference to provide users, activities and their in uence in the environment, with semantics. This component is thus knowledge-based, and a fuzzy ontology was designed to model the high-level activities. Since activity recognition requires context-awareness and the ability to discriminate among activities in di erent environments, the semantic framework allows for modelling common-sense knowledge in the form of a rule-based system that supports expressions close to natural language in the form of fuzzy linguistic labels. The framework advantages have been evaluated with a challenging and new public dataset, CAD-120, achieving an accuracy of 90.1% and 91.1% respectively for low and high-level activities. This entails an improvement over both, entirely data-driven approaches, and merely ontology-based approaches. As an added value, for the system to be su ciently simple and exible to be managed by non-expert users, and thus, facilitate the transfer of research to industry, a development framework composed by a programming toolbox, a hybrid crisp and fuzzy architecture, and graphical models to represent and con gure human behaviour in Smart Spaces, were developed in order to provide the framework with more usability in the nal application. As a result, human behaviour recognition can help assisting people with special needs such as in healthcare, independent elderly living, in remote rehabilitation monitoring, industrial process guideline control, and many other cases. This thesis shows use cases in these areas.

Modelling the simultaneous effects of intellectual capital and knowledge management on the organisational performance of Finnish companies

The aim of this study was to contribute to the current knowledge-based theory by focusing on a research gap that exists in the empirically proven determination of the simultaneous but differentiable effects of intellectual capital (IC) assets and knowledge management (KM) practices on organisational performance (OP). The analysis was built on the past research and theoreticised interactions between the latent constructs specified using the survey-based items that were measured from a sample of Finnish companies for IC and KM and the dependent construct for OP determined using information available from financial databases. Two widely used and commonly recommended measures in the literature on management science, i.e. the return on total assets (ROA) and the return on equity (ROE), were calculated for OP. Thus the investigation of the relationship between IC and KM impacting OP in relation to the hypotheses founded was possible to conduct using objectively derived performance indicators. Using financial OP measures also strengthened the dynamic features of data needed in analysing simultaneous and causal dependences between the modelled constructs specified using structural path models. The estimates were obtained for the parameters of structural path models using a partial least squares-based regression estimator. Results showed that the path dependencies between IC and OP or KM and OP were always insignificant when analysed separate to any other interactions or indirect effects caused by simultaneous modelling and regardless of the OP measure used that was either ROA or ROE. The dependency between the constructs for KM and IC appeared to be very strong and was always significant when modelled simultaneously with other possible interactions between the constructs and using either ROA or ROE to define OP. This study, however, did not find statistically unambiguous evidence for proving the hypothesised causal mediation effects suggesting, for instance, that the effects of KM practices on OP are mediated by the IC assets. Due to the fact that some indication about the fluctuations of causal effects was assessed, it was concluded that further studies are needed for verifying the fundamental and likely hidden causal effects between the constructs of interest. Therefore, it was also recommended that complementary modelling and data processing measures be conducted for elucidating whether the mediation effects occur between IC, KM and OP, the verification of which requires further investigations of measured items and can be build on the findings of this study.

Intellectual capital, knowledge management practices and firm performance

Researchers have widely recognised and accepted that firm performance is increasingly related to knowledge-based issues. Two separately developed literature streams, intellectual capital (IC) and knowledge management (KM), have been established as the key discussions related to knowledge-based competitive advantage of the firm. Intellectual capital has provided evidence on the strategic key intangible resources of the firm, which could be deployed to create competitive advantage. Knowledge management, in turn, has focused on the managerial processes and practices which can be used to leverage IC to create competitive advantage. Despite extensive literature on both issues, some notable research gaps remain to be closed. In effect, one major gap within the knowledge management research is the lack of understanding related to its influence on firm performance, while IC researchers have articulated a need to utilise more finegrained conceptual models to better understand the key strategic value-creating resources of the firm. In this dissertation, IC is regarded as the entire intellectual capacity, knowledge and competences of the firm that can be leveraged to achieve sustained competitive advantage. KM practices are defined as organisational and managerial activities that enable the firm to leverage its IC to create value. The objective of this dissertation is to answer the research question: “What is the relationship between intellectual capital, knowledge management practices and firm performance?” Five publications have addressed the research question using different approaches. The first two publications were systematic literature reviews of the extant empirical IC and KM research, which established the current state of understanding regarding the relationship between IC, KM practices and firm performance. Publications III and IV were empirical research articles that assessed the developed conceptual model related to IC, KM practices and firm performance. Finally, Publication V was among the first research papers to merge IC and KM disciplines in order to find out which configurations could yield organisational benefits in terms of innovation and market performance outcomes.

Tietämyksenhallinta kirurgiassa

Tässä kandidaatin työssä tavoitteena oli selvittää tietämyksenhallinnan ongelmia Etelä-Karjalan keskussairaalan kirurgisella osastolla empiirisen case-tutkimuksen avulla. Tutkimuksessa haastateltiin kolmea Etelä-Karjalan keskussairaalan kirurgia, joiden vastausten avulla pyrittiin luomaan ankkuroitua teoria-tutkimusmenetelmää hyväksi käyttäen keskeisimpiä vastauksia tutkimusongelmiin. Kirurgisen osaston tietämyksenhallinnan ongelmat perustuivat pääosin tietojärjestelmien hajanaisuuteen, hitauteen sekä käyttäjäystävällisyyteen. Lisäksi hiljaisen tiedon vaikuttavuus tietämyksenhallinnassa nähtiin ongelmana, koska se lisää epävarmuutta hoitopäätöksissä sekä uuden tiedon luomisessa. Tuloksista voidaan todeta, että tietojärjestelmiä täytyisi parantaa lääkäreiden työn nopeuttamiseksi sekä laadun parantamiseksi. Lisäksi työssä tehtiin kirjallisuuskatsaus tietämyksenhallinnasta terveydenhuollon näkökulmasta.

Adaptability, Transformation and Complex Changes in Namibia and Tanzania: Resilience and Innovation System Development in Local Communities

This thesis is a research about the recent complex spatial changes in Namibia and Tanzania and local communities’ capacity to cope with, adapt to and transform the unpredictability engaged to these processes. I scrutinise the concept of resilience and its potential application to explaining the development of local communities in Southern Africa when facing various social, economic and environmental changes. My research is based on three distinct but overlapping research questions: what are the main spatial changes and their impact on the study areas in Namibia and Tanzania? What are the adaptation, transformation and resilience processes of the studied local communities in Namibia and Tanzania? How are innovation systems developed, and what is their impact on the resilience of the studied local communities in Namibia and Tanzania? I use four ethnographic case studies concerning environmental change, global tourism and innovation system development in Namibia and Tanzania, as well as mixed-methodological approaches, to study these issues. The results of my empirical investigation demonstrate that the spatial changes in the localities within Namibia and Tanzania are unique, loose assemblages, a result of the complex, multisided, relational and evolutional development of human and non-human elements that do not necessarily have linear causalities. Several changes co-exist and are interconnected though uncertain and unstructured and, together with the multiple stressors related to poverty, have made communities more vulnerable to different changes. The communities’ adaptation and transformation measures have been mostly reactive, based on contingency and post hoc learning. Despite various anticipation techniques, coping measures, adaptive learning and self-organisation processes occurring in the localities, the local communities are constrained by their uneven power relationships within the larger assemblages. Thus, communities’ own opportunities to increase their resilience are limited without changing the relations in these multiform entities. Therefore, larger cooperation models are needed, like an innovation system, based on the interactions of different actors to foster cooperation, which require collaboration among and input from a diverse set of stakeholders to combine different sources of knowledge, innovation and learning. Accordingly, both Namibia and Tanzania are developing an innovation system as their key policy to foster transformation towards knowledge-based societies. Finally, the development of an innovation system needs novel bottom-up approaches to increase the resilience of local communities and embed it into local communities. Therefore, innovation policies in Namibia have emphasised the role of indigenous knowledge, and Tanzania has established the Living Lab network.

Information and Communication Society's Impact on Global Paper Consumption

Tämän tutkielman tavoitteena on selvittää informaatio- ja kommunikaatioyhteiskunnan vaikutusta paperin kulutukseen maailmanlaajuisesti. Tarkoituksena on löytää informaatio- ja kommunikaatioyhteiskuntaa kuvaavia mittareita, joiden avulla voidaan vertailla kehittyneitä ja kehittyviä markkina-alueita keskenään. Tutkimusongelmaan haetaan ratkaisua tutkimalla sekä kirjallisuutta että tilastoja, ja vertaamalla niitä esitettyihin teorioihin informaatio- ja kommunikaatioyhteiskunnan kehityksestä. Tutkielman avulla pyritään arvioimaan ja kuvaamaantoimintaympäristön muutoksia paperin kulutuksen suhteen pitkällä aikavälillä informaatio- ja kommunikaatioyhteiskunnan näkökulmasta.

Hiljaisen tiedon tallennusHämeen Puhelin Oy:ssä vuosina 2006-2010

Moderni liiketoiminta kohtaa uusia haasteita. Haasteiden aiheuttajia ovat mm. alenevat tuotantokustannukset ja kiihtyvä kilpailu. Jotta yritys kykenisi vastaamaan näihin moderneihin haasteisiin, sen tulee toimissaan hyödyntää tehokkaasti omat resurssit. Yrityksen suurimmat resurssit sijaitsevat henkilöstössä, heihin sitoutuneessa tiedossa. Tästä tiedosta iso osa on ns. hiljaista tietoa, jota ei voida perinteisin keinoin tallentaa. Tämä työ, tutkimus keskittyy tuon hiljaisen tiedon tallentamiseen. Tutkimuksen tavoitteena oli luoda malli, joka sisältää hiljaisen tiedon keruun, analyysin ja siirtämisen. Kokonaisuus muodostaa työkalun jolla teettävän yrityksen eläkkeelle jäävä henkilöstön hiljainen tieto tallennetaan yritykseen. Mallin lisäksi tutkimuksessa tuodaan esille aihetta koskevat erilaiset kehitysmahdollisuudet ja visiot.

Teknologiat ja toteutustavat palvelukeskeiseen arkkitehtuuriin perustuvassa Internet-pohjaisessajärjestelmässä

Palvelukeskeiseen arkkitehtuuriin perustuvia järjestelmiä voidaan kehittää käyttämällä useita vaihtoehtoisia teknologioita. Toteuttamiseen parhaiten soveltuvia teknologioita ovat erilaiset standardikokoelmat, jotka tukevat useiden toisistaan toteutustavaltaan poikkeavien järjestelmien yhdistämistä käyttämällä standardeihin perustuvia rajapintoja. Täten kyseiset kokoelmat tukevat laajojen, useista erillisistä osista koostuvien palvelujärjestelmien kehittämistä. Tässä työssä selvitetään mikä palvelukeskeinen arkkitehtuuri on sekä millaisia komponentteja ja teknologioita kyseiseen arkkitehtuuriin perustuvan palvelujärjestelmän toteuttamiseen tarvitaan. Tavoitteena on esitellä palvelukeskeinen arkkitehtuuri ja siihen liittyvät teknologiat sekä suunnitella korkealla tasolla kyseisiä teknologioita hyödyntävä integraatioalusta käyttäjien ja useiden palvelun tarjoajien yhdistämiseksi. Työn tuloksena syntyvän teknologiaselvitysraportin selvitysluonteen vuoksi työssä ei suunnitella tarkasti toteutettavaa järjestelmää vaan ainoastaanpohjustetaan järjestelmän suunnittelua sekä esitellään siihen liittyviä arkkitehtuuri- ja toteutusmahdollisuuksia. Internet-pohjainen palvelukeskeiseen arkkitehtuuriin perustuva järjestelmä voi perustua suoriinverkon välisiin yhteyksiin tai vaihtoehtoisesti erityyppisiin välitason sovelluksiin. Välitason sovellukset mahdollistavat niiden tyypistä riippuen järjestelmän erilaisten lisäominaisuuksien toteuttamisen ja tukevat useita yleisimpiä palvelukeskeisiä teknologioita. Työn tuloksena syntyneen teknologiaselvityksen perusteella näistä teknologioista Web-palvelu -arkkitehtuuri ja siihen liittyvät menetelmät soveltuvat parhaiten suunniteltavan järjestelmän rakenneosiksi. Järjestelmän tarkemmat toteutustavat riippuvat myöhemmin määriteltävistä yksityiskohtaisista vaatimuksista sekä valittavasta välitason ohjelmiston toteutuksesta.

Tietointensiivisen palvelutuotannon kehittäminen: case televiestintäyrityksen vianhallinta

Tämän tutkimuksen tavoitteena oli luoda tavoitemalli TeliaSonera Finland Oyj:n vianhallintapalveluille. Tavoitemalli tuli muodostaa niin, että se tukee laadukasta ja tuottavaa teollista palvelutuotantoa. Tavoitemalli muodostettiin suhteellisen laajan teoriakatsauksen perusteella, joka tehtiin tiedon näkökulmasta. Palvelujen hallinnan viitekehyksessä tutkittiin palvelujen suorituskykyä, jossa erityisesti paneuduttiin laatuun, tuottavuuteen ja palvelutuotannon psykososiaaliseen työympäristöön. Tähän kokonaisuuteen yhdistettiin tutkimustietoa palvelujen teollistamisesta, sekä otettiin huomioon tietointensiivisen organisaation yleiset menestystekijät. Näin muodostettiin tietointensiivisen palvelutuotannon hallinnan ja kehittämisen viitekehys, jota sovellettiin vianhallintapalvelujen tavoitetilan muodostamiseen. Vianhallinnan tavoitetila testattiinosin empiirisesti, mutta lisätutkimusta tarvitaan työssä muodostetun teoreettisen viitekehyksen arviointiin.

Osaaminen yrityksissä

Työn tavoitteena olitutkia osaamisen johtamista, kehittämistä ja hallintaa yrityksissä. Tutkimuksenpääkysymyksinä selvitettiin, kuinka tärkeänä yritykset pitävät osaamisen ja tietämyksen hallintaa, mitä ongelmia ja haasteita siinä koetaan sekä mitä työkalujayrityksissä käytetään osaamisen ja tietämyksen hallinnassa. Tutkimuksessa esitetään kirjallisuuden pohjalta, mitä on osaaminen sekä miten sitä voidaan kehittääja hallita. Aihepiiriin liittyen suoritettiin empiirinen tutkimus, jonka perusteella voidaan todeta, että osaamisen hallintaa pidetään yrityksissä erittäin tärkeänä asiana kilpailukyvyn kannalta vaikkakin se aiheuttaa paljon lisätyötä ja on aikaa vievää. Tutkimuksen tuloksen mukaan osaamisen kehittämisessä ja hallinnassa yrityksissä esiintyy paljon haasteita ja ongelmia.

Sähköisen hankintatyökalun kehittäminen ja käyttöönotto. Case: Inex Partners Oy

Internetin yleistyminen on luonut uudenlaiset puitteet yritysten väliselle sähköiselle kaupankäynnille. Vanhat EDI-pohjaiset järjestelmät koetaan kalliiksi ja sitoviksi ja niiden sijasta rakennetaan www-teknologiaan pohjautuvia järjestelmiä. Tämän pro gradu-tutkielman tarkoituksena oli kuvata mahdollisimman tarkkaan erään web-pohjaisen hankintatyökalun kehittämis- ja käyttöönottoprojekti sekä arvioida sen onnistumista sekä käyttöönoton vaikutuksia. Case yrityksenä tutkielmassa toimii valikoima- ja logistiikkayhtiö Inex Partners Oy. Tutkielma on luonteeltaan toimintatutkimus, sillä tutkija on osa tutkimuskohdetta. Työn teoriaosassa käsitellään hankintatoimen strategiaa toimittajien valinnan ja toimittajasuhteiden hallinnan näkökulmasta. Tämän jälkeen esitellään sähköistä kaupankäyntiä ja sen hankintatoimelle tarjoamia sovelluksia. Kehitysprojektin tuotoksena syntyi sähköinen SRM-toimittajaportaali, joka mahdollistaa tarjouspyyntöjen lähettämisen ja vastaanottamisen Inexin ja tavarantoimittajien välillä. Portaali on integroitu Inexin toiminnanohjausjärjestelmään (ERP) siten, että tarjouspyyntöjen perusteella muodostuneet ostotilaukset siirtyvät järjestelmästä toiseen. Tutkielman johtopäätöksinä esitetään, että läpikäyty kehitysprojekti oli lähtökohtaisesti oikeintoteutettu ja yrityksen strategian mukainen. Tuotoksena saadun toimittajaportaalin istuvuutta tuoteryhmän hankintastrategiaan ei kuitenkaan oltu otettu tarpeeksi huomioon. Teknisen toteutuksen monimutkaisuus asettaa myös haasteensa työkalun käytölle. Jatkokehitystarpeiksi puolestaan esitetään portaalin räätälöimistä Inexin muiden tuoteryhmien hankinnan tueksi sekä portaalin huutokauppa- toiminnallisuuden kehittämistä ja käyttöönotttoa.