Budjetointikäytännöt ja niiden kehittäminen vakuutusalalla

Budjetoinnin toimivuus jäykkänä suunnitteluprosessina kyseenalaistetaan tämän päivän nopeasti muuttuvassa toimintaympäristössä. Lisäksi sen merkitys johtamisen välineenä on ristiriitainen, eikä se välttämättä palvele strategisia tavoitteita. Perinteistä budjetointia kritisoivat tahot ovat kehittäneet uusia budjetointimenetelmiä, kuten toimintopohjaisen budjetoinnin ja Beyond budgeting -menetelmän. Tutkimuksessa haastateltiin kolmea vakuutusyhtiötä, tavoitteena on selvittää budjetoinnin merkitys vakuutusyhtiön talouden suunnittelussa ja kartoittaa kehitystarpeita taloussuunittelun toteuttamiselle ottaen huomioon toimialan erityispiirteet ja vaatimukset sekä ulkoinen toimintaympäristö. Tutkitut vakuutusyhtiöt kokivat käyttämänsä perinteisen vuosibudjetoinnin hyvänä taloussuunnittelun välineenä. Säätelyn kohteena olevilta vakuutusyhtiöiltä vaadi-taan tarkkaa pitkän tähtäimen talouden suunnittelua. Ulkoinen toimintaympäristö on ollut viime vuodet vakaa mahdollistaen taloussuunnittelun onnistumisen perinteisen vuosibudjetin keinoin.  

AQUAREL CONCEPT Aquatic resources for green energy realization

The AQUAREL project studied the availability and optional utilization methods for fish processing side streams and other aquatic biomaterial in the Republic of Karelia. Additionally processing aquatic biomaterial with manure and sewage sludge was studied. Based on the results, the most feasible option today is to process fish side streams to fish oil and dewatered oil-free residue and to use them for fish or animal feed production. However, it is necessary to highlight, that changes in e.g. economic environment, energy prices and demand may require re-evaluating the results and conclusions made in the project. Producing fish oil from fish processing side streams is an easy and relatively simple production process generating a valuable end product. The functionality of the process was confirmed in a pilot conducted in the project. The oil and solids are separated from the heated fish waste based on gravity. The fish oil separating on top of the separator unit is removed. Fish oil can as such be utilized for heating purposes, fish meal or animal feed production, but it can also be further processed to biodiesel. However, due to currently moderate energy prices in Russia, biodiesel production is not economically profitable. Even if the fish oil production process is not complicated, the operative management of small-scale fish oil production unit requires dedicated resources and separate facilities especially to meet hygiene requirements. Managing the side streams is not a core business for fish farmers. Efficient and economically profitable fish oil production requires a centralized production unit with bigger processing capacity. One fish processing unit needs to be designed to manage side streams collected from several fish farms. The optimum location for the processing unit is in the middle of the fish farms. Based on the transportation cost analysis in the Republic of Karelia, it is not economically efficient to transport bio-wastes for more than 100 km since the transportation costs start increasing substantially. Another issue to be considered is that collection of side streams, including the dead fish, from the fish farms should be organized on a daily basis in order to eliminate the need for storing the side streams at the farms. Based on AQUAREL project studies there are different public funding sources available for supporting and enabling profitable and environmentally sustainable utilization, research or development of fish processing side streams and other aquatic biomaterial. Different funding programmes can be utilized by companies, research organizations, authorities and non-governmental organizations.

Osaamisen johtaminen - käytäntöjä ja kehittämistarpeita henkilöstön näkökulmasta

Tämän pro gradu -tutkimuksen tavoitteena oli tutkia osaamisen johtamisen käytäntöjä ja kehittämistarpeita kohdeorganisaatiossa henkilöstön näkökulmasta. Tutkimuksen tarkoituksena oli selvittää, miten tehtyjä henkilöstötutkimuksia on hyödynnetty kohdeorganisaatiossa ja näkyykö tämä hyödyntäminen käytännön johtamisessa henkilöstön mielestä. Tutkimus suoritettiin laadullisena tapaustutkimuksena ja empiirinen aineisto kerättiin kuudella teemahaastattelulla, jotka analysoitiin sisällönanalyysimenetelmällä. Tutkimuksessa kartoitettiin, millaisia osaamisen johtamisen käytäntöjä kohdeorganisaatiossa on. Tutkimuksen tuloksien perusteella osaamisen johtamisen peruselementit ovat olemassa: säännölliset palaverit koettiin tärkeiksi, mutta koulutuksien ja kehityskeskusteluiden järjestämisessä sekä jälkiseurannassa henkilöstö näki parannettavaa. Myös hiljaisen tiedon siirtäminen ja hyödyntäminen koettiin merkittäväksi tekijäksi organisaation onnistuneen toiminnan ja jatkuvuuden kannalta. Tutkimuksessa todettiin osaamisen johtamisen kehittämisen ja osaamisen kehittämisen menetelmien linkittyvän vahvasti toisiinsa ja tutkimuksen tuloksena esitettiin konkreettisia toimenpide-ehdotuksia osaamisen johtamisen kehittämisestä kohdeorganisaation johdolle. Tutkimuksen mukaan osaamisen johtaminen ja henkilöstöjohtaminen sulautuvat toisiinsa, eikä niitä voida tarkastella erikseen. Johdon ja henkilöstön välisellä vuorovaikutuksella on suuri merkitys onnistuneelle osaamisen johtamiselle. Keskeistä on kytkeä osaamisen johtaminen organisaation käytäntöihin ja varata sen implementointiin riittävästi resursseja.

Tuotteen ympäristöjalanjälki -menetelmän soveltuvuus ympäristöviestinnän työkaluksi

Työn tavoitteena oli arvioida tuotteen ympäristöjalanjälki –menetelmän (PEF) käytettävyyttä ympäristöviestintään. PEF-metodologiaa vertailtiin muihin ympäristötehokkuuden laskenta- ja viestintätyökaluihin, jotta löydettäisiin PEF:n epäkohtia ja vaihtoehtoja menetelmäpäätösten toimivammaksi muuttamiseen. Työssä tehtiin myös haastattelututkimus yhden tuoteryhmäsääntöjen (PEFCR) laadintaprojektin toimijoille, jotta löydettäisiin PEFCR:ien laadinnan epäkohtia. Työssä arviointiin myös testattavaksi ehdotetun PEF-merkinnän käytettävyyttä ympäristöviestintään. Työssä todettiin, että PEF-metodologiassa on epäkohtia, joiden todellinen merkitys ja vaikutus selviävät vasta pilottivaiheen jälkeen. PEF:ssä on annettu vähemmän vapauksia menetelmäpäätösten tekoon kuin nykyisissä menetelmissä, mutta se mahdollistaa paremmat lähtökohdat halvemmille ja vertailukelpoisemmille selvityksille. Ympäristöviestinnän kannalta erityisesti PEFCR:ien toimivaksi saaminen on hyvin tärkeää, jotta työkalulla on edellytykset käyttöönotolle. Lähtökohdat PEFCR:ien toimivaksi saamiseksi ovat kunnossa, mutta projektin tiukka aikataulu yhdessä PEF:n ja PEFCR:ien kyseenalaisten menetelmäpäätösten kanssa saattavat aiheuttaa ongelmia. Menetelmän käyttöönoton onnistumiseen vaikuttavat myös työkalusta riippumattomat asiat, kuten nykyiset ympäristömerkintäjärjestelmät sekä kuluttajakäytöksen muuttamiseen ja yritysmaailman integrointiin PEF:n käyttäjiksi liittyvät haasteet.

Christlich-religiöse Textwelt als translatorisch-hermeneutischer Gegenstand Gegenstandsbeschreibung und Herangehensweisen

Tämä teorialähtöinen, hermeneuttinen tutkimus sijoittuu käännöstieteen sekä uskonnon- ja kielifilosofian rajapintaan. Tutkimuksessa kuvataan kristinuskon tekstimaailmaa relevantin tulkintakehyksen kautta sekä esitetään tekstimaailman tulkintaan soveltuva lähestymistapa ammattikääntäjän eli välittävän vastaanottajan näkökulmasta. Tutkimus pureutuu käännösprosessin hermeneutiikkaan eli lähdetekstin ja sen maailman tulkintaan, ymmärtämiseen ja selittämiseen liittyviin aspekteihin. Tutkimuksessa ei esitetä käännösratkaisuja. Tutkimus nostaa esiin filosofisen ja teologisen hermeneutiikan peruskysymyksiä. Niitä ovat Raamatun tekstien vaikutushistoria, erilaiset todellisuus- ja kielikäsitykset, kirkon oppi, teologian pääsuuntaukset, uskonnolliset yhteisöt ja niiden perinteet, inhimillinen kulttuuri ja aika. Ne ovat ulottuvuuksia, jotka vaikuttavat kääntäjän tekstin- ja maailmantulkintaan ja vaativat laajojen kontekstien huomioonottamista sekä lähestymistä monista eri näkökulmista. Ludwig Wittgensteinin myöhäisfilosofiaan liittyvän kielipelin idea tarjoaa ajatusmallin, jonka avulla uskonnon käsite-, merkki- ja tekstimaailmalle voidaan luoda moninäkökulmainen tulkintakehys. Kielipelin käsitettä käytetään tässä tutkimuksessa tekstien samankaltaisuutta ja erilaisuutta kokoavana järjestelmänä, joka toimii intratekstuaalisesti eli sillä on omat pelisääntönsä, tulkinnan lähteensä sekä tunnistettava identiteetti. Järjestelmän keskiössä ovat uskonnon konstituioivat käsitteet ja kertomukset, jotka ovat muiden tulkintojen eli metatekstien lähde. Kääntäjän varsinaisina tulkintakohteina ovat metatekstit, eivät raamatunkääntämiseen liittyvät kysymykset suoranaisesti. Tutkimuksessa luodaan kuitenkin tulkintamalli, jonka mukaan metatekstejä ja raamatun tekstejä luetaan rinnakkain. Ymmärtäminen ja ongelmanratkaisu rakentuvat tekstuaalisen kommunikaation pohjalta. Tekstejä luetaan sekä sääntöteorian että narratiivisen teorian valossa. Kertomus puhuttelee vastaanottajaa eri tavalla kuin sääntö. Tulkintamallissa yhdistyvät sekä analyyttinen että luovan mielikuvituksen sallima lukutapa. Molemmat toimivat yhdessä kääntäjän tekstin- merkin- ja maailmantulkinnan apuna. Tutkimuksessa pohditaan myös tekstiteorettisia kysymyksiä, tekstin ja merkin käsitteitä sekä niiden toimintadynamiikkaa. Tulkinnan mekanismi esitetään semioosin käsitteen avulla. Teksti määritellään heuristiseksi ja eksemplaariseksi kuvaukseksi maailmasta, ja se edustaa vain osaa tulkintakokonaisuudesta. Kääntäjän hermeneuttinen kenttä ulotetaan tekstinulkoiseen maailmaan, käytäntöön ja elämänmuotoon.

Energiapuun kastelu jätetäytön suotovedellä tuhkasta ja kompostista valmistetussa kasvualustassa

Tässä työssä tutkitaan suotoveden käsittelyä käyttämällä sitä kierrätysmateriaaleista valmistetussa tuhkamullassa loppusijoitusalueen päällä kasvatettavan energiapuukasvuston kasteluun. Kyseisen toimintamallin tarkoituksena on haihduttaa suotovettä energiapuiden avulla sekä sitouttaa ravinteita ja haitta-aineita sekä kasvustoon että kasvualustaan. Tavoitteena on selvittää toimintamallin hyödyntämiskelpoisuus ja tehokkuus suotovesien käsittelymenetelmänä sekä kastelun vaikutukset energiapuun kasvuun. Työssä suoritettiin kesän ja syksyn 2014 aikana energiapuun kastelukoe Mustankorkea Oy:n jätteenkäsittelykeskuksen alueella Jyväskylässä. Kokeessa loppusijoitusalueen päälle istutettuja eri kasvuvaiheissa olevia energiapajukasvustoja sekä hybridihaapakasvustoa kasteltiin jätetäytön suotovedellä. Kokeessa käytettiin kasvualustoina tuhkamultaa, joka oli valmistettu tuhkasta, kompostista ja ylijäämämaa- aineksesta, sekä kompostia. Kasteluveden, valumavesien, kasvualustojen ja pajukasvuston ominaisuuksia seurattiin kokeen aikana analyysien avulla. Lisäksi alueen vesitaseen selvittämiseksi suoritettiin lysimetrikokeet, joissa lysimetreihin istutettuja pajuja kasteltiin suotovedellä sekä hanavedellä. Tulosten perusteella suotovesikastelu lisäsi sekä pajun että haavan kasvua. Kastelu lisäsi pajun ravinnepitoisuuksia. Se myös heikensi hieman pajun poltto-ominaisuuksia. Kasvualustan ominaisuuksiin kastelulla ei havaittu olevan vaikutuksia. Kastelumäärä, jota voidaan käyttää ilman valumia, on kokeen perusteella n. 100–600 mm/kasvukausi käytetyllä kastelujärjestelmällä. Kastelujärjestelmää kehittämällä on kuitenkin luultavasti mahdollista lisätä haihduntaa ja siten kastelumäärää merkittävästi.

A Phase Model for Building a Customer Value Based Sales Tool – Case Mining and Metals Industry

The objective of this research is to observe the state of customer value management in Outotec Oyj, determine the key development areas and develop a phase model with which to guide the development of a customer value based sales tool. The study was conducted with a constructive research approach with the focus of identifying a problem and developing a solution for the problem. As a basis for the study, the current literature involving customer value assessment and solution and customer value selling was studied. The data was collected by conducting 16 interviews in two rounds within the company and it was analyzed by coding openly. First, seven important development areas were identified, out of which the most critical were “Customer value mindset inside the company” and “Coordination of customer value management activities”. Utilizing these seven areas three functionality requirements, “Preparation”, “Outotec’s value creation and communication” and “Documentation” and three development requirements for a customer value sales tool were identified. The study concluded with the formulation of a phase model for building a customer value based sales tool. The model included five steps that were defined as 1) Enable customer value utilization, 2) Connect with the customer, 3) Create customer value, 4) Define tool to facilitate value selling and 5) Develop sales tool. Further practical activities were also recommended as a guide for executing the phase model.

Kustannusten mallintaminen eristettyjen putkien suunnittelussa

Tämän työn tavoitteena oli rakentaa investointi- ja kustannusmalli yritykselle, jonka avulla voidaan arvioida uusien tuotteiden kustannuksia sekä niihin liittyvien laiteinvestointien kustannuksia. Kustannusmalli on rakennettu Microsoft Excel – ohjelman avulla. Mallin tavoitteena oli saada tarkempaa kustannustietoa uusista suunnitelluista putkista sekä niiden lämmöneristävyydestä. Aiemmin tällaista mallia ei ole ollut käytössä yrityksen tuotekehityksessä vaan siellä on laskettu kustannuksia aina tapauskohtaisesti, jolloin laskentoihin on kulutettu enemmän aikaa. Työssä hyödynnetään kustannuslaskennan ja investoinnin teorioita kustannusmallin rakentamiseen. Työn empiirisessä osiossa käydään läpi, kuinka kustannusmalli on rakennettu ja minkälaisia ominaisuuksia kustannusmalli sisältää. Empiirisessä osiossa myös testataan kyseisen mallin toimivuutta, jossa lasketaan kustannukset yhdelle suunnitellulle tuoteryhmälle. Tuloksena tässä työssä saatiin rakennettua toimiva kustannusmalli, jonka ominaisuutena on yksinkertaisuus ja datan helppo muokattavuus. Kustannusmallia voidaan käyttää aina uudelleen ja se voidaan myös laajentaa koskemaan useampia tuoteryhmiä.

SDN in an ISP Environment

As computer networks grow larger and more complex there is a need for a new, simpler kind of approach to configuring them. Software Defined Networking (SDN) takes the control plane away from individual nodes and centralizes the network control by utilizing a flow based traffic management. In this thesis the suitability of SDN in a small ISP (Internet Service Provider) network is considered for an alternative to the current traditional core network and access network OSSs (Operations Support System), mainly to simplify the network management but also to see what else would SDN offer for such an environment. Combining information learned from a theoretical study on the matter to a more practical experiment of SDN network simulation using Mininet simulation software and OpenDayLight SDN controller software does this. Although the simulation shows that SDN is able to provide the functionality needed for the network, the immaturity of the technology suggests that for a small ISP network there is no need to utilize SDN just yet. For when SDN becomes more commonplace a brief transition plan is introduced.

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ä.

Net working capital estimation model in project business

The objective of this Master’s thesis is to develop a model which estimates net working capital (NWC) monthly in a year period. The study is conducted by a constructive research which uses a case study. The estimation model is designed in the need of one case company which operates in project business. Net working capital components should be linked together by an automatic model and estimated individually, including advanced components of NWC for example POC receivables. Net working capital estimation model of this study contains three parts: output template, input template and calculation model. The output template gets estimate values automatically from the input template and the calculation model. Into the input template estimate values of more stable NWC components are inputted manually. The calculate model gets estimate values for major affecting components automatically from the systems of a company by using a historical data and made plans. As a precondition for the functionality of the estimation calculation is that sales are estimated in one year period because the sales are linked to all NWC components.

An examination of factors influencing ERP key-user satisfaction: A qualitative case study

Several companies are trying to improve their operation efficiency by implementing an enterprise resource planning (ERP) system that makes it possible to control the resources of the company in real time. However, the success of the implementation project is not a foregone conclusion; a significant part of these projects end in a failure, one way or another. Therefore it is important to investigate ERP system implementation more closely in order to increase understanding about factors influencing ERP system success and to improve the probability of a successful ERP implementation project. Consequently, this study was initiated because a manufacturing case company wanted to review the success of their ERP implementation project. To be exact, the case company hoped to gain both information about the success of the project and insight for future implementation improvement. This study investigated ERP success specifically by examining factors that influence ERP key-user satisfaction. User satisfaction is one of the most commonly applied indicators of information system success. The research data was mainly collected by conducting theme interviews. The subjects of the interviews were six key-users of the newly implemented ERP system. The interviewees were closely involved in the implementation project. Furthermore, they act as representative users that utilize the new system in everyday business processes. The collected data was analyzed by thematizing. Both data collection and analysis were guided by a theoretical frame of reference. This frame was based on previous research on the subject. The results of the study aligned with the theoretical framework to large extent. The four principal factors influencing key-user satisfaction were change management, contractor service, key-user’s system knowledge and characteristics of the ERP product itself. One of the most significant contributions of the research is that it confirmed the existence of a connection between change management and ERP key-user satisfaction. Furthermore, it discovered two new sub-factors influencing contractor service related key-user satisfaction. In addition, the research findings indicated that in order to improve the current level of key-user satisfaction, the case company should pay special attention to system functionality improvement and enhancement of the key-users’ knowledge. During similar implementation projects in the future, it would be important to assure the success of change management and contractor service related processes.

Arduino-pohjainen OBD2-lukija SAE J1850 VPW protokollatuella

Kandidaatintyössä toteutetaan OBD2 (On-Board Diagnostics 2) -lukija ajoneuvon päästöjenhallintajärjestelmän diagnostiikkatiedoille yleiskäyttöisellä mikro-ohjaimella. Lukija tukee tiedonsiirtoprotokollana SAE J1850 VPW protokollaa. Mikro-ohjaimena on Atmel Corporationin AVR ATMega328. Työn tavoitteena on havainnoida vastaantulevia käytännön ongelmia ja haasteita mikro-ohjaimen käytöllä tiedonsiirtoprotokollan toteutukseen, ja verrata toteutettua järjestelmää kaupallisiin OBD2-lukijoihin. Työn johtopäätöksenä havaitaan mikro-ohjaimen suorituskyvyn rajoitteet ja sen tuomat toiminnan epävarmuustekijät. Työssä myös todetaan, että mikro-ohjain soveltuu tiedonsiirtoprotokollan toteutukseen kun rajoitteet otetaan huomioon. Kaupallisiin lukijoihin verrattuna yleiskäyttöiseen mikro-ohjaimeen perustuva toteutettu järjestelmä on kalliimpi ja toiminnoiltaan suppeampi. Mikro-ohjaimeen perustuva järjestelmä on kuitenkin muokattavissa ja laajennettavissa tarvittaessa, jolloin toteutukseen voidaan saada kaupallisista järjestelmistä mahdollisesti puuttuvia ominaisuuksia, kuten valmistajakohtaisia protokollia ja toimintoja, joita ei ole määritelty OBD2:ssa. Yhtenä esimerkkinä tällaisesta toiminnosta voi mainita ajoneuvoissa yleistyvän sähköisen käsijarrun säätöä ohjaavat komennot jarruhuoltoa varten.

Koneinvestointien elinkaarikustannusmalli

Työn tavoitteena oli rakentaa käyttökelpoinen elinkaarikustannusmalli, jonka avulla voidaan arvioida investoitavien uusien koneiden elinkaaren aikaisia kustannuksia. Elinkaarikustannusmalli on rakennettu Microsoft Excel -ohjelman avulla. Mallin tavoitteena oli saada tarkempaa tietoa koneiden aiheuttamista elinkaarikustannuksista. Aiemmin tällaista mallia ei ole ollut käytössä, vaan investointien paremmuutta on paljolti verrattu takaisinmaksuajan ja hankintahinnan perusteella. Työssä hyödynnetään investointi- ja elinkaarilaskennan teorioita elinkaarikustannusmallin rakentamiseen. Työn empiirisessä osiossa käydään läpi, miten elinkaarikustannusmalli on rakennettu ja millaisia ominaisuuksia malli sisältää. Empiirisessä osassa myös testataan rakennetun mallin toimivuutta ja lasketaan elinkaarikustannukset yhdelle koneinvestoinnille. Teoriaosuudessa käsiteltiin myös elinkaarituottoja mallin jatkokehityksen kannalta. Työn tuloksena saatiin rakennettua käyttökelpoinen elinkaarikustannusmalli, jonka ominaisuuksina ovat sen helppo käyttö ja yksinkertaisuus. Mallia voidaan käyttää useammalle koneinvestointivaihtoehdolle samanaikaisesti ja sitä voidaan helposti laajentaa tulevaisuudessa.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.