Reusable formal architectures for networked systems

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.

“Valley co-creation” – exploring the emergence of a cultural product in an entrepreneur-driven value network: Case study: Black Weekend festival

The interconnected domains are attracting interest from industries and academia, although this phenomenon, called ‘convergence’ is not new. Organizational research has indeed focused on uncovering co-creation for manufacturing and the industrial organization, with limited implications to entrepreneurship. Although convergence has been characterized as a process connecting seemingly disparate disciplines, it is argued that these studies tend to leave the creative industries unnoticed. With the art market boom and new forms of collaboration riding past the institution-focused arts marketing literature, this thesis takes a leap to uncover the processes of entrepreneurship in the emergence of a cultural product. As a symbolic work of synergism itself, the thesis combines organizational theory with literature in natural sciences and arts. Assuming nonlinearity, a framework is created for analysing aesthetic experience in an empirical event where network actors are connected to multiple contexts. As the focal case in study, the empirical analysis performed for a music festival organized in a skiing resort in the French Alps in March. The researcher attends the festival and models its cocreation process by enquiring from an artist, festival organisers, and a festival visitor. The findings contribute to fields of entrepreneurship, aesthetics and marketing mainly. It is found that the network actors engage in intimate and creative interaction where activity patterns are interrupted and cultural elements combined. This process is considered to both create and destruct value, through identity building, legitimisation, learning, and access to larger audiences, and it is considered particularly useful for domains where resources are too restrained for conventional marketing practices. This thesis uncovered the role of artists and informants and posits that particularly through experience design, this type of skilled individual be regarded more often as a research informant. Future research is encouraged to engage in convergence by experimenting with different fields and research designs, and it is suggested that future studies could arrive at different descriptive results.

A cyber security architecture for military networks using a cognitive network approach

Cyber security is one of the main topics that are discussed around the world today. The threat is real, and it is unlikely to diminish. People, business, governments, and even armed forces are networked in a way or another. Thus, the cyber threat is also facing military networking. On the other hand, the concept of Network Centric Warfare sets high requirements for military tactical data communications and security. A challenging networking environment and cyber threats force us to consider new approaches to build security on the military communication systems. The purpose of this thesis is to develop a cyber security architecture for military networks, and to evaluate the designed architecture. The architecture is described as a technical functionality. As a new approach, the thesis introduces Cognitive Networks (CN) which are a theoretical concept to build more intelligent, dynamic and even secure communication networks. The cognitive networks are capable of observe the networking environment, make decisions for optimal performance and adapt its system parameter according to the decisions. As a result, the thesis presents a five-layer cyber security architecture that consists of security elements controlled by a cognitive process. The proposed architecture includes the infrastructure, services and application layers that are managed and controlled by the cognitive and management layers. The architecture defines the tasks of the security elements at a functional level without introducing any new protocols or algorithms. For evaluating two separated method were used. The first method is based on the SABSA framework that uses a layered approach to analyze overall security of an organization. The second method was a scenario based method in which a risk severity level is calculated. The evaluation results show that the proposed architecture fulfills the security requirements at least at a high level. However, the evaluation of the proposed architecture proved to be very challenging. Thus, the evaluation results must be considered very critically. The thesis proves the cognitive networks are a promising approach, and they provide lots of benefits when designing a cyber security architecture for the tactical military networks. However, many implementation problems exist, and several details must be considered and studied during the future work.

Development of porous glass-fiber reinforced composite for bone implants. Evaluation of antimicrobial effect and implant fixation

Cranial bone reconstructions are necessary for correcting large skull bone defects due to trauma, tumors, infections and craniotomies. Traditional synthetic implant materials include solid or mesh titanium, various plastics and ceramics. Recently, biostable glass-fiber reinforced composites (FRC), which are based on bifunctional methacrylate resin, were introduced as novel implant solution. FRCs were originally developed and clinically used in dental applications. As a result of further in vitro and in vivo testing, these composites were also approved for clinical use in cranial surgery. To date, reconstructions of large bone defects were performed in 35 patients. This thesis is dedicated to the development of a novel FRC-based implant for cranial reconstructions. The proposed multi-component implant consists of three main parts: (i) porous FRC structure; (ii) bioactive glass granules embedded between FRC layers and (iii) a silver-polysaccharide nanocomposite coating. The porosity of the FRC structure should allow bone ingrowth. Bioactive glass as an osteopromotive material is expected to stimulate the formation of new bone. The polysaccharide coating is expected to prevent bacterial colonization of the implant. The FRC implants developed in this study are based on the porous network of randomly-oriented E-glass fibers bound together by non-resorbable photopolymerizable methacrylate resin. These structures had a total porosity of 10–70 volume %, of which > 70% were open pores. The pore sizes > 100 μm were in the biologically-relevant range (50-400 μm), which is essential for vascularization and bone ingrowth. Bone ingrowth into these structures was simulated by imbedding of porous FRC specimens in gypsum. Results of push-out tests indicated the increase in the shear strength and fracture toughness of the interface with the increase in the total porosity of FRC specimens. The osteopromotive effect of bioactive glass is based on its dissolution in the physiological environment. Here, calcium and phosphate ions, released from the glass, precipitated on the glass surface and its proximity (the FRC) and formed bone-like apatite. The biomineralization of the FRC structure, due to the bioactive glass reactions, was studied in Simulated Body Fluid (SBF) in static and dynamic conditions. An antimicrobial, non-cytotoxic polysaccharide coating, containing silver nanoparticles, was obtained through strong electrostatic interactions with the surface of FRC. In in vitro conditions the lactose-modified chitosan (chitlac) coating showed no signs of degradation within seven days of exposure to lysozyme or one day to hydrogen peroxide (H2O2). The antimicrobial efficacy of the coating was tested against Staphylococcus aureus and Pseudomonas aeruginosa. The contact-active coating had an excellent short time antimicrobial effect. The coating neither affected the initial adhesion of microorganisms to the implant surface nor the biofilm formation after 24 h and 72 h of incubation. Silver ions released to the aqueous environment led to a reduction of bacterial growth in the culture medium.

The Influence of Network Competence on Internationalization of SMEs

This study focuses on the relationship between organizational network competence and the internationalization process of small- and medium sized enterprises (SMEs). Over recent decades, the global business environment has become increasingly conducive to internationalization of small firms. A central facilitating factor in the process has been the emergence of networked business relationships between internationalizing firms. Research on SME internationalization has found that certain types of structures and dynamics of business networks allow SMEs access to the resources they need to enter foreign markets. This consequently means that their internationalization often becomes to depend on the networks they are embedded in. However, research so far has mostly ignored the possibility that the organizational ability to develop and manage business network relationships, network competence, may be a major underlying factor in determining how well SMEs can leverage their network relationships to enter foreign markets and consequently may determine in large part how successful their internationalization process turns out to be. This study aims to respond to those gaps, by empirically examining how the development of network competence in internationalizing SMEs influences the internationalization outcomes that they can expect, and how such network competence is conceptualized and developed. Using a mixed methods approach, survey data collected from 298 Finnish SMEs across five industry sectors is first used to examine how levels of network competence are related to internationalization propensity of SMEs and their subsequent international performance, growth and profitability as internationally operating firms. In order to illustrate in more detail the ways in which network competence is conceptualized and how it develops during the internationalization process of an SME, qualitative data from internationally operating Finnish SMEs are used. Longitudinal interview data of an internationalizing Finnish SME is accompanied by data gathered through a series of semistructured interviews of Finnish and Russian managers involved in mutual business relationship dyads. Structurally, this thesis examines the research issue as an article-based dissertation, consisting of five journal and conference publications. Three of these publications are based on the quantitative data, and the remaining two apply the qualitative interview data. The results find several aspects where network competence has a positive influence on the success of internationalizing SMEs, how it develops and what it entails conceptually in this context. Quantitatively, the level of network competence is found to have a positive relationship to various internationalization outcomes, including the propensity of SMEs to enter foreign markets and on their subsequent international performance, their growth and their profitability. Additionally, the positive relationship is divided between the relationship-specific and cross-relational dimension of network competence, in that the influence of the former is relevant for the propensity to internationalize, while the latter is for the growth and profitability of the already internationalized SMEs. Qualitatively, the results suggest, firstly, that the development process of network competence does not necessarily precede the start of the internationalization process, but may occur through a gradual learning process alongside it. And secondly, the results also imply that the conceptualization of network competence by Finnish managers of internationally operating Finnish SMEs is structurally distinct from that of their culturally distinct partner managers in Russia. This study contributes to the literature on SME internationalization in several ways. Firstly, it introduces operationalized organizational competencies to the literature on internationalization of SMEs, which has so far mainly examined the influence of business networking on the internationalization process without having such an organizational viewpoint. Furthermore, this study provides a multi-level analysis of the determinants of successful SME internationalization, by examining various strategic and performance outcomes across the process. These results also contribute to the literature on organizational strategy of internationalizing SMEs, by clarifying how different dimensions of business networking may be optimal in different phases of the internationalization process. Conceptually, the results of this study contribute to the literature on competence development and SME internationalization, by illustrating how the development process of network competence may occur during internationalization process. Thus, they also contribute to the discussion on how SMEs are able to influence the dynamics and structures of their business networks over time. Finally, this study contributes to the literature on the role of culture in the internationalization process, by implying that the cultural background of the manager of the SME may determine whether business networking and network competence is seen as an organizational-level or an individual level capability. The study also includes some additional contributions to the literature on dynamic capabilities in strategic management, and on that of strategic business networks. These include further clarifying the exact nature and tangibility of dynamic capabilities, and being one of the first studies to introduce constructs from both dynamic capabilities and business network literature to the field of international entrepreneurship. And finally, the study also has some contribution on the two streams of literature, in illustrating how both dyadic and network-level capabilities may be relevant, depending on the current strategic goals and market position of the firm. Keywords: network competence, internationalizatio

Performance measurement and management in a collaborative network

This study concerns performance measurement and management in a collaborative network. Collaboration between companies has been increased in recent years due to the turbulent operating environment. The literature shows that there is a need for more comprehensive research on performance measurement in networks and the use of measurement information in their management. This study examines the development process and uses of a performance measurement system supporting performance management in a collaborative network. There are two main research questions: how to design a performance measurement system for a collaborative network and how to manage performance in a collaborative network. The work can be characterised as a qualitative single case study. The empirical data was collected in a Finnish collaborative network, which consists of a leading company and a reseller network. The work is based on five research articles applying various research methods. The research questions are examined at the network level and at the single network partner level. The study contributes to the earlier literature by producing new and deeper understanding of network-level performance measurement and management. A three-step process model is presented to support the performance measurement system design process. The process model has been tested in another collaborative network. The study also examines the factors affecting the process of designing the measurement system. The results show that a participatory development style, network culture, and outside facilitators have a positive effect on the design process. The study increases understanding of how to manage performance in a collaborative network and what kind of uses of performance information can be identified in a collaborative network. The results show that the performance measurement system is an applicable tool to manage the performance of a network. The results reveal that trust and openness increased during the utilisation of the performance measurement system, and operations became more transparent. The study also presents a management model that evaluates the maturity of performance management in a collaborative network. The model is a practical tool that helps to analyse the current stage of the performance management of a collaborative network and to develop it further.

Communication Solutions for LVDC Island Networks

Production and generation of electrical power is evolving to more environmental friendly technologies and schemes. Pushed by the increasing cost of fossil fuels, the operational costs of producing electrical power with fossil fuels and the effect in the environment, like pollution and global warming, renewable energy sources gain con-stant impulse into the global energy economy. In consequence, the introduction of distributed energy sources has brought a new complexity to the electrical networks. In the new concept of smart grids and decen-tralized power generation; control, protection and measurement are also distributed and requiring, among other things, a new scheme of communication to operate with each other in balance and improve performance. In this research, an analysis of different communication technologies (power line communication, Ethernet over unshielded twisted pair (UTP), optic fiber, Wi-Fi, Wi-MAX, and Long Term Evolution) and their respective characteristics will be carried out. With the objective of pointing out strengths and weaknesses from different points of view (technical, economical, deployment, etc.) to establish a richer context on which a decision for communication approach can be done depending on the specific application scenario of a new smart grid deployment. As a result, a description of possible optimal deployment solutions for communication will be shown considering different options for technologies, and a mention of different important considerations to be taken into account will be made for some of the possible network implementation scenarios.

Mapping the Value Network Potential in Cross-sector Collaboration: Case welfare Services for Elderly in Finland

Value network has been studied greatly in the academic research, but a tool for value network mapping is missing. The objective of this study was to design a tool (process) for value network mapping in cross-sector collaboration. Furthermore, the study addressed a future perspective of collaboration, aiming to map the value network potential. During the study was investigated and pondered how to get the full potential of collaboration, by creating new value in collaboration process. These actions are parts of mapping process proposed in the study. The implementation and testing of the mapping process were realized through a case study of cross-sector collaboration in welfare services for elderly in the Eastern Finland. Key representatives in elderly care from public, private and third sectors were interviewed and a workshop with experts from every sector was also conducted in this regard. The value network mapping process designed in this study consists of specific steps that help managers and experts to understand how to get a complex value network map and how to enhance it. Furthermore, it make easier the understanding of how new value can be created in collaboration process. The map can be used in order to motivate participants to be engaged with responsibility in collaboration and to be fully committed in their interactions. It can be also used as a motivator tool for those organizations that intend to engage in collaboration process. Additionally, value network map is a starting point in many value network analyses. Furthermore, the enhanced value network map can be used as a performance measurement tool in cross-sector collaboration.

Power-line-communication-based data transmission concept for an LVDC electricity distribution network – Analysis and implementation

Communications play a key role in modern smart grids. New functionalities that make the grids ‘smart’ require the communication network to function properly. Data transmission between intelligent electric devices (IEDs) in the rectifier and the customer-end inverters (CEIs) used for power conversion is also required in the smart grid concept of the low-voltage direct current (LVDC) distribution network. Smart grid applications, such as smart metering, demand side management (DSM), and grid protection applied with communications are all installed in the LVDC system. Thus, besides remote connection to the databases of the grid operators, a local communication network in the LVDC network is needed. One solution applied to implement the communication medium in power distribution grids is power line communication (PLC). There are power cables in the distribution grids, and hence, they may be applied as a communication channel for the distribution-level data. This doctoral thesis proposes an IP-based high-frequency (HF) band PLC data transmission concept for the LVDC network. A general method to implement the Ethernet-based PLC concept between the public distribution rectifier and the customerend inverters in the LVDC grid is introduced. Low-voltage cables are studied as the communication channel in the frequency band of 100 kHz–30 MHz. The communication channel characteristics and the noise in the channel are described. All individual components in the channel are presented in detail, and a channel model, comprising models for each channel component is developed and verified by measurements. The channel noise is also studied by measurements. Theoretical signalto- noise ratio (SNR) and channel capacity analyses and practical data transmission tests are carried out to evaluate the applicability of the PLC concept against the requirements set by the smart grid applications in the LVDC system. The main results concerning the applicability of the PLC concept and its limitations are presented, and suggestion for future research proposed.

Forest contractors entrepreneurial skills development in Finland by Forest Expertise and Innovation Network : project in 2009 - 2013

Julkaisumaa: 578 NO NOR Norja

Hyökkäyksestä puolustukseen : taktiikan kehittymisen ensimmäiset vuosikymmenet Suomessa

This study deals with the development of military tactics in Finland from independence to the early 1950s. The research is divided into three periods: the time before the Winter and Continuation wars and the time after the wars. Based mainly on archive sources each period and subject is dealt with in chronological order. The objective was to study the development features in Finnish tactics and the foreign impact on its development. Before the Winter War, offence was regarded as the only course of action that could redress the balance of power in a possible war against the Soviet Union. Defence lacked the depth considered essential in European thinking because the troops were few and the heavily forested terrain prevented the deployment of automatic weapons in echelon. Delaying action was most clearly based on Finnish concepts. Between the world wars, Finnish tactics was very pan-European. Mainly through German influence, the overall thinking followed the emphases of the international mainstream with many influences from other European countries, mainly from Sweden. However, the principles of the mainstream were adapted to suit the circumstances and position of Finland. The short Winter War against the Soviet Union proved that Finnish tactics was on the right track in its basic principles. During the Continuation War it was determined that tactical thinking could not rely solely on offence, but should be based to a greater extent on terms dictated by defensive tactics. During the static phase of the Continuation War, Finland did not receive adequate intelligence on the advances in the offensive capabilities of the Soviet Union. This was why defence tactics was influenced by German combat experiences against the Red Army. In repelling the massive Soviet attack, the use of deeper echelons was adopted as the basic principle in Finland. After the war, the East - West confrontation put Finland in a totally new position. Because combat deep inside Finnish territory in future war seemed probable, Finland adopted a doctrine of territorial defence. Army tactics expanded to more effectively include combat on the coast, in centers of population and in the northern areas of the country. The years after the wars had very little effect on Finnish tactics: development of defence tactics continued further toward defence in depth as a combat model. During the period of the present study, Finnish tactics developed from mainly offensive thinking to emphasizing defensive combat.

Supply network risks and costs in Finnish project business

This report summarizes the results of the survey HAVERI – Supply network risks in business. The survey was conducted in Finland during the spring and summer of year 2013. The survey is part of a large two-year research project started in June 2012 in Finland (on-going 06/2012–07/2014). The project is launched and financed by TEKES, the Finnish Funding Agency for Technology and Innovation, and executed together with the researchers from Lappeenranta University of Technology and Tampere University of Technology. The overall goal of this on-going research project is to find out the decision-making practices in the project-oriented companies in their purchasing decisions especially in the mechanical engineering and construction industries in Finland. The objective of the survey was to gain cross-sectional data concerning the challenges, risks and cost factors in Finnish project business companies. The results show that Finnish companies rely on their experience and supplier references in their risk management. In general, the understanding of the total cost structure varies among the industries and companies. The main cost factor in risk management was costs before the actual purchase decision. Overall, it seems that the monetary value of the whole project and capability of purchasing personnel are the main influencing factors on risk management activity in project purchasing.

Introduction of the T-10 static line parachuting capability to the NH90 helicopter

The purpose of this study was to investigate the suitability of the Finnish Defence Forces’ NH90 helicopter for parachuting operations with the T-10 static line parachute system. The work was based on the Army Command’s need to compensate for the reduction in the outsourced flight hours for the military static line parachuting training. The aim of the research was to find out the procedures and limitations with which the NH90 IOC+ or FOC version helicopter could be used for static line parachutist training with the T- 10B/MC1-1C parachutes. The research area was highly complicated and non-linear. Thus analytical methods could not be applied with sufficient confidence, even with present-day computing power. Therefore an empirical research method was selected, concentrating on flight testing supported with literature study and some calculated estimations. During three flights and 4.5 flight hours in Utti, Finland on 17−20 September 2012, a total of 44 parachute drops were made. These consisted of 16 dummy drops and 28 paratrooper jumps. The test results showed that when equipped with the floor mounted PASI-1 anchor line, the deflector bar of the NHIndustries’ Parachuting Kit and Patria’s floor protection panels the Finnish NH90 variant could be safely used for T-10B/MC1-1C static line parachuting operations from the right cabin door at airspeed range of 50−80 KIAS (∼90–150 km/h). The ceiling mounted anchor lines of the NHI’s Parachuting Kit were not usable with the T-10 system. This was due to the static lines’ unsafe behaviour in slipstream when connected to the cabin ceiling level. In conclusion, the NH90 helicopter can be used to meet the Army Command’s requirement for an additional platform for T-10 static line parachutist training. Material dropping, the effect of additional equipment and jumping from the rear ramp should be further studied.