A Web-Based Environmental Toolkit to Support Small and Medium-Sized Enterprises in the Implementation of Their Own Environmental Management System

With small and medium sized-enterprises (SMEs) taking up the majority of the global businesses, it is important they act in an environmentally responsible manner. Environmental management systems (EMS) help companies evaluate and improve their environmental impact but they often require human, financial, and temporary resources that not all SMEs can provide. This research encompasses interviews with representatives of two small enterprises in Germany to provide insights into their understanding, and knowledge of an EMS and how they perceive their responsibility towards the environment. Furthermore, it presents a toolkit created especially for small and medium-sized enterprises that serves as a simplified version of an EMS based on the ISO 14001 standard and is evaluated by the representatives of the SMEs. Some of the findings are: while being open to the idea of improving their environmental impact, SMEs do not always feel it is their responsibility to do so; they seem to lack the means to fully implement an EMS. The developed toolkit is considered useful and usable and recommendations are drawn for its future enhancement.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.

Development of Measurement Systems in Scientific Research: Case Study

In recent years, technological advancements in microelectronics and sensor technologies have revolutionized the field of electrical engineering. New manufacturing techniques have enabled a higher level of integration that has combined sensors and electronics into compact and inexpensive systems. Previously, the challenge in measurements was to understand the operation of the electronics and sensors, but this has now changed. Nowadays, the challenge in measurement instrumentation lies in mastering the whole system, not just the electronics. To address this issue, this doctoral dissertation studies whether it would be beneficial to consider a measurement system as a whole from the physical phenomena to the digital recording device, where each piece of the measurement system affects the system performance, rather than as a system consisting of small independent parts such as a sensor or an amplifier that could be designed separately. The objective of this doctoral dissertation is to describe in depth the development of the measurement system taking into account the challenges caused by the electrical and mechanical requirements and the measurement environment. The work is done as an empirical case study in two example applications that are both intended for scientific studies. The cases are a light sensitive biological sensor used in imaging and a gas electron multiplier detector for particle physics. The study showed that in these two cases there were a number of different parts of the measurement system that interacted with each other. Without considering these interactions, the reliability of the measurement may be compromised, which may lead to wrong conclusions about the measurement. For this reason it is beneficial to conceptualize the measurement system as a whole from the physical phenomena to the digital recording device where each piece of the measurement system affects the system performance. The results work as examples of how a measurement system can be successfully constructed to support a study of sensors and electronics.

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.

Product Assurance in Agile Space Systems Development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported withrisk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. Inthis thesis, mission critical systems are space systems and the product assurance processof these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesisaims to support the product assurance process of space systems with agile developmentso that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can besupported with agile development. The research part of this thesis is performed in survey form.

Product assurance in agile space systems development

Product assurance is an essential part of product development process if developers want to ensure that final product is safe and reliable. Product assurance can be supported with risk management and with different failure analysis methods. Product assurance is emphasized in system development process of mission critical systems. The product assurance process in systems of this kind requires extra attention. In this thesis, mission critical systems are space systems and the product assurance process of these systems is presented with help of space standards. The product assurance process can be supported with agile development because agile emphasizes transparency of the process and fast response to changes. Even if the development process of space systems is highly standardized and reminds waterfall model, it is still possible to adapt agile development in space systems development. This thesis aims to support the product assurance process of space systems with agile development so that the final product would be as safe and reliable as possible. The main purpose of this thesis is to examine how well product assurance is performed in Finnish space organizations and how product assurance tasks and activities can be supported with agile development. The research part of this thesis is performed in survey form.

Choosing the service support model after a merger: Case Are Ltd.

The meaning of information technology (IT) and information systems have increased during the last few years. This is mainly because business is nowadays seen more and more as a service business and IT is one of the key elements to support those business services. Since the meaning of IT services has increased also the meaning of IT service support should be a factor paid more attention to. Especially after a merger and acquisition (M&A) it is more important than ever to consider service support. The purpose of this study is to discover the best practices for choosing a suitable service support model. The research question is How to choose a service support organization model for the ERP service desk function after a merger? A qualitative method is selected as a research method. This thesis includes two parts: a literature review and a case study. Theoretical part compiles an integrated model of previous research on the topic. It consists a collection of academic articles, publications and reports. The empirical part focuses on the issues in the case organization. That part tries to answer the question: what would be the most suitable service support model for the case organization? The empirical part is conducted by interviewing the employees of the case organization. This study finds that even though there are many ways of selecting a service support model it is difficult to define an unambiguous guidelines. However, there are few main objectives that should be taken into account regardless the case. Especially by using ITIL processes it is possible to implement a comprehensive service support and raise overall awareness of the existing service support models. The main functions that need to be taken into account are nature, industry and size of the organization. Also the business strategy, goals and resources need to be considered. These are the same factors that are noticed in the case study as well. The suggestions for the case organization are presented based on the interviews and the literature review.

The role of management accounting systems and venture capital investors for start-up firms

The role of star-up firms in economy and the importance of venture capital investors for the growth of start-up firms have been highlighted in recent years. The growth challenges of start-up firms consist of fast changing environment, the availability of venture capital funding and the development of firm management in the growth phase. A growing number of studies have focused on management accounting systems and venture capital in start-up and growth firm context. In this thesis the role of management accounting systems and venture capital investors is considered in the growth phase of firm development. The theoretical objective of this thesis is to construct a theoretical framework in order to describe the importance of management accounting systems and venture capital investors in start-up firms. The practice orientated objective of this thesis is to study the application of management accounting systems and management accounting based information in start-up firms in high-technology industry as well as the impact of venture capital for management accounting system design. In addition, the growth challenges of start-up firms are studied in order to understand the context in which management accounting systems are used. The research approach of theoretical part is conceptual as the theoretical framework is constructed by combining literature on firm growth, management accounting and venture finance in order to analyse the phenomenon. The action-orientated research approach is appropriate for analysing and describing of the studied phenomenon through empirical evidence. The empirical evidence was collected through interviews with three experts in start-up firm accelerator centers, four representatives of start-up firms and one venture capital investor. The results indicate that the growth challenges of stat-up firms are not related to the development of management accounting systems. Managers of start-up firms expressed a positive attitude towards management accounting systems that improve efficiency of operations. In start-up firms flexible and adjustable management accounting practices, such as budgets, cash flow calculations and future-orientated analysis tools, are applied that support planning and coordination of operations. The results indicate that venture capital investors affect the provision and the quality of management accounting information during the investment process. In addition, venture capital investors enhance the use of management accounting information for internal coordination in start-up firms. By applying the theoretical framework in the analysis, it can be stated that by acting as support function management accounting systems facilitate start-up firms development.

Key factors in U.S. Government support of business internationalization in Finland Case: U.S. Embassy in Helsinki

This study discusses the importance of government intervention for companies and the expansion of national innovation systems. The purpose of the study is to examine the impact which the U.S. Embassy in Helsinki can have on Finnish businesses through their business support programs and events. The embassy has shifted focus in recent years with the creation of an innovation center and increased business services. The study has sub-objectives to discover the critical factors for producing impact, host and home based factor interaction, and effects produced by these initiatives. The theoretical background of the study consists of literature relating to the concepts of national innovation systems and government intervention. The empirical research conduct for this study is based on interviews with experts from the environment surrounding the U.S. Embassy in Helsinki, Finland and participation in embassy events. The data was collected between March 2014 and September 2015. Seven interviews were conducted; five with representatives of the U.S. Embassy and two with related organizations. Thematic analysis was used to categorize and interpret interview and observation data. The use of an impact radar was implemented as a basis for analysis. This study finds that the internationalization of national innovation systems provides interesting opportunities and challenges for national governments. The opportunity to provide services to foreign companies by an embassy in a stable environment opens the possibility to create positive notice and relations with the host country. The increased connections and inputs to the national innovation system of the home country have the potential to increase knowledge absorption and create positive growth. The most effective way for governments to encourage businesses is to create incentives and reduce barriers. The services are best aimed at small to medium sized companies in the early stages of development. The findings of this report suggest that the most critical factors for producing impact on companies are the ability to disseminate information effectively, the ability to create a positive image of the country, the ability to foster effective networks between the two countries, and the ability to facilitate the internationalization of companies. In the best cases, the embassy is able to create incentives to internationalize to the United States and reduce barriers which are encountered by companies. Future research is necessary to fully understand the impact of business services provided by an embassy can have on the political and economic relations of countries, and on particular industry sectors. The institutional setting provided by the embassy’s focus on business relations provides a rich environment for further study in a number of areas.

The role of motivational systems in community service involvement : initiating and sustaining factors and quality of experience /

Community service participation can have a positive impact on development, especially for youth. Although researchers have found positive outcomes, there has been a notable decline in youth participation over the past few years (Statistics Canada, 2000). Given the positive outcomes and current decline, it has been argued that youth should be encouraged to get involved in service activities. In the present study, quantitative and qualitative data were collected to determine factors that would help youth to initiate and sustain service, along with examining the quality of their experience. Eighty-two university undergraduate students (23 men), ranging in age from 17-20 years completed a 60-minute self-report questionnaire. Initiating and sustaining factors, motivational systems (similar to approach and avoidance dimensions), activity dimensions {Structure, Supportive Social Environment), quality of experience {Positive, Stress-Challenge), and future intention to participate in community service were measured. Eight participants also completed a 20-minute telephone interview to complement and expand on the quantitative data collected. Some initiating and sustaining factors were specific to individuals higher on the avoidance dimension, while others were relevant to those higher on the approach dimension. Several factors also were important to individuals regardless of their motivational system orientation. Positive quality of experience was related positively to experiencing a supportive social environment. In addition, women rated their community service as more positive than did men. A predicted interaction between the avoidance dimension and Structure in predicting positive quality of experience was not supported; however, positive quality of experience was predicted by the interaction of the approach dimension and Structure. A tested interaction between the avoidance dimension and Supportive Social Environment in predicting positive quality of experience was not supported. Similarly, a predicted interaction between the approach dimension and Supportive Social Environment in predicting positive experience quality was not supported. However, Supportive Social Environment was positively related to positive quality of experience. No support was found for a mediational role for positive quality of experience or stress-challenge quality of experience in exploring the relation between motivational orientation and fiiture intention to engage in service activities. The results of this study suggest that participating in a service environment that is supportive and provides the opportunity for social interactions with others would promote positive quality of experience and help youth sustain involvement. Thus, to help youth have positive experiences and to remain active in service, it is important for service agencies to promote these types of environments. In addition, some initiating and sustaining factors were specific to youth higher on the avoidance dimension and some were relevant to youth higher on the approach dimension. Therefore, service agencies may need to consider using different recruitment and retention strategies, depending on the type of youth they wish to recruit.

The Power and Promise of Developmental Systems Theory

I argue that it is time for many feminists to rethink their attitudes towards evolutionary biology, not because feminists have been wrong to be deeply sceptical about many of its claims, both explicit and implicit, but because biology itself has changed. A new appreciation for the importance of development in biology has become mainstream and a new ontology, associated with developmental systems theory (DST), has been introduced over the last two decades. This turn challenges some of the features of evolutionary biology that have most troubled feminists. DST undermines the idea of biologicales sence and challenges both nature /nurture and nature/culture distinctions. Freed from these conceptual constraints, evolutionary biology no longer poses the problems that have justified feminist scepticism. Indeed, feminists have already found useful applications for DST and I argue that they should expand their use of DST to support more radical and wide-ranging political theories.

From cognition to action : a psychological investigation of action regulation in complex and uncertain social systems

Cette thèse présente une revue des réflexions récentes et plus traditionnelles provenant de la théorie des systèmes, de la créativité en emploi, des théories d’organisation du travail et de la motivation afin de proposer une perspective psychologique de la régulation des actions des individus au sein d’environnements de travail complexes et incertains. Des composantes de la Théorie de la Régulation de l’Action (Frese & Zapf, 1994) ainsi que de la Théorie de l’Auto-Détermination (Deci & Ryan, 2000) sont mises en relation afin d’évaluer un modèle définissant certains schémas cognitifs clés associés aux tâches individuelles et collectives en emploi. Nous proposons que ces schémas cognitifs, organisés de manière hiérarchique, jouent un rôle central dans la régulation d’une action efficace au sein d’un système social adaptatif. Nos mesures de ces schémas cognitifs sont basées sur des échelles de mesure proposées dans le cadre des recherches sur l’ambiguïté de rôle (eg. Sawyer, 1992; Breaugh & Colihan, 1994) et sont mis en relation avec des mesures de satisfaction des besoins psychologiques (Van den Broeck, Vansteenkiste, De Witte, Soenens & Lens, 2009) et du bien-être psychologique (Goldberg, 1972). Des données provenant de 153 employés à temps plein d’une compagnie de jeu vidéo ont été récoltées à travers deux temps de mesure. Les résultats révèlent que différents types de schémas cognitifs associés aux tâches individuelles et collectives sont liés à la satisfaction de différents types de besoin psychologiques et que ces derniers sont eux-mêmes liés au bien-être psychologique. Les résultats supportent également l’hypothèse d’une organisation hiérarchique des schémas cognitifs sur la base de leur niveau d’abstraction et de leur proximité avec l’exécution concrète de l’action. Ces résultats permettent de fournir une explication initiale au processus par lequel les différents types de schémas cognitifs développés en emplois et influencé par l’environnement de travail sont associés à l’attitude des employés et à leur bien-être psychologique. Les implications pratiques et théoriques pour la motivation, l’apprentissage, l’habilitation, le bien-être psychologique et l’organisation du travail dans les environnements de travail complexes et incertains sont discutés.

Acid activated montmorillonite: an efficient immobilization support for improving reusability, storage stability and operational stability of enzymes

Three enzymes, α-amylase, glucoamylase and invertase, were immobilized on acid activated montmorillonite K 10 via two independent techniques, adsorption and covalent binding. The immobilized enzymes were characterized by XRD, N2 adsorption measurements and 27Al MAS-NMR spectroscopy. The XRD patterns showed that all enzymes were intercalated into the clay inter-layer space. The entire protein backbone was situated at the periphery of the clay matrix. Intercalation occurred through the side chains of the amino acid residues. A decrease in surface area and pore volume upon immobilization supported this observation. The extent of intercalation was greater for the covalently bound systems. NMR data showed that tetrahedral Al species were involved during enzyme adsorption whereas octahedral Al was involved during covalent binding. The immobilized enzymes demonstrated enhanced storage stability. While the free enzymes lost all activity within a period of 10 days, the immobilized forms retained appreciable activity even after 30 days of storage. Reusability also improved upon immobilization. Here again, covalently bound enzymes exhibited better characteristics than their adsorbed counterparts. The immobilized enzymes could be successfully used continuously in the packed bed reactor for about 96 hours without much loss in activity. Immobilized glucoamylase demonstrated the best results.

Information Discovery in Distributed Systems-A Novel Concept Based on Modelling of Information Elements

Sharing of information with those in need of it has always been an idealistic goal of networked environments. With the proliferation of computer networks, information is so widely distributed among systems, that it is imperative to have well-organized schemes for retrieval and also discovery. This thesis attempts to investigate the problems associated with such schemes and suggests a software architecture, which is aimed towards achieving a meaningful discovery. Usage of information elements as a modelling base for efficient information discovery in distributed systems is demonstrated with the aid of a novel conceptual entity called infotron.The investigations are focused on distributed systems and their associated problems. The study was directed towards identifying suitable software architecture and incorporating the same in an environment where information growth is phenomenal and a proper mechanism for carrying out information discovery becomes feasible. An empirical study undertaken with the aid of an election database of constituencies distributed geographically, provided the insights required. This is manifested in the Election Counting and Reporting Software (ECRS) System. ECRS system is a software system, which is essentially distributed in nature designed to prepare reports to district administrators about the election counting process and to generate other miscellaneous statutory reports.Most of the distributed systems of the nature of ECRS normally will possess a "fragile architecture" which would make them amenable to collapse, with the occurrence of minor faults. This is resolved with the help of the penta-tier architecture proposed, that contained five different technologies at different tiers of the architecture.The results of experiment conducted and its analysis show that such an architecture would help to maintain different components of the software intact in an impermeable manner from any internal or external faults. The architecture thus evolved needed a mechanism to support information processing and discovery. This necessitated the introduction of the noveI concept of infotrons. Further, when a computing machine has to perform any meaningful extraction of information, it is guided by what is termed an infotron dictionary.The other empirical study was to find out which of the two prominent markup languages namely HTML and XML, is best suited for the incorporation of infotrons. A comparative study of 200 documents in HTML and XML was undertaken. The result was in favor ofXML.The concept of infotron and that of infotron dictionary, which were developed, was applied to implement an Information Discovery System (IDS). IDS is essentially, a system, that starts with the infotron(s) supplied as clue(s), and results in brewing the information required to satisfy the need of the information discoverer by utilizing the documents available at its disposal (as information space). The various components of the system and their interaction follows the penta-tier architectural model and therefore can be considered fault-tolerant. IDS is generic in nature and therefore the characteristics and the specifications were drawn up accordingly. Many subsystems interacted with multiple infotron dictionaries that were maintained in the system.In order to demonstrate the working of the IDS and to discover the information without modification of a typical Library Information System (LIS), an Information Discovery in Library Information System (lDLIS) application was developed. IDLIS is essentially a wrapper for the LIS, which maintains all the databases of the library. The purpose was to demonstrate that the functionality of a legacy system could be enhanced with the augmentation of IDS leading to information discovery service. IDLIS demonstrates IDS in action. IDLIS proves that any legacy system could be augmented with IDS effectively to provide the additional functionality of information discovery service.Possible applications of IDS and scope for further research in the field are covered.

Studies on Energy Requirement and Conservation in Selected Fish Harvesting Systems

Present work deals with the studies on energy requirement and convervation in selected fish harvesting systems.Modem fishing is one of the most energy intensive methods of food production. Fossil fuels used for motorised and mechanised fishing are nonrenewable and limited. Most of the environmental problems that confront mankind today are connected to the use of energy in one way or another. Code of Conduct for Responsible Fisheries (FAO, 1995) highlights the need for efficient use of energy in the fisheries sector. Information on energy requirement in different fish harvesting systems, based on the principles of energy analysis, is entirely lacking in respect of Indian fisheries. Such an analysis will provide an unbiased decision making support for maximising the yield per unit of non-renewable energy use, from different fishery resource systems, by rational deployment of harvesting systems. In the present study, results of investigations conducted during 1997-2000 on energy requirement in selected fish harvesting systems and approaches to energy conservation in fishing, are presented along with a detailed description of the fish harvesting systems and their operation. The content of the thesis is organised into 8 Chapters.