Drivers and barriers of mobile travel and tourism service adoption : a study of individual perceptions and business model development in a travel and tourism context

The Travel and Tourism field is undergoing changes due to the rapid development of information technology and digital services. Online travel has profoundly changed the way travel and tourism organizations interact with their customers. Mobile technology such as mobile services for pocket devices (e.g. mobile phones) has the potential to take this development even further. Nevertheless, many issues have been highlighted since the early days of mobile services development (e.g. the lack of relevance, ease of use of many services). However, the wide adoption of smartphones and the mobile Internet in many countries as well as the formation of so-called ecosystems between vendors of mobile technology indicate that many of these issues have been overcome. Also when looking at the numbers of downloaded applications related to travel in application stores like Google Play, it seems obvious that mobile travel and tourism services are adopted and used by many individuals. However, as business is expected to start booming in the mobile era, many issues have a tendency to be overlooked. Travelers are generally on the go and thus services that work effectively in mobile settings (e.g. during a trip) are essential. Hence, the individuals’ perceived drivers and barriers to use mobile travel and tourism services in on-site or during trip settings seem particularly valuable to understand; thus this is one primary aim of the thesis. We are, however, also interested in understanding different types of mobile travel service users. Individuals may indeed be very different in their propensity to adopt and use technology based innovations (services). Research is also switching more from investigating issues of mobile service development to understanding individuals’ usage patterns of mobile services. But designing new mobile services may be a complex matter from a service provider perspective. Hence, our secondary aim is to provide insights into drivers and barriers of mobile travel and tourism service development from a holistic business model perspective. To accomplish the research objectives seven different studies have been conducted over a time period from 2002 – 2013. The studies are founded on and contribute to theories within diffusion of innovations, technology acceptance, value creation, user experience and business model development. Several different research methods are utilized: surveys, field and laboratory experiments and action research. The findings suggest that a successful mobile travel and tourism service is a service which supports one or several mobile motives (needs) of individuals such as spontaneous needs, time-critical arrangements, efficiency ambitions, mobility related needs (location features) and entertainment needs. The service could be customized to support travelers’ style of traveling (e.g. organized travel or independent travel) and should be easy to use, especially easy to take into use (access, install and learn) during a trip, without causing security concerns and/or financial risks for the user. In fact, the findings suggest that the most prominent barrier to the use of mobile travel and tourism services during a trip is an individual’s perceived financial cost (entry costs and usage costs). It should, however, be noted that regulations are put in place in the EU regarding data roaming prices between European countries and national telecom operators are starting to see ‘international data subscriptions’ as a sales advantage (e.g. Finnish Sonera provides a data subscription in the Baltic and Nordic region at the same price as in Finland), which will enhance the adoption of mobile travel and tourism services also in international contexts. In order to speed up the adoption rate travel service providers could consider e.g. more local initiatives of free Wi-Fi networks, development of services that can be used, at least to some extent, in an offline mode (do not require costly network access during a trip) and cooperation with telecom operators (e.g. lower usage costs for travelers who use specific mobile services or travel with specific vendors). Furthermore, based on a developed framework for user experience of mobile trip arrangements, the results show that a well-designed mobile site and/or native application, which preferably supports integration with other mobile services, is a must for true mobile presence. In fact, travel service providers who want to build a relationship with their customers need to consider a downloadable native application, but in order to be found through the mobile channel and make contact with potential new customers, a mobile website should be available. Moreover, we have made a first attempt with cluster analysis to identify user categories of mobile services in a travel and tourism context. The following four categories were identified: info-seekers, checkers, bookers and all-rounders. For example “all-rounders”, represented primarily by individuals who use their pocket device for almost any of the investigated mobile travel services, constituted primarily of 23 to 50 year old males with high travel frequency and great online experience. The results also indicate that travel service providers will increasingly become multi-channel providers. To manage multiple online channels, closely integrated and hybrid online platforms for different devices, supporting all steps in a traveler process should be considered. It could be useful for travel service providers to focus more on developing browser-based mobile services (HTML5-solutions) than native applications that work only with specific operating systems and for specific devices. Based on an action research study and utilizing a holistic business model framework called STOF we found that HTML5 as an emerging platform, at least for now, has some limitations regarding the development of the user experience and monetizing the application. In fact, a native application store (e.g. Google Play) may be a key mediator in the adoption of mobile travel and tourism services both from a traveler and a service provider perspective. Moreover, it must be remembered that many device and mobile operating system developers want service providers to specifically create services for their platforms and see native applications as a strategic advantage to sell more devices of a certain kind. The mobile telecom industry has moved into a battle of ecosystems where device makers, developers of operating systems and service developers are to some extent forced to choose their development platforms.

Managing innovation in oil and gas companies: A proposed framework for the management of innovation at Ecopetrol S.A.

Actually, the term innovation seems to be one of the most used in any kind of business practices. However, in order to get value from it, companies need to define a systematic and structured way to manage innovation. This process can be difficult and very risky since it is associated with the development of firm´s capabilities which involves human and technical challenges according to the context of a firm. Additionally, it seems not to exist a magic formula to manage innovation and what may work in a company may not work in another, even though in the same type of industry. In this sense, the purpose of this research is to identify how the oil and gas companies can manage innovation and what are the main elements, their interrelations and structure, required for managing innovation effectively in this critical sector for the world economy. The study follows a holistic single case study in a National Oil Company (NOC) of a developing country to explore how innovation performs in the industry, what are the main elements regarding innovation management and their interactions according to the nature of the industry. Contributory literature and qualitative data from the case study company (with the use of non-standardized interviews) is collected and analyzed. The research confirms the relevance and importance of the definition and implementation of an innovation framework in order to ensure the generation of value and organize as well as guide the efforts in innovation done by a firm. In this way based on the theoretical background, research´s findings, and in the company´s innovation environment and conditions, a framework for managing innovation at the case study company is suggested. This study is one of the few, if not only one, that has reviewed the way as oil and gas companies manage innovation and its practical implementation in a company from a developing country. Both researchers and practitioners will get a photograph of understanding innovation management in the oil and gas industry and its growing necessity in the business world. Some issues have been highlighted, so that future study can be focused in those directions. In fact, even though research on innovation management has significantly grown, there are still many issues that need to be addressed to get insight about managing innovation in various contexts and industries. Studies are mostly performed in the context of large firms and in developed countries, so then research in the context of developing countries is still almost an untouched area, especially in the oil and gas industry. Finally, from the research it seems crucial to explore the effect of some innovation-related variables such as: open innovation in third world economies and in state-own companies; the impact of mergers and acquisitions in innovation performance in oil and gas companies; value measurement in the first stages of the innovation process; and, development of innovation capabilities in companies from developing nations.

Cost-benefit analysis of using test automation in the development of embedded software

The goal of this thesis is to make a case study of test automation’s profitability in the development of embedded software in a real industrial setting. The cost-benefit analysis is done by considering the costs and benefits test automation causes to software development, before the software is released to customers. The potential benefits of test automation regarding software quality after customer release were not estimated. Test automation is a significant investment which often requires dedicated resources. When done accordingly, the investment in test automation can produce major cost savings by reducing the need for manual testing effort, especially if the software is developed with an agile development framework. It can reduce the cost of avoidable rework of software development, as test automation enables the detection of construction time defects in the earliest possible moment. Test automation also has many pitfalls such as test maintainability and testability of the software, and if those areas are neglected, the investment in test automation may become worthless or it may even produce negative results. The results of this thesis suggest that test automation is very profitable at the company under study.

Design and evaluation of web interface signs to improve web usability : a semiotic framework

Technological innovations, the development of the internet, and globalization have increased the number and complexity of web applications. As a result, keeping web user interfaces understandable and usable (in terms of ease-of-use, effectiveness, and satisfaction) is a challenge. As part of this, designing userintuitive interface signs (i.e., the small elements of web user interface, e.g., navigational link, command buttons, icons, small images, thumbnails, etc.) is an issue for designers. Interface signs are key elements of web user interfaces because ‘interface signs’ act as a communication artefact to convey web content and system functionality, and because users interact with systems by means of interface signs. In the light of the above, applying semiotic (i.e., the study of signs) concepts on web interface signs will contribute to discover new and important perspectives on web user interface design and evaluation. The thesis mainly focuses on web interface signs and uses the theory of semiotic as a background theory. The underlying aim of this thesis is to provide valuable insights to design and evaluate web user interfaces from a semiotic perspective in order to improve overall web usability. The fundamental research question is formulated as What do practitioners and researchers need to be aware of from a semiotic perspective when designing or evaluating web user interfaces to improve web usability? From a methodological perspective, the thesis follows a design science research (DSR) approach. A systematic literature review and six empirical studies are carried out in this thesis. The empirical studies are carried out with a total of 74 participants in Finland. The steps of a design science research process are followed while the studies were designed and conducted; that includes (a) problem identification and motivation, (b) definition of objectives of a solution, (c) design and development, (d) demonstration, (e) evaluation, and (f) communication. The data is collected using observations in a usability testing lab, by analytical (expert) inspection, with questionnaires, and in structured and semi-structured interviews. User behaviour analysis, qualitative analysis and statistics are used to analyze the study data. The results are summarized as follows and have lead to the following contributions. Firstly, the results present the current status of semiotic research in UI design and evaluation and highlight the importance of considering semiotic concepts in UI design and evaluation. Secondly, the thesis explores interface sign ontologies (i.e., sets of concepts and skills that a user should know to interpret the meaning of interface signs) by providing a set of ontologies used to interpret the meaning of interface signs, and by providing a set of features related to ontology mapping in interpreting the meaning of interface signs. Thirdly, the thesis explores the value of integrating semiotic concepts in usability testing. Fourthly, the thesis proposes a semiotic framework (Semiotic Interface sign Design and Evaluation – SIDE) for interface sign design and evaluation in order to make them intuitive for end users and to improve web usability. The SIDE framework includes a set of determinants and attributes of user-intuitive interface signs, and a set of semiotic heuristics to design and evaluate interface signs. Finally, the thesis assesses (a) the quality of the SIDE framework in terms of performance metrics (e.g., thoroughness, validity, effectiveness, reliability, etc.) and (b) the contributions of the SIDE framework from the evaluators’ perspective.

The European Union and Assembling Biofuel Development – topological investigations concerning the associations between law, policy and space

Biofuels for transport are a renewable source of energy that were once heralded as a solution to multiple problems associated with poor urban air quality, the overproduction of agricultural commodities, the energy security of the European Union (EU) and climate change. It was only after the Union had implemented an incentivizing framework of legal and political instruments for the production, trade and consumption of biofuels that the problems of weakening food security, environmental degradation and increasing greenhouse gases through land-use changes began to unfold. In other words, the difference between political aims for why biofuels are promoted and their consequences has grown – which is also recognized by the EU policy-makers. Therefore, the global networks of producing, trading and consuming biofuels may face a complete restructure if the European Commission accomplishes its pursuit to sideline crop-based biofuels after 2020. My aim with this dissertation is not only to trace the manifold evolutions of the instruments used by the Union to govern biofuels but also to reveal how this evolution has influenced the dynamics of biofuel development. Therefore, I study the ways the EU’s legal and political instruments of steering biofuels are coconstitutive with the globalized spaces of biofuel development. My analytical strategy can be outlined through three concepts. I use the term ‘assemblage’ to approach the operations of the loose entity of actors and non-human elements that are the constituents of multi-scalar and -sectorial biofuel development. ‘Topology’ refers to the spatiality of this European biofuel assemblage and its parts whose evolving relations are treated as the active constituents of space, instead of simply being located in space. I apply the concept of ‘nomosphere’ to characterize the framework of policies, laws and other instruments that the EU applies and construes while attempting to govern biofuels. Even though both the materials and methods vary in the independent articles, these three concepts characterize my analytical strategy that allows me to study law, policy and space associated with each other. The results of my examinations underscore the importance of the instruments of governance of the EU constituting and stabilizing the spaces of producing and, on the other hand, how topological ruptures in biofuel development have enforced the need to reform policies. This analysis maps the vast scope of actors that are influenced by the mechanism of EU biofuel governance and, what is more, shows how they are actively engaging in the Union’s institutional policy formulation. By examining the consequences of fast biofuel development that are spatially dislocated from the established spaces of producing, trading and consuming biofuels such as indirect land use changes, I unfold the processes not tackled by the instruments of the EU. Indeed, it is these spatially dislocated processes that have pushed the Commission construing a new type of governing biofuels: transferring the instruments of climate change mitigation to land-use policies. Although efficient in mitigating these dislocated consequences, these instruments have also created peculiar ontological scaffolding for governing biofuels. According to this mode of governance, the spatiality of biofuel development appears to be already determined and the agency that could dampen the negative consequences originating from land-use practices is treated as irrelevant.

The early activities of front end of innovation in oem companies using a new fei platform as a framework for renewal

The main goal of this study is to create a seamless chain of actions and more detailed structure to the front end of innovation to be able to increase the front end performance and finally to influence the renewal of companies. The main goal is achieved through by the new concept of an integrated model of early activities of FEI leading to a discovery of new elements of opportunities and the identification of new business and growth areas. The procedure offers one possible solution to a dynamic strategy formation process in innovation development cycle. In this study the front end of innovation is positioned between a strategy reviews and a concept creation with needed procedures, tools, and frameworks. The starting point of the study is that the origins of innovation are not well enough understood. The study focuses attention on the early activities of FEI. These first activities are conceptualized in order to find out successful innovation initiatives and strategic renewal agendas. A seamless chain of activities resulting in faster and more precise identification of opportunities and growth areas available on markets and inside companies is needed. Three case studies were conducted in order to study company views on available theory doctrine and to identify the first practical experiences and procedures in the beginning of the front end of innovation. Successful innovation requires focus on renewal in both internal and external directions and they should be carefully balanced for best results. Instead of inside-out mode of actions the studied companies have a strong outside-in thinking mode and they mainly co-develop their innovation initiatives in close proximity with customers i.e. successful companies are an integral part of customers business and success. Companies have tailor-made innovation processes combined their way of working linked to their business goals, and priorities of actual needs of transformation. The result of this study is a new modular FEI platform which can be configured by companies against their actual business needs and drivers. This platform includes new elements of FEI documenting an architecture presenting how the system components work together. The system is a conceptual approach from theories of emergent strategy formation, opportunity identification and creation, interpretation-analysis-experimentation triad and the present FEI theories. The platform includes new features compared to actual models of FEI. It allows managers to better understand the importance of FEI in the whole innovation development stage and FEI as a phase and procedure to discover and implement emergent strategy. An adaptable company rethinks and redirects strategy proactively from time to time. Different parts of the business model are changed to remove identified obstacles for growth and renewal which gives them avenues to find right reforms for renewal.

Nordic alcohol policy in Europe: the adaptation of Finland’s, Sweden’s and Norway’s alcohol policies to a new policy framework, 1994-2013

The purpose of this thesis is to study how and to which extent Finland, Sweden and Norway have adapted their alcohol policies to the framework imposed to them by the EU and the European Economic Area (EEA) since the mid-1990s. This is done by studying the underlying mechanisms that have influenced the formation of alcohol policy in the Nordic countries in that period. As a part of this analysis main differences in alcohol policies and alcohol consumption between the three countries are assessed and the phenomenon of cross-border trade with alcohol is discussed. The study examines also the development of Finnish, Norwegian and Swedish alcohol policies between 1994 and 2012 and compares the Nordic alcohol policies with other alcohol policies in Europe as the situation was in 2012. The time frame of the study spans from the mid-1990s to the end of 2013 and is divided into three phases. Studying the role of the Europeanisation process on the formation of alcohol policies has a key role in the analysis. Besides alcohol policies, the analyses comprise the development of alcohol consumption and cross-border trade with alcohol. In addition, a quantitative scale constructed to measure the strictness of alcohol policies is utilised in the analyses. The results from the scale are used to substantiate the qualitative analysis and to test whether the stereotypical view of a strict Nordic alcohol policy is still true. The results from the study clearly corroborate earlier findings on the significance of Europeanisation and the Single Market for the development of alcohol policies in the Nordic countries. Free movement of goods and unhindered competition have challenged the principle of disinterest and enabled private profit seeking in alcohol trade. The Single Market has also contributed to the increase in availability of alcohol and made it more difficult for the Nordic EU member states to maintain restrictive alcohol policies. All in all, alcohol policies in the Nordic countries are more liberal in 2013 than they were in 1994. Norway, being outside the EU has, however, managed to maintain a stricter alcohol policy than Finland and Sweden. Norway has also been spared from several EU directives that have affected Finland and Sweden, the most remarkable being the abolishment of the travellers’ import quotas for alcohol within the EU. Due to its position as a non-EU country Norway has been able to maintain high alcohol taxes without being subjected to a ”race to the bottom” regarding alcohol taxes the same way as Finland and Sweden. Finland distinguishes as the country that has liberalised its alcohol policy most during the study period. The changes in alcohol policies were not only induced by Europeanisation and the Single Market, but also by autonomous decision-making and political processes in the individual countries. Furthermore, the study shows that alcohol policy measures are implemented more widely in Europe than before and that there is a slow process of convergence going on regarding alcohol policy in Europe. Despite this, alcohol policies in the Nordic countries are still by far the strictest in all of Europe. From a Europeanisation perspective, the Nordic countries were clearly on the receiving end during the first two study phases (1994–2007), having more to adjust to rules from the EU and the Single Market than having success in uploading and shaping alcohol policy on the European and international field. During the third and final study phase (2008–2013), however, the Nordic countries have increasingly succeeded in contributing to shape the alcohol policy arena in the EU and also more widely through the WHOs global alcohol strategy. The restrictive Nordic policy tradition on which the current alcohol policies in Finland, Sweden and Norway were built on has still quite a solid evidence base. Although the basis of the restrictive alcohol policy has crumbled somewhat during the past twenty years and the policies have become less effective, nothing prevents it from being the base for alcohol policy in the Nordic countries even in the long term. In the future, all that is needed for an effective and successful alcohol policy is a solid evidence base, enough political will and support from the general public.

Supplier segmentation and development in project business

The purpose of this study was to expand the applicability of supplier segmentation and development approaches to the project-driven construction industry. These practices are less exploited and not well documented in this operational environment compared to the process-centric manufacturing industry. At first, portfolio models to supply base segmentation and various supplier development efforts were investigated in literature review. A step-wise framework was structured for the empirical research. The empirical study employed multiple research methods in three case studies in a large Finnish construction company. The first study categorized the construction item classes into the purchasing portfolio and positioned suppliers to the power matrix by investigating buyer-supplier relations. Using statistical tests, the study also identified factors that affect suppliers’ performance. The final case study identified improvement areas of the interface between a main contractor and one if its largest suppliers. The final results indicate that only by assessing the supply base in a holistic manner and the power circumstances in it, buyers comprehend how to best establish appropriate supplier development strategies in the project environment.

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.

Framework for Regional Heating Energy Efficiency Assessment

The aim of this project was to develop general framework for systematic assessment of energy efficiency of heating on regional level in Russia. The framework created during this project includes two main instruments, namely: general regional heating energy efficiency assessment model (REEMod) and general regional heating energy efficiency assessment criteria for housing areas (REECrit). Framework pays extreme attention to realization of energy saving, overall cost efficiency and comfortable indoor climate. Life-cycle ideology was applied during creation of the framework. Application of the framework can provide decision-making process with systematically collected and processed information on current state of areas energy efficiency. Such information will help decision makers to evaluate current situation of the whole energy chain, to compare different development scenarios and to identify the most efficient improvement methods, thus supporting realization of regions efficient energy management. Simultaneous pursuit of energy savings, cost efficiency and indoor air quality can contribute to development of sustainable community. Presented instruments should be continuously developed further as an iterative process based on knew experience, development of technology and overall understanding of energy efficiency issues.

A SOA-based Framework for Multi-Devices and Multi-Platform User Interfaces

This thesis reports investigations on applying the Service Oriented Architecture (SOA) approach in the engineering of multi-platform and multi-devices user interfaces. This study has three goals: (1) analyze the present frameworks for developing multi-platform and multi-devices applications, (2) extend the principles of SOA for implementing a multi-platform and multi-devices architectural framework (SOA-MDUI), (3) applying and validating the proposed framework in the context of a specific application. One of the problems addressed in this ongoing research is the large amount of combinations for possible implementations of applications on different types of devices. Usually it is necessary to take into account the operating system (OS), user interface (UI) including the appearance, programming language (PL) and architectural style (AS). Our proposed approach extended the principles of SOA using patterns-oriented design and model-driven engineering approaches. Synthesizing the present work done in these domains, this research built and tested an engineering framework linking Model-driven Architecture (MDA) and SOA approaches to developing of UI. This study advances general understanding of engineering, deploying and managing multi-platform and multi-devices user interfaces as a service.

Informal learning and competence development during a management trainee program

The purpose of this research was to study how management trainee program participants experienced the program with respect to their learning and competence development. Additionally, the purpose was also to examine what the trainees learned and how the learning occurred. Furthermore, factors affecting learning in the workplace were examined. The theoretical framework of this research was formed utilizing individual competence and informal learning frameworks. Research was conducted as a single case study and data was gathered by thematic interviews. The results of this research indicate that the trainees experienced the program as a good method for learning the overall picture of the organization and its business. Regarding competence development, especially knowledge- and cognitive competence categories were developed during the program. The best learning outcomes were achieved through learning by doing, in co-operation with others, and learning from others. The results indicate that the planning of the program and its structure have a significant effect on learning. Furthermore, a sufficient level of challenge was experienced as being important for the quality of the learning as well.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.

Heat Demand Forecasting Models’ Development: Use of Data Mining Tools in SQL Server Analysis Services

This thesis introduces heat demand forecasting models which are generated by using data mining algorithms. The forecast spans one full day and this forecast can be used in regulating heat consumption of buildings. For training the data mining models, two years of heat consumption data from a case building and weather measurement data from Finnish Meteorological Institute are used. The thesis utilizes Microsoft SQL Server Analysis Services data mining tools in generating the data mining models and CRISP-DM process framework to implement the research. Results show that the built models can predict heat demand at best with mean average percentage errors of 3.8% for 24-h profile and 5.9% for full day. A deployment model for integrating the generated data mining models into an existing building energy management system is also discussed.

Adopting the Vaadin Java framework to rebuild VTT’s Web Interfaces and Database Applications

With the growth in new technologies, using online tools have become an everyday lifestyle. It has a greater impact on researchers as the data obtained from various experiments needs to be analyzed and knowledge of programming has become mandatory even for pure biologists. Hence, VTT came up with a new tool, R Executables (REX) which is a web application designed to provide a graphical interface for biological data functions like Image analysis, Gene expression data analysis, plotting, disease and control studies etc., which employs R functions to provide results. REX provides a user interactive application for the biologists to directly enter the values and run the required analysis with a single click. The program processes the given data in the background and prints results rapidly. Due to growth of data and load on server, the interface has gained problems concerning time consumption, poor GUI, data storage issues, security, minimal user interactive experience and crashes with large amount of data. This thesis handles the methods by which these problems were resolved and made REX a better application for the future. The old REX was developed using Python Django and now, a new programming language, Vaadin has been implemented. Vaadin is a Java framework for developing web applications and the programming language is extremely similar to Java with new rich components. Vaadin provides better security, better speed, good and interactive interface. In this thesis, subset functionalities of REX was selected which includes IST bulk plotting and image segmentation and implemented those using Vaadin. A code of 662 lines was programmed by me which included Vaadin as the front-end handler while R language was used for back-end data retrieval, computing and plotting. The application is optimized to allow further functionalities to be migrated with ease from old REX. Future development is focused on including Hight throughput screening functions along with gene expression database handling