Vilka möjligheter och utmaningar kan blockkedjetekniken erbjuda i revisionsprocessen? Studien ska undersöka samt skapa förståelse för de möjligheter och utmaningar som blockkedjetekniken medför inom revisionsprocessen och därmed bidra med ökad empirisk kunskap till det forskningsgap som identifierats inom den vetenskapliga litteraturen. Kvalitativ dokumentstudie som jämför vetenskapliga artiklar och dokument. De möjligheter som kan identifieras med blockkedjetekniken är trippelbokföring, smarta kontrakt, minskad tid, minskad kostnad, minskad risk, kodade kreditvärdighetsmodeller, minskat antal rättstvister, förenklar revisionsprocessen, blockkedjetekniken är omanipulerbar, ökad tillförlitlighet till revisorn, säkerhetskopiering, revisorn får en ny roll. De utmaningar som kan identifieras är ökad öppenhet, mindre transparens, kontrollera äkthet på överföringar, om blockkedjan kan manipuleras, farligt att lita till 100% på teknik, säkerhetskopiering, överskattad säkerhet, beskattning i realtid, skalbarhet, kostnader ökar i början, ekonomiutbildningar behöver anpassas, revisorns nya roll, revisorns nya arbetsuppgifter, nya kompetenser krävs, etik behövs, lagar och regler behöver anpassas, lagar behöver tillföras snabbare. Det är tydligt att många av möjligheterna också innebär utmaningar, det är sällan en möjlighet nämns utan att utmaningar med densamma tas upp. Det som också syns tydligt är att utmaningarna med blockkedjetekniken i dagsläget är fler än möjligheterna, vilket var ett oväntat resultat. / What opportunities and challenges can blockchain technology offer in the auditprocess? The study will investigate and create an understanding of the opportunities and challenges that blockchain technology entails in the audit process, thereby contributing with increased empirical knowledge to the research gap identified in the scientific literature. Qualitative documentstudy comparing scientific articles and documents. The opportunities that can be identified with blockchaintechnology are trippleaccounting, smart contracts, reduced time, reduced cost, reduced risk, coded creditworthiness models, reduced number of litigations, simplifies the auditprocess, blockchaintechnology is unmanipulable, increased reliability to the auditor, back-up, auditor’s new role. The challenges that can be identified are increased openness, less transparency, checking the authenticity of transfers, if the blockchain can be manipulated, dangerous to trust 100% on technology, backup, overestimated security, real-time taxation, scalability, costs increase in the beginning, financial education needs to be adapted , the auditor's new role, the auditor's new duties, new skills are required, ethics are needed, laws and regulations need to be adapted, laws need to be applied more quickly. It is clear that many of the opportunities also pose challenges; there is rarely an opportunity mentioned without challenges being addressed. What is also clearly seen is that the challenges with blockchain technology in the current situation are many more than the possibilities, which was an unexpected result.

Lärare vittnar om en tuff arbetsmiljö som påverkar både deras möjligheter att utföra sitt arbeteoch elevernas möjligheter till undervisning. De flesta lärare trivs med att undervisa men deras arbetsmiljö innebär en förhöjd risk för arbetsrelaterade besvär. Psykologiska kontrakt handlar om ömsesidiga skyldigheter och förväntningar mellan arbetsgivare och arbetstagare. Syftet var att undersöka lärares upplevelser av deras psykologiska kontrakt. Sju kvalitativa intervjuer med lärare från olika skolor genomfördes och analyserades med hjälp av en induktiv tematisk analys. Fyra teman framkom: Anställningsavtalet, Bristande resurser, Innehåll i de psykologiska kontrakten och Psykologiska kontraktsbrott. I studien framkom att en stor del av lärares arbete regleras i deras psykologiska kontrakt, att det är viktigt att förväntningar mellan lärare och deras arbetsgivare tydliggörs och att lärare får en ordentlig introduktionsprocess vid nyanställning. Resultatet går i linje med tidigare forskning och styrker vikten av att vårda lärares psykologiska kontrakt. / Teachers testify to a tough work environment that affects both their opportunities to do their jobs and students’ opportunities for learning. Most teachers enjoy teaching, but their work environment entails an increased risk of work-related problems. Psychological contracts are mutual obligations and expectations between employers and employees. The purpose was to examine teachers’ experiences of their psychological contract. Seven qualitative interviews with teachers from different schools were conducted and analyzed using an inductive thematic analysis. Four themes emerged: Contract of Employment, Lack of resources, Contents of the psychological contract and Psychological contract violations. The study showed that a large part of teachers' work is regulated in their psychological contracts, that it is important that to clarify expectations between teachers and their employers, and that teachers get a proper introduction process when hired. The results are in line with previous research and highlight the importance of nurturing teachers' psychological contracts.

Medvetna källor till förväntningar från målgruppen visade sig vara tidigare chefer, organisation de tidigare arbetat i, föräldrar, kollegor, utbildning, vänner, underhållning och media och samhällsnormer. Det organisationen gör är betydande för att skapa förväntningar, hos gruppen unga oerfarna chefer. Rekryteringsprocessen, både internrekrytering och externrekrytering, ger tillfällen att hantera, justera och skapa förväntningar under tiden fram till tillträdet både genom explicita diskussioner och erfarenheter inom organisationen. Respondenterna visade tecken på att se vissa förväntningar som självklara, som om deras ursprung var ett slags självklar eller grundläggande allmängiltig sanning. De ser i vissa hänseenden de viktigaste förväntningarna som för självklara för att nämnas. Syftet med denna studie är att bidra till kunskap om ursprung till medvetna förväntningar på den första tjänsten som operativ chef. De mest framträdande ursprungen till förväntningar visade sig i empiriinsamlingen vara tidigare chefer och andra ledarförebilder samt organisationer som respondenterna har erfarenheter ifrån. / Conscious origins of expectations for the respondents were previous managers, the organisation they had worked in, parents, colleagues, educational environment, friends, entertainment and media, and societal norms. What the organisation does is important for creating expectations for the group of inexperienced young managers that were studied. The recruitment process, both internal and external, provides opportunities to handle, adjust and create expectations before employment start, both through explicit discussions and through experiences within the organisation. Respondents showed signs of viewing some expectations as self-evident, as if their origin were a sort of obvious or general truth. They to some degree view the most important (to them) expectations as too self-evident to mention (to a recruiter). The purpose of this study is to contribute to knowledge of origins of conscious expectations on the first position as operative manager. The most common origins in this sample turned out to be previous managers and other leader role models as well as organisations that the respondents have experienced.

Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. This thesis investigates how web applications can be designed, implemented and tested in order to make reliable applications with high test performance using Design by Contract (DbC) and automatically generated tests without significantly increasing programming effort. The results consist of a formal model for reactive programs using denotational and axiomatic semantics in order to not be tied to a specific programming language. The model is tested by implementing a sample application in Clojure and evaluating different aspects such as test coverage and test performance, in addition to mutation-based testing. Furthermore, the formal model can be used as a blueprint for developing reliable applications and serve as a formal building block for future research on web applications. Additionally, the sample application may be used as a guideline for real world development. The results show that applications implementing the formal model have generated test suites that are likely to detect programmer errors and can achieve high test coverage and performance while requiring less or equal effort when compared to other implementations and manual testing. / Klientbaserade webbapplikationer har under de senaste åren växt från mindre dynamiska förbättringar till att fullständigt driva Single-page Applikationer (SPAs). Att skriva tester för sådana applikationer är en komplex uppgift som ofta kräver emulering av webbläsare, vilket leder till mycket arbete och låg prestanda. Den här studien undersöker hur webbapplikationer kan designas och implementeras för att skapa pålitliga applikationer genom att använda Design by Contract (DbC) och automatiskt genererade tester, utan att signifikant påverka arbetsbördan för utvecklare. En formell modell för reaktiva applikationer presenteras med hjälp av denotationell och axiomatisk semantik för att inte begränsas till ett enskilt programspråk. Modellen testas genom utveckling och utvärdering av en exempelapplikation skriven i Clojure där olika aspekter såsom täckningsgrad och prestanda hos tester samt mutationsbaserad testning undersöks. I resultaten av den här studien presenteras en formell modell som kan användas som riktlinje för att bygga pålitliga webbapplikationer samt som en formell byggsten för framtida studier. Vidare så kan även exempelapplikationen användas som mall för utveckling av applikationer i industrin. Resultaten visar att applikationer som implementerar modellen har en testsvit som är trolig att upptäcka programmeringsfel samt uppnår hög täckningsgrad och prestanda, medan de kräver mindre eller liknande arbete som andra implementationer och manuellt programmerade tester.

Syftet med denna studie var att förstå kriterier, barriärer, kostnader och fördelar som är förknippade med implementering av blockchain-teknik, och utifrån detta utforska hur blockchain-teknik kan förbättra BPM. Studien är av kvalitativ karaktär och gjordes sekventiellt genom att först genomföra en omfattande tvärvetenskaplig litteraturöversikt och därefter intervjua personer med erfarenhet från blockchain-teknik. Analysen gjordes med både en induktiv och deduktiv ansats där tematisk analys tillämpades. Resultaten från studien visar att blockchain-teknik kan minska transaktionskostnader, förbättra avstämning och verifiering, förbättra samarbetsprocesser och skapa förtroende och öppenhet samtidigt som de stöder organisationer med styrning av datasäkerhet, korrekthet av data, och minskade IT-kostnader till följd av förbättrad hantering med säkerhetskopiering av data, servrar och lagring. Stort fokus ligger för tillfället på smarta kontrakt där integrering av affärslogiken tillsammans med en förbättrad databasstruktur möjliggör förbättrat samarbete och automatisering av standardiserade affärsprocesser. Resultaten indikerar också brist på blockchain-ingenjörer, vilket påverkar utveckling och tillväxt. Studien belyser ett behov av ytterligare implementeringsstudier och att bättre skilja mellan de olika blockchain-typerna och de problem de kan lösa. Säkerhet, hållbarhet och interoperabilitet nämns ofta som utmaningar i den pågående diskussionen om blockchain. Detta är inte unikt för blockchain-teknik och mer nyanserade förklaringsmodeller krävs. Blockchain-teknik kan vara framtiden, och kan ersätta befintlig infrastruktur, i slutändan måste organisationer överväga vid vilken tidpunkt de bör börja tänka på att sätta blockchain på sin agenda, med de olika avvägningar som detta innebär. / The purpose of this study was to understand criteria, barriers, costs and benefits that are associated with implementing blockchain technology, and from this explore how blockchain technology can improve BPM. The study is of qualitative nature and was done sequentially by conducting an extensive cross-disciplinary literature review first, and then interviewed people with experience from blockchain technology. The analysis was done with both an inductive and deductive approach by doing a thematic analysis. The results from this study show that blockchain technology can reduce transactional costs, improve reconciliation, improve collaborative business processes and bring trust and transparency while supporting organizations with governance of data security, data consistency and reducing associated IT-costs with managing back-up of data, servers and storage. A lot of focus is currently centered around smart contracts, where incorporating the business logic together with an improved database structure allows for improved collaboration and automation of standardized business processes. The results also indicate a shortage of blockchain engineers, consequently impacting development and growth. The study highlights a need for further implementation studies and to better distinguish between the different blockchain types and the problems they can solve. Security, sustainability and interoperability are often mentioned as challenges in the current discourse on blockchain. This is not unique for blockchain and more nuanced explanation models are required. Blockchain technology may be the future and replace existing infrastructure, ultimately organizations have to consider at what point in time they should start thinking about putting it on their agenda and the associated trade-offs that comes with this. / <p>2021-06-06</p>

Under de senaste åren har blockkedjans popularitet blivit alltmer känd och dess popularitet har ökat. Aspekten av att använda en blockkedja i olika delar av samhället har diskuterats och testats. Smarta elnät är också ett brett ämne som har undersökts djupt, idén fortsätter att utvecklas och dess implementation i ett större samhälle. Slutligen är intelligenta agenter ett mål som används och diskuteras i stor utsträckning idag. Användningen av intelligenta agenter sträcker sig till områden som datautvinning, dataanalys och andra olika tjänster. Denna studie har börjat med ett föreställt scenario, men med avseende på olika områden blev det ett avskalat scenario där det förverkligade scenariot utvecklade ett bevis på koncept. Visionen med avhandlingen var att ta fram ett nytt sätt att köpa mindre mängder elektricitet, vilket framtar en ny metod för att köpa el från andra privatpersoner som har lagrat ström från olika källor där det inte kommer till användning. Undersökning av olika blockkedjealternativ slutade med alternativet Ganache som fungerar med kryptovalutan Ethereum. Scenariot började med att en person A hade en önskan att göra ett köp med beloppsgränsen 100 SEK. Därefter utfördes implementationen för att uppfylla önskemålen hos Person A. När det gäller data och tidmätningar resulterade det i bättre än förväntade resultat. Studien har visat att genomförandet av detta bevis på koncept kan utöka förbättringar vid inköp av mindre mängder el. / In the later years, blockchain's popularity has been more recognized and its popularity has increased. The aspect of using a blockchain in different aspects of society has been discussed and tested. Smart grids are also a topic that has been deeply investigated, the idea is moving forward in the making of tweaks in the system. Lastly, Intelligent Agents are a target widely used and discussed today. The usage of Intelligent Agents is considered in areas such as data mining, data analytics, and different services. This study started with an envisioned scenario but regarding different scopes, it became a realized scenario where the realized scenario developed a proof of concept. The vision of the thesis is to bring forth a new way to purchase smaller amounts of electricity, creating a new way to purchase electricity from other civilians who have stored it from different sources where they do not use it. Investigating different blockchain alternatives led to Ganache which works with the cryptocurrency Ethereum. The scenario started with Person A that requested to purchase with the amount limit of 100 SEK. Thereafter the case was implemented to fulfill the needs of Person A. In terms of data and time measurements, it resulted in good outcomes. The study has proven that an implementation of this proof of concept could lead to improvements when purchasing smaller amounts of electricity.

Counterparty credit risk is present in trades offinancial obligations. This master thesis investigates the up and comingtechnology blockchain and how it could be used to mitigate counterparty creditrisk. The study intends to cover essentials of the mathematical model expectedloss, along with an introduction to the blockchain technology. After modellinga simple smart contract and using historical financial data, it was evidentthat there is a possible opportunity to reduce counterparty credit risk withthe use of blockchain. From the market study of this thesis, it is obvious thatthe current financial market needs more education about blockchain technology. / Motpartsrisk är närvarande i finansiella obligationer. Den här uppsatsen un- dersöker den lovande teknologin blockkedjan och hur den kan användas för att reducera motpartsrisk. Studien har för avsikt att täcka det essentiel- la i den matematiska modellen för förväntad förlust, samt en introduktion om blockkedjeteknologi. Efter att ha modellerat ett enkelt smart kontrakt, där historiska finansiella data använts, var det tydligt att det kan finnas en möjlighet att reducera motpartsrisk med hjälp av blockkedjan. Från mark- nadsundersökningen gjord i studien var det uppenbart att den nuvarande finansiella marknaden är i stort behov av mer utbildning om blockkedjan.

The Border Gateway Protocol (BGP) is an important routing protocol used to exchangerouting information among autonomous systems on the Internet. The BGP version 4 doesnot include specific protection mechanisms against attacks or deliberate errors that couldcause disruptions of routing behavior. There were several securing solutions developedto mitigate security issues of BGP. In this thesis, current secure solutions are reviewedand evaluated against a list of security and deployment requirements. Furthermore, a newBGP securing solution is proposed which uses blockchain technology and smart contractsto exchange information required for messages validation among peers. This allows todecouple security-related data from the protocol itself and fix the problems introduced inother BGP solutions. / Border Gateway Protocol (BGP) är ett viktigt routing protokoll som används för att utbytarouting-information mellan autonoma system på Internet. BGP version 4 inkluderaringa specifika skydd mot attacker eller avsiktliga fel som kan skapa störningar i routingbeteendet. Ett flertal säkerhetslösningar har utvecklas för att förebygga säkerhetsproblemför BGP. I denna avhandling granskas nuvarande befintliga säkerhetslösningar och utvärderasmot en lista av säkerhets- och deployment-krav. Vidare presenteras en ny säkerhetslösningför BGP som använder blockchain-teknologi och smarta kontrakt för att utbytainformation som krävs för verifiering av meddelanden mellan grannar. Detta möjliggöratt frånkoppla säkerhetsrelaterad data från själva protokollet och åtgärda problemen introduceradei andra BGP lösningar.

Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. However, two issues arise in this verification process. Firstly, many industrial applications lack lower-level natural-language specifications for their components, relying solely on toplevel specifications. Secondly, many current verification algorithms need to explore the continuous time evolution of the behavioral combinations of these components, and the combination of components to be explored will rise exponentially with the number of components. To address these challenges, this paper presents significant contributions. Firstly, it introduces a novel method that leverages the structures of redundancy systems to create naturallanguage specifications for components derived from a top-level specification. This approach facilitates a more efficient decomposition of the top-level specification, allowing for greater ease in handling component behaviors. Secondly, the proposed method is successfully applied to Scania’s brake system, leading to the decomposition of its top-level specification. To verify this decomposition, an existing verification algorithm is selected, and the results are impressive. The proposed method effectively addresses the issue of exponential growth in component behavior combinations, which was previously mentioned. Specifically, in the case of the Scania brake system, the number of combinations is dramatically reduced from 27 to a mere 13, showcasing the significant improvement achieved with the new method. / Säkerhetskritiska system har fått ökad uppmärksamhet, särskilt när det gäller deras pålitlighetsanalys. I moderna tider består dessa system av talrika komponenter, vilket gör det avgörande att verifiera att komponenter på lägre nivå följer sina specifikationer för att säkerställa att hela systemet följer sin övergripande specifikation. Två utmaningar uppstår dock i denna verifieringsprocess. För det första saknar många industriella tillämpningar naturligspråksspecifikationer för komponenter på lägre nivå och förlitar sig enbart på övergripande specifikationer. För det andra behöver många nuvarande verifieringsalgoritmer utforska de kontinuerliga tidsutvecklingarna av beteendekombinationer hos dessa komponenter, och antalet kombinationer som ska utforskas ökar exponentiellt med antalet komponenter. För att tackla dessa utmaningar presenterar den här artikeln betydande bidrag. För det första introducerar den en ny metod som utnyttjar strukturer i redundanta system för att skapa naturligspråksspecifikationer för komponenter som härleds från en övergripande specifikation. Denna metod underlättar en mer effektiv uppdelning av övergripande specifikation, vilket gör det enklare att hantera komponentbeteenden. För det andra tillämpas den föreslagna metoden framgångsrikt på Scanias bromssystem, vilket leder till en uppdelning av dess övergripande specifikation. För att verifiera denna uppdelning väljs en befintlig verifieringsalgoritm, och resultaten är imponerande. Den föreslagna metoden hanterar effektivt problemet med exponentiell tillväxt i komponentbeteendekombinationer, vilket tidigare nämnts. Specifikt, för Scanias bromssystem minskar antalet kombinationer dramatiskt från 27 till endast 13, vilket tydligt visar den betydande förbättring som uppnåtts med den nya metoden.

Bakgrund: Employer brand är en strategi som används för att attrahera och behålla medarbetare i organisationen genom att marknadsföra de fördelar som organisationen erbjuder. Dessa erbjudanden kan tolkas som löften och underförstådda förväntningar hos medarbetare. De underförstådda förväntningar går under begreppet psykologiskt kontrakt som är villkoren för ett ömsesidigt utbytesavtal mellan arbetsgivare och arbetstagare. Tidigare forskning inom området har visat att employer brand har stor inverkan över skapandet av det psykologiska kontraktet då det skapar förväntningar hos arbetstagaren. Däremot upplevs det saknas forskning kring kombinationen av employer brand och psykologiskt kontrakt, samt hur medarbetarnas förväntningar påverkas av en organisations employer brand.Syfte: Syftet med studien är att skapa förståelse för hur medarbetares förväntningar påverkas av en organisations employer brand.Metod: En kvalitativ metod har använts då studien utfördes genom semistrukturerade intervjuer där fokuset var att få en förståelse för individers upplevelse av hur employer brand påverkar förväntningar. Intervjuerna transkriberades och tematiserades genom en tematisk analys. Analysen av resultatet har varit abduktivt då nya teman hittades i empirin och tidigare forskning har använts för att bekräfta eller ifrågasätta resultatet.Resultat: Resultatet visar tydliga brister i organisationens arbete med employerbrand vid tidpunkten då respondenterna anställdes. Respondenterna hade få förväntningar på organisationen som arbetsgivare, men upplever att de förväntningar de haft blivit uppfyllda.Slutsats: Slutsatsen är att en organisation kan ha ett svagt employer med som skapar svaga förväntningar, men ändå attrahera och behålla medarbetare, samt uppfylla det psykologiska kontraktet. En arbetsgivare kan upplevas attraktiv utan att behöva arbeta under konceptet employer brand. / Background: Employer brand is a strategy to attract and retain employees in the organization by marketing the benefits that the organization offers. These offers can be interpreted as promises and implicit expectations of employees. The implicit expectations fall under the concept of psychological contract, which are the conditions for a mutual exchange agreement between employer and employee. Previous research in the field has shown that employer brand has a great impact on the creation of the psychological contract as it creates expectations in the employee. On the other hand, there is a lack of research on the combination of employer brand and psychological contract, as well as how employees' expectations are affected by an organization's employer brand.Aim: The aim of the study is to create an understanding of how employees' expectations are affected by an organization's employer brand.Method: A qualitative method has been used when the study was conducted through semi-structured interviews where the focus was to gain an understanding of individuals' experience of how employer brand affects expectations. The interviews were transcribed and thematized through a thematic analysis. The analysis of the results has been abductive as new themes were found in the empirical data and previous research has been used to confirm or question the results.Results: The results show clear shortcomings in the organization's work with employer brand at the time when the respondents were hired. The respondents had few expectations of the organization as an employer, but feel that the expectations they had were met.Conclusion: The conclusion is that an organization can have a weak employer who creates weak expectations, but still attract and retain employees, and fulfill the psychological contract. An employer can be perceived as attractive without having to work under the concept of employer brand.