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.

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.

Sponsor Satisfaction in a Regional Charity Sport Event

The purpose of this Master’s thesis is to study sponsor satisfaction in charity sport events. Lack of research in regional charity sport events, emergence of corporate social responsibility and increasing popularity of charity sport events have created a research gap to be further explored. Theoretical part of the thesis focuses in development of sponsorships, charity sport event sponsorships and sponsorship as a marketing tool. Concept of satisfaction is discussed by implementing marketing theories to weight options on measuring sponsor satisfaction as a part of sponsorship evaluation process. Empirical analysis of the thesis was conducted in a regional charity sport event – Maailman Pisin Salibandyottelu. Evidences were collected in qualitative research method through semi-structured theme interviews. Altogether 12 major and minor sponsors were selected for the primary source of data. The data was analyzed by comparing sponsors’ expectations and experiences, and by displaying sponsors’ perceived satisfaction. The results indicated that sponsors were involved by partly altruistic and partly selfish motives as suggested by previous research. Respondents expressed very few, mainly non-financial expectations, yet were hoping to gain positive image association via event exposure. Negative experiences appear to have relatively small impact in overall satisfaction. Exceeding or fulfilling expectations appears to increase perceived satisfaction which was mainly driven by contribution towards the goodwill, perceived success of the event (successful record attempt, visibility (on- and off-line) and event execution.

Organisaatiokulttuuri, arvot ja sisäinen yrittäjyys kasvuyrityksen kulmakivenä

Yritysten menestystä on perinteisesti pyritty määrittelemään ulkoa käsin. Vain vähän tutkimuksia on pystynyt linkittämään sisäisiä ilmiöitä kuten organisaatiokulttuuri tai sisäinen yrittäjyys kasvuun ja suorituskykyyn. Tutkimus on laadullinen tapaustutkimus, jossa syvennyttään tarkastelemaan ICT-toimialan kasvuyritykseen yrityskulttuurin olemusta, ilmenemismuotoja sekä yrityksen arvopohjaa ja sisäisen yrittäjyyden elementtejä. Syvällisen ymmärryksen saavuttamiseksi tutkimuksen empiirinen aineisto tuotetaan aineistotriangulaatiolla hyödyntäen sekä puolistrukturoituja yksilöteemahaastatteluja (2), sosiaalisen median työkalua virtuaalikeskusteluun (170) ja ryhmähaastattelu (3). Ilmiötä tarkastellaan sosiaalisen rakentumisen näkökulmasta. Tuotetun aineiston analyysin perusteella voidaan todeta, että organisaatiossa oleva kulttuuri koetaan tärkeäksi ja siitä löytyvät toimintamallit vahvasti omaksi. Kulttuuria leimaavat yrityksen toimintaa ohjaavat filosofiat ja periaatteet, eli arvot, joita viedään organisaatioon vahvan verkostoitumisen ja vuorovaikutuksen kautta henkilöstöön. Arvot kumpuavat asiakaslähtöisyyden lisäksi. yrittäjähenkisyydestä, reiluudesta, henkilöstön hyvinvoinnista, vastuullisesta tekemisestä sekä kasvuyritysasenteesta. Ne konkretisoituvat toimintamalleihin ja –tapoihin, jotka yrityksessä mielletään omaksi, erityiseksi kulttuuriksi. Sosiaalinen identiteetti ja yhteisöllisyys ovat erittäin vahva. Henkilöt kokevat voivansa sisäisen yrittäjyyden kautta vaikuttaa yrityksen kasvutarinaan ja he kokevat organisaation mahdollisuuksien alustana, näin ollen he kokevat itsensä ja osaamisensa tarpeelliseksi yritykselle.

Corporate Entrepreneurship in Healthcare Organizations: An explorative study of employees’ corporate entrepreneurial behavior, job satisfaction and turnover intention

The Finnish healthcare industry is currently facing significant challenges due to economic crises, aging population and major structural reforms, which have resulted in decreased job satisfaction and increased levels of turnover. This proposes that healthcare organizations need to come up with new, creative means to tackle these issues. Several researchers have argued that corporate entrepreneurship may be the necessary means to achieve this. As previous research has mainly focused on examining this concept from organizational perspective, this study looks at how it occurs on the level of individual employees. The purpose of this study is to examine how corporate entrepreneurship is manifested in individual behavior, and how this type of behavior is associated with the individual’s job satisfaction and turnover intention. Additionally, this study will examine the differences in corporate entrepreneurial behavior between private and public sector organizations, as previous research suggests that these two may be characterized differently. Data was collected with the help of a literature review as well as a survey study, which was sent out to a number of employees of four different healthcare organizations, out of which three were public and one was a private sector organization. Six distinct behavioral characteristics were recognized in previous research, which make up the measure for corporate entrepreneurial behavior. Principal components were formed from the different areas of the survey (corporate entrepreneurial behavior, job satisfaction, turnover intention), after which the association of these components were examined with linear regression analysis, which proved that corporate entrepreneurial behavior is positively correlated with both job satisfaction and intention to leave the organization. Differences between sectors were analyzed with analysis of variance and cross tabulation analysis, but neither of these suggested that any significant differences would occur. These results suggest that employees who behave entrepreneurially tend to be more satisfied with their jobs, but also consider leaving their current organizations more often than others. This may be due to the fact that healthcare organizations are not fertile for entrepreneurial behavior, which will drive entrepreneurial individuals looking for employers who may be more supportive of this type of behavior. With growing levels of dissatisfaction as well as little room for entrepreneurial behavior, the studied organizations may actually be in the process of losing those employees who have the ability and desire to behave in such manner, and who could very well be those who will eventually come up with solutions for the major challenges that these organizations are facing.

Personal branding on social media - The characteristics of strong personal brands in Finland

The purpose of the study is to define the characteristics of strong personal brands on social media in Finland. Personal branding as a phenomenon is no longer limited to celebrities and political leaders. The digital revolution and the change in online behavior have created the need for a deeper investigation of the characteristics of strong personal brands on social media. The work of different academics on personal branding are examined to gain a comprehensive understanding on this research topic that has gone through a revolution during the last decade. Early impression management theory is refined to include elements from more modern literature related to personal branding, brand identity management and social media to create a theoretical framework that simplifies the process of personal brand building on social media. The framework consisting of three phases clarifies the process of modern personal branding. The results of the study are presented in line with three research themes derived from the theoretical framework: the background of the brand, the brand identity management and the social media behavior and activities. Mixed methods are used in the research as means to broaden perception on the subject. The quantitative part of the study defines general characteristics concerning the most follower personal brands in Finland in three social media channels – Facebook, Instagram and Twitter. The other part of the research was conducted by single case study including two Finnish personal brands cases to provide a deeper understanding of personal branding practices of strong social media personal brands. The results of the study show that the most used social media channels differ in terms of the personal brand characteristics and personal branding activities. Due to the characteristics of the channels also the post activities of the personal brands differ quite significantly. It can be also inferred that there is a difference between brands with an existing offline awareness and the brands with no awareness before joining the social media. In order to reduce the gap between the ideal brand image and the current image, the brand should have a clear vision as well as a good understanding of the target group and the value it creates for its target audience. The brand identity needs to be managed by communicating with the target audience authentically in the right channels, with relevant content. The dedication, the target group’s behavior and the ability to create valuable and relevant content determines the right tactics for social media personal branding.