866 resultados para Enterprise Systems, IS Success, Performance Measurement
Resumo:
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.
Resumo:
Tämän tutkielman tavoitteena on tutkia julkisen organisaation sisäistä taloudellista raportointia eli johdon raportointia case -organisaation avulla. Tavoitteena on kehittää ja uudistaa organisaation johdolle tuotettavaa kustannusseurantaan liittyvää raportointityökalua. Teoreettista viitekehystä luodaan pääasiassa New Public Management (NPM) -ajattelua tutkimalla. Teoriaosuudessa pohditaan myös muita julkisen organisaation johtamiseen ja raportointiin liittyviä asioita: tulosjohtamista ja suorituskyvyn mittaamista. Empiria osuudessa kehitetään tutkitun teorian, organisaation sisällä kahdessa eri vaiheessa tehtyjen haastattelujen ja jatkuvan havainnoinnin avulla uusi raportointityökalu johdolle. Tämän kehitystyön tuloksena case -organisaatiossa otettiin vuoden 2015 alussa käyttöön uudistettu johdon raportti resurssien käytöstä. Raportti sai paljon positiivista palautetta sen käyttäjiltä ja sen todettiin helpottavan kustannusseurantaa. Seurannan toteutus ja sen taustojen ymmärtäminen vaatii kuitenkin vielä paljon opettelua organisaatiossa.
Resumo:
Työssä tutkitaan materiaalisuunnittelun mittausta elintarvikealan yrityksessä. Tut-kimuksella on kolme tavoitetta, jotka ovat miten materiaalisuunnittelua mitataan yrityksessä, toimivatko mittarit oikein ja mittaavatko mittarit haluttuja asioita. Työ on tapaustutkimus, joka koostuu teoreettisesta kirjallisuusselvityksestä ja empiirisestä tapaustutkimuksesta. Empiirinen aineisto on hankittu sekä kvalitatii-visin että kvantitatiivisin menetelmin. Työn tutkimustavoitteiden saavuttaminen edellytti materiaalisuunnittelijoille ky-selyn tekemistä. Kyselyn ja tavoitteiden avulla määriteltiin mittarit, joita halutaan seurata. Käytössä olevalle mittaristolle etsittiin vaihtoehtoa toiminnanohjausjär-jestelmästä. Vertailemalla mittaristoja päädyttiin käyttämään vanhaan mittaristoa. Materiaalisuunnittelun mittaaminen on tärkeätä, koska hankinnat vaikuttavat yri-tyksen tulokseen ja ilman mittausta materiaalisuunnittelu ei voi kehittyä. Valittu mittaristo täyttää kaikki sen vaatimukset ja siitä löytyvät mittarit, joita halutaan seurata. Mittariston avulla yritys pystyy seuraamaan materiaalisuunnittelun tavoit-teiden saavuttamista eli varastoihin sitoutuneen pääoman kehitystä. Mittariston tulee olla yhteydessä yrityksen hankintastrategiaan ja –tavoitteisiin. Mittariston oikeellisuutta tulee tarkastella säännöllisin väliajoin, jotta varmistutaan siitä, että mitataan seurattavia asioita.
Resumo:
The advancement of science and technology makes it clear that no single perspective is any longer sufficient to describe the true nature of any phenomenon. That is why the interdisciplinary research is gaining more attention overtime. An excellent example of this type of research is natural computing which stands on the borderline between biology and computer science. The contribution of research done in natural computing is twofold: on one hand, it sheds light into how nature works and how it processes information and, on the other hand, it provides some guidelines on how to design bio-inspired technologies. The first direction in this thesis focuses on a nature-inspired process called gene assembly in ciliates. The second one studies reaction systems, as a modeling framework with its rationale built upon the biochemical interactions happening within a cell. The process of gene assembly in ciliates has attracted a lot of attention as a research topic in the past 15 years. Two main modelling frameworks have been initially proposed in the end of 1990s to capture ciliates’ gene assembly process, namely the intermolecular model and the intramolecular model. They were followed by other model proposals such as templatebased assembly and DNA rearrangement pathways recombination models. In this thesis we are interested in a variation of the intramolecular model called simple gene assembly model, which focuses on the simplest possible folds in the assembly process. We propose a new framework called directed overlap-inclusion (DOI) graphs to overcome the limitations that previously introduced models faced in capturing all the combinatorial details of the simple gene assembly process. We investigate a number of combinatorial properties of these graphs, including a necessary property in terms of forbidden induced subgraphs. We also introduce DOI graph-based rewriting rules that capture all the operations of the simple gene assembly model and prove that they are equivalent to the string-based formalization of the model. Reaction systems (RS) is another nature-inspired modeling framework that is studied in this thesis. Reaction systems’ rationale is based upon two main regulation mechanisms, facilitation and inhibition, which control the interactions between biochemical reactions. Reaction systems is a complementary modeling framework to traditional quantitative frameworks, focusing on explicit cause-effect relationships between reactions. The explicit formulation of facilitation and inhibition mechanisms behind reactions, as well as the focus on interactions between reactions (rather than dynamics of concentrations) makes their applicability potentially wide and useful beyond biological case studies. In this thesis, we construct a reaction system model corresponding to the heat shock response mechanism based on a novel concept of dominance graph that captures the competition on resources in the ODE model. We also introduce for RS various concepts inspired by biology, e.g., mass conservation, steady state, periodicity, etc., to do model checking of the reaction systems based models. We prove that the complexity of the decision problems related to these properties varies from P to NP- and coNP-complete to PSPACE-complete. We further focus on the mass conservation relation in an RS and introduce the conservation dependency graph to capture the relation between the species and also propose an algorithm to list the conserved sets of a given reaction system.
Resumo:
Tässä työssä tutkittiin kahden suomalaisen yrityksen omistamaa yhteisyritystä Venäjällä. Tavoitteena oli kehittää tasapainotettu mittaristo suorituskyvyn mittaukseen johtamisen tueksi. Lisäksi oli tarve parantaa materiaalinhallintaa kehittämällä controllerin työtä helpottava työkalu, sekä kehittää materiaalinhallinnan prosessia läpinäkyvämmäksi ja suoraviivaisemmaksi. Työ koostuu teoreettisesta ja empiirisestä osuudesta. Teoria koostuu raportoinnista, suorituskyvyn mittauksesta ja materiaalinhallinnan seurannasta. Työssä käytettiin laadullisia menetelmiä ja tutkimustyypiksi valikoitui toimintatutkimus. Teoreettinen aineisto on peräisin julkaisuista ja alan kirjallisuudesta. Empiirinen aineisto kerättiin pääosin haastatteluista, benchmarkkauksesta ja dokumenteista. Työn tuloksena saavutettiin päätavoite, eli kehitettiin Excel – pohjaiset työkalut suorituskyvyn mittaukseen ja materiaalinhallinnan seurantaan. Lisäksi kehitettiin kirjallinen ohjeistus näiden työkalujen käyttöön ja materiaalinhallintaprosessien suoraviivaistamiseksi. Diplomityö helpottaa yrityksen johtamista ja kontrollointia sekä sisäisesti että ulkoisesti omistajanäkökulmasta katsottuna. Venäjällä toimivan ulkomaalaisomisteisen yrityksen seuranta on haastavaa, jossa prosessien toimivuus ja läpinäkyvyys ovat olennaisessa roolissa.
Resumo:
Tämän työn tarkoituksena oli kehittää suorituskykymittariston rakentamisen malli, jossa otetaan huomioon PK-yrityksen sekä ohjelmistokehitystyön erityispiirteet. Työssä käytiin ensin läpi teoriaa aiheesta, jonka jälkeen rakennettiin mittaristo kohdeyritykseen. Näiden pohjalta rakennettiin malli, jonka avulla PK-ohjelmistoyrityksen tuotekehitysorganisaatiolle voidaan rakentaa toimiva suorituskyvyn mittaristo. Tutkimusote on konstruktiivinen. Työssä tarkasteltiin suorituskyvyn määritelmän ja mittaamisen kehitystä. Käytiin läpi erilaisia olemassa olevia tasapainotettuja malleja sekä hyvien mittareiden ominaisuuksia. Teoriassa tutustuttiin myös PK-yritysten mittaamiseen, asiantuntijoiden mittaamisen erityispiirteisiin sekä ohjelmistotyön erityispiirteisiin. Tuloksena syntyi malli, jossa tasapaino syntyi eri näkökulmien kautta, mutta myös subjektiivisten ja objektiivisten mittareiden kautta. Mallin mukaan syntyneillä objektiivisilla ja subjektiivisilla mittareilla on eri käyttötarkoitukset. Kuten teoriassakin havaittiin, subjektiiviset mittarit sopivat paremmin johtoryhmän raportointiin, kun taas objektiiviset mittarit ovat toimivampia asiantuntijoiden mittaamisessa.
Resumo:
Tämän diplomityön tarkoituksena oli kehittää teollisuusyrityksen toimittajahallintaa suorituskykymittauksen avulla. Työssä suunnitellaan ja toteutetaan toimittajien suorituskykymittaristo teoriatiedon avulla. Projektin lopputuloksena case-yrityksellä on käytössään kokonaisvaltainen toimittajien suorituskykymittaristo ja kehittyneet toimittajahallinnan prosessit. Työn teoriaosuudessa syvennytään erilaisiin suorituskykymittariston kehittämisen viitekehyksiin. Lisäksi teoriaosuudessa käsitellään hyvän suorituskykymittariston vaatimuksia ja suositeltuja mittauksen seuranta-alueita. Työn empiriaosuudessa rakennetaan suorituskykymittaristo vaihe vaiheelta perustuen tapaustutkimukseen. Kehitettyä suorituskykymittaristoa testattiin simulaatiovaiheen aikana case-yrityksen kolmella tehtaalla. Käyttäjäpalautteen perusteella mittaristo täytti teoriaosuudessa löydetyt tärkeimmät vaatimukset suorituskykymittaristolle. Mittaristo on helppokäyttöinen, visuaalinen ja sen raportoinnista saa arvokasta informaatiota toimittajien arviointiin. Diplomityön konkreettisia hyötyjä case-yritykselle ovat olleet laatupoikkeamien kehittynyt havaitseminen ja toimittajan hintakilpailukyvyn parantunut arviointi. Kaikkein merkittävin hyöty case-yritykselle on kuitenkin ollut systemaattinen toimittaja-arviointiprosessi, minkä suorituskykymittaristo mahdollistaa.
Resumo:
Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported withrisk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. Inthis thesis, mission critical systems are space systems and the product assurance processof these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesisaims to support the product assurance process of space systems with agile developmentso that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can besupported with agile development. The research part of this thesis is performed in survey form.
Resumo:
Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported with risk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. In this thesis, mission critical systems are space systems and the product assurance process of these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesis aims to support the product assurance process of space systems with agile development so that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can be supported with agile development. The research part of this thesis is performed in survey form.
Resumo:
Utilization of light and illumination systems in automotive industry for different purposes has been increased significantly in recent years. Volvo as one of the leading companies in manufacturing of luxury cars has found the great capacity in this area. The performance of such an illumination systems is one of the challenges that engineers in this industry are facing with. In this study an effort has been made to design a system to make the iron mark of Volvo being illuminated and the system is being evaluated by optics simulation in software using Ray optics method. At the end, results are assessed and some optimizations are carried out. Different kind of light guides, front side of the iron mark and some possible arrangement for LED also evaluated and different materials tested. The best combination from uniformity, color and amount of luminance aspect selected as a possible solution for this special project which can be used as a base for further studies in Volvo.
Resumo:
Pro Gradun tarkoituksena on tutkia, miten kategoriajohtamisen käsitettä voidaan hyödyntää kohdeyrityksen hankintatoimen strategisessa kehittämisessä. Hankintatoimeen liittyvän kategoriajohtamisen ollessa teoreettisesti vielä hyvin vähän tutkittu, rakennettiin työn teoreettinen viitekehys aiheeseen liittyvistä teemoista, kuten strategisen hankintatoimen merkityksestä, hankintastrategiasta, portfoliomalleista, hankintatoimen organisoinnista ja hankinnan suorituskyvyn mittaamisesta. Työ toteutettiin laadullisena tapaustutkimuksena. Tutkimusaineisto koostui yrityksessä suoritetuista puolistrukturoiduista teemahaastatteluista, jonka lisäksi yrityksen hankintatoimea analysoitiin kustannusanalyysin avulla. Teoreettisen viitekehykseen tukeutuen identifioitiin prosesseja, joiden avulla oli mahdollista analysoida ja kehittää tapausyrityksen hankintatoimea. Nämä kehittämistoimet voidaan jakaa kolmeen teemaan; hankintakategorioiden luominen ja analysointi, organisoinnin kehittäminen, suorituskyvyn mittaaminen. Kategoriajohtamista ei ollut mahdollista implementoida yritykseen, mutta työn tuloksena havaittiin, että jo kategoriajohtamiseen liittyvillä suunnitteluprosesseilla on mahdollista kehittää yrityksen hankintatoimea.
Resumo:
Tutkimuksen tavoitteena on selvittää miten tuotannon työnjohto voi osaltaan vaikuttaa henkilöstön työmotivaatioon hyödyntämällä suorituskyvyn mittaamista. Tutkimuksen empiirinen aineisto on hankittu haastattelemalla työnjohtoa ja suorittamalla kyselytutkimus tuotannon henkilöstölle. Yritykset mittaavat menestystekijöidensä suorituskykyä erilaisilla mittareilla, mutta usein mittaamisesta saatavaa tietoa ei osata hyödyntää parhaalla mahdollisella tavalla. Suorituskyvyn mittaamisen on muututtava suorituskyvyn johtamiseksi, jotta siitä on hyötyä yrityksen toiminnan kannalta. Suorituskyvyn johtamisessa mittaustuloksia tulkitaan ja niiden perusteella tehdään toimenpiteitä. Työmotivaatio vaikuttaa oleellisesti henkilöstön suoritukseen, joten on tärkeää, että työmotivaatioon kiinnitetään yrityksissä huomiota. Suorituskyvyn mittaamisella on mahdollista vaikuttaa työmotivaation taustalla oleviin tekijöihin, joiden avulla työmotivaatio paranee. Näitä tekijöitä ovat tavoitteiden asettaminen, selkeä viestiminen, palkitseminen ja vaikutusmahdollisuudet. Muita työmotivaatioon vaikuttavia tekijöitä ovat työympäristö ja kehittyminen työssä. Työnjohdon tehtävänä on hyödyntää mittaustietoa tuotannon henkilöstön johtamisessa.
Resumo:
The growth of the companies working in the Logistics area has raised the need for using several Logistics systems that can meet the increased requirements in business processes. Different companies may use one or more Logistics systems internally and may use different Logistics systems that other collaborated companies use. Furthermore, these Logistics systems are required to communicate with each other in order to process and manage the flow of the information. Integrating the Logistics systems is beneficial as it allows interaction between the whole systems and services instead of the need to replace them. In addition, it improves the efficiency, lowers the possible errors in the supply chain, reduces the costs and facilitates the access of suppliers and customers to the information. This in turn leads to better relationships with both suppliers and customers. Usually local integration of several Logistics systems is not very difficult, especially that mostly the companies buy their system from a single source. However, the case is different for integrating several logistics systems across the companies’ borders. In this case, there are many factors play major roles in limiting the integration, such as using different systems and different output. This thesis highlights these factors and challenges, demonstrates some solutions for the logistics inter-organizational integration from the perspective of information systems and presents some approaches for integrating these systems. There are many studies about the integration inside a company but fewer studies focused about the technical side and the information systems integration across company’s borders or what is called inter-organizational integration. This study is a literature review that aims at illustrating the challenges, the requirements and some approaches in inter-organizational logistics information systems integration of logistics systems across the companies’ borders.
Resumo:
Tutkimuksessa kehitettiin ajoneuvokatsastuksen suorituskykymittari sekä suorituskyvyn johtamiseen perustuva ajoneuvokatsastuksen valvontamalli. Suorituskykymittarin avulla voidaan mitata ajoneuvokatsastuksen suorituskykyä, seurata suorituskyvyn kehitystä, suunnitella ja päättää mitä pitäisi parantaa sekä seurata tehtyjen toimenpiteiden vaikutuksia eli johtaa toimintaa. Tutkimuksessa kehitetty suorituskykymittari perustuu Liikenteen turvallisuusviraston ylläpitämään ajoneuvoliikennerekisteriin tallennettujen katsastustietojen analysointiin sekä tilastollisten prosessin ohjausmenetelmien (SPC) hyödyntämiseen. Tutkimuksessa kehitetyssä ajoneuvokatsastuksen valvontamallissa Liikenteen turvallisuusviraston valvontatoimintoja sekä katsastusyritysten omaa laadunhallintaa johdetaan suorituskykymittarin avulla. Tutkimuksessa kehitetyn suorituskykymittarin ja valvontamallin avulla Liikenteen turvallisuusvirastolla ja katsastusyrityksillä on aiempaa paremmat edellytykset valvoa ja johtaa ajoneuvokatsastuksen suorituskykyä katsastustoiminnalle asetettujen tavoitteiden kannalta vaikuttavasti ja oikein. Tutkimus toteutettiin konstruktiivista tutkimusotetta käyttäen ja tutkimuksessa kehitetty ajoneuvokatsastuksen valvontamalli implementoitiin osaksi kansallista lainsäädäntöä sekä Liikenteen turvallisuusviraston ja katsastusyritysten johtamistoimintoja.
Resumo:
The present study tested the appHcabiUty of Ajzen's (1985) theory of planned behaviour (TPB), an extension of Fishbein and Ajzen's (1975) theory of reasoned action (TRA), for the first time, in the context of abused women's decision to leave their abusive relationships. The TPB, as a means of predicting women's decision to leave their abusive partners' was drawn from Strube's (1988, 1991) proposed decision-making model based on the principle that the decision-making process is a rational, deliberative process, and regardless of outcome, was a result of a logical assessment of the available data. As a means of predicting those behaviours not under volitional control, Ajzen's (1985) TPB incorporated a measure of perceived behavioural control. Data were collected in two phases, ranging from 6 months to 1 year apart. It was hypothesized that, to the extent that an abused woman held positive attitudes, subjective norms conducive to leaving, and perceived control over leaving, she would form an intention to leave and thus, increase the likelihood of actually leaving her partner. Furthermore, it was expected that perceptions of control would predict leaving behaviour over and above attitude and subjective norm. In addition, severity and frequency of abuse were assessed, as were demographic variables. The TPB failed to account significantly for variability in either intentions or leaving behaviour. All of the variance was attributed to those variables associated with the theory of reasoned action, with social influence emerging as the strongest predictor of a woman's intentions. The poor performance of this model is attributed to measurement problems with aspects of attitude and perceived control, as well as a lack of power due to the small sample size. The insufficiency of perceived control to predict behaviour also suggests that, on the surface at least, other factors may be at work in this context. Implications of these results, and recommendations such as, the importance of obtaining representative samples, the inclusion of self-esteem and emotions as predictor variables in this model, a reevaluation of the target behaviovu" as nonvolitional, and longitudinal studies spanning a longer time period for future research within the context of decision-making are discussed.