How can we agree on some product agnostic repository function fundamentals?

Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014

Software product line for power converters

Työn tilaajana toimi Visedo Oy. Työn tavoitteina oli tutkia Visedo Oy:n ohjelmistokehityksen nykytila, tunnistaa seuraavat parannuskohteet ja antaa ohjeita havaittujen parannuskohteiden korjaamiseksi. Visedo Oy:n tehonmuokkain ohjelmistokehityksen nykytilaa käsiteltiin neljän valitun osa-alueen näkökulmasta: ohjelmistoarkkitehtuurityyli, komponenttipohjainen ohjelmistokehitys, ohjelmistotuotelinjojen kehitysmenetelmät ja ohjelmistovariaatioiden hallinta. Valituilla osa-alueilla havaittujen parannuskohteiden perusteella annettiin korjausehdotuksia: ohjelmistoarkkitehtuurin rakenteeseen, komponenttien jakautumiselle, komponenttien koostamiselle ja komponenttien versioinnille. Lisäksi ehdotettiin uudenlaista ohjelmistotuotelinja rakennetta, joka yhdistää kerros- ja komponenttipohjaiset arkkitehtuurityylit mahdollistaen ominaisuuksiltaan eroavien tehonmuokkain ohjelmistojen hallinnan.

DNA-lipid systems: A physical chemistry study

It is well known that the interaction of polyelectrolytes with oppositely charged surfactants leads to an associative phase separation; however, the phase behavior of DNA and oppositely charged surfactants is more strongly associative than observed in other systems. A precipitate is formed with very low amounts of surfactant and DNA. DNA compaction is a general phenomenon in the presence of multivalent ions and positively charged surfaces; because of the high charge density there are strong attractive ion correlation effects. Techniques like phase diagram determinations, fluorescence microscopy, and ellipsometry were used to study these systems. The interaction between DNA and catanionic mixtures (i.e., mixtures of cationic and anionic surfactants) was also investigated. We observed that DNA compacts and adsorbs onto the surface of positively charged vesicles, and that the addition of an anionic surfactant can release DNA back into solution from a compact globular complex between DNA and the cationic surfactant. Finally, DNA interactions with polycations, chitosans with different chain lengths, were studied by fluorescence microscopy, in vivo transfection assays and cryogenic transmission electron microscopy. The general conclusion is that a chitosan effective in promoting compaction is also efficient in transfection.

Marketing of fire suppression systems: customer value and institutional aspects

The paper studied marketing of automatic fire suppression systems from the perspectives of customer value and institutions. The object of the study was research the special features of the sales and marketing of fire suppression systems, and find some practical applications for sales, and for lobbying of a new fire suppression technology. The theoretical background of the study was in the customer value literature and the theoretical concept of institutional entrepreneurship. The research was conducted as an electronic survey for three different groups of respondents; end customers, solution integrators, and re-sellers. From the answers was gathered generalisations about the customer value assessment and communication of the value related to the sales and marketing processes of the fire suppression systems. In addition, there was observed manners to receive information about the systems, and effects caused by institutions to the decision making of the different parties involved. The findings of the study support companies that are launching a new safety technology to the market focus their marketing, and help to understand institutional forces that are affecting to a safety related product.

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.

Agent-based management systems for many-core platforms : rigorous design and efficient implementation

Due to various advantages such as flexibility, scalability and updatability, software intensive systems are increasingly embedded in everyday life. The constantly growing number of functions executed by these systems requires a high level of performance from the underlying platform. The main approach to incrementing performance has been the increase of operating frequency of a chip. However, this has led to the problem of power dissipation, which has shifted the focus of research to parallel and distributed computing. Parallel many-core platforms can provide the required level of computational power along with low power consumption. On the one hand, this enables parallel execution of highly intensive applications. With their computational power, these platforms are likely to be used in various application domains: from home use electronics (e.g., video processing) to complex critical control systems. On the other hand, the utilization of the resources has to be efficient in terms of performance and power consumption. However, the high level of on-chip integration results in the increase of the probability of various faults and creation of hotspots leading to thermal problems. Additionally, radiation, which is frequent in space but becomes an issue also at the ground level, can cause transient faults. This can eventually induce a faulty execution of applications. Therefore, it is crucial to develop methods that enable efficient as well as resilient execution of applications. The main objective of the thesis is to propose an approach to design agentbased systems for many-core platforms in a rigorous manner. When designing such a system, we explore and integrate various dynamic reconfiguration mechanisms into agents functionality. The use of these mechanisms enhances resilience of the underlying platform whilst maintaining performance at an acceptable level. The design of the system proceeds according to a formal refinement approach which allows us to ensure correct behaviour of the system with respect to postulated properties. To enable analysis of the proposed system in terms of area overhead as well as performance, we explore an approach, where the developed rigorous models are transformed into a high-level implementation language. Specifically, we investigate methods for deriving fault-free implementations from these models into, e.g., a hardware description language, namely VHDL.

Defining Sales and Operations Planning Process in an Environmental Management Company

Sales and operations research publications have increased significantly in the last decades. The concept of sales and operations planning (S&OP) has gained increased recognition and has been put forward as the area within Supply Chain Management (SCM). Development of S&OP is based on the need for determining future actions, both for sales and operations, since off-shoring, outsourcing, complex supply chains and extended lead times make challenges for responding to changes in the marketplace when they occur. Order intake of the case company has grown rapidly during the last years. Along with the growth, new challenges considering data management and information flow have arisen due to increasing customer orders. To manage these challenges, case company has implemented S&OP process, though initial process is in early stage and due to this, the process is not managing the increased customer orders adequately. Thesis objective is to explore extensively the S&OP process content of the case company and give further recommendations. Objectives are categorized into six different groups, to clarify the purpose of this thesis. Qualitative research methods used are active participant observation, qualitative interviews, enquiry, education, and a workshop. It is notable that demand planning was felt as cumbersome, so it is typically the biggest challenge in S&OP process. More proactive the sales forecasting can be, more expanded the time horizon of operational planning will turn out. S&OP process is 60 percent change management, 30 percent process development and 10 percent technology. The change management and continuous improvement can sometimes be arduous and set as secondary. It is important that different people are required to improve the process and the process is constantly evaluated. As well as, process governance is substantially in a central role and it has to be managed consciously. Generally, S&OP process was seen important and all the stakeholders were committed to the process. Particular sections were experienced more important than others, depending on the stakeholders’ point of views. Recommendations to objective groups are evaluated by the achievable benefit and resource requirement. The urgent and easily implemented improvement recommendations should be executed firstly. Next steps are to develop more coherent process structure and refine cost awareness. Afterwards demand planning, supply planning, and reporting should be developed more profoundly. For last, information technology system should be implemented to support the process phases.

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 DATA MANAGEMENT FOR FINNISH SMALL AND MEDIUM-SIZED MANUFACTURING ENTERPRISES - Towards a viable information system concept

Product Data Management (PDM) systems have been utilized within companies since the 1980s. Mainly the PDM systems have been used by large companies. This thesis presents the premise that small and medium-sized companies can also benefit from utilizing the Product Data Management systems. Furthermore, the starting point for the thesis is that the existing PDM systems are either too expensive or do not properly respond to the requirements SMEs have. The aim of this study is to investigate what kinds of requirements and special features SMEs, operating in Finnish manufacturing industry, have towards Product Data Management. Additionally, the target is to create a conceptual model that could fulfill the specified requirements. The research has been carried out as a qualitative case study, in which the research data was collected from ten Finnish companies operating in manufacturing industry. The research data is formed by interviewing key personnel from the case companies. After this, the data formed from the interviews has been processed to comprise a generic set of information system requirements and the information system concept supporting it. The commercialization of the concept is studied in the thesis from the perspective of system development. The aim was to create a conceptual model, which would be economically feasible for both, a company utilizing the system and for a company developing it. For this reason, the thesis has sought ways to scale the system development effort for multiple simultaneous cases. The main methods found were to utilize platform-based thinking and a way to generalize the system requirements, or in other words abstracting the requirements of an information system. The results of the research highlight the special features Finnish manufacturing SMEs have towards PDM. The most significant of the special features is the usage of project model to manage the order-to-delivery –process. This differs significantly from the traditional concepts of Product Data Management presented in the literature. Furthermore, as a research result, this thesis presents a conceptual model of a PDM system, which would be viable for the case companies interviewed during the research. As a by-product, this research presents a synthesized model, found from the literature, to abstract information system requirements. In addition to this, the strategic importance and categorization of information systems within companies has been discussed from the perspective of information system customizations.

Co-creating Value For Smart Phone Operating Systems Via Virtual Discussion Forums

In the traditional way, value is created by manufacturer or producer of a product without engaging the customers. So, traditionally value creation is a monopoly in the part of a manufacturer. After gathering all the raw materials the manufacturers are inserting value to a product. And the inserted value is recognized in the time of consuming the product. In the modern time though there is traditional way of value creation but with the increase of more educated, smart, and technically sound customers the idea of value creation has changed. Now, customers are also contributing in value creation as value co-creator even before the product is consumed. This scenario has been encountered in the thesis with the main purpose of how value is cocreated in smart phone operating systems. The purpose is further divided into the following supobjectives: o What is value co-creation in smart phone operating systems? o Who participates in value co-creation in smart phone operating systems? o What are the procedures that are involved in value co-creation in smart phone operating systems? The research was conducted as a qualitative desk study by observing two of the leading smart phone operating system providers. Data has been collected from the official discussion forum of both the operating system providers. Other general concepts relating to the purpose of the study has been encountered through literature review. The research findings reveal that customers and companies both together co-create value of anticipated level when they communicate and interact with each other. However, most of the time customer to customer interactions, dialogues and discussions that come out in the core conversation help the value co-creation. The value co-creation framework sets up the customer at the main focus of value creation theory. By nullifying the inherited notion that companies only create value within its boundary and provide it to their customers in exchange of currencies. Rationally, it has been commenced that the firms are merely compromising value propositions to its customers. But the value has been co-created in a point where offerings are combined and interacted with customers’ capabilities, knowledge, resources and perceptions. This new perspective has radically altered the prospect of firms towards its customers. Typically customers are now taking part in value cocreation as a crucial member.

Mass transfer and reaction kinetics in single droplet systems

As reactive extraction grown more and more popular in a variety of technological applications, optimizing its performance becomes more and more important. The process of complex formation is affected by a great number of both physical and chemical properties of all the components involved, and sometimes their interference with one another makes improving the effectiveness of such processes very difficult. In this Master’s Theses, the processes of complex formation between the aqueous phase - represented by copper sulfate water solution, and organic phase – represented by Acorga M5640 solvent extractor, were studied in order to establish the effect these components have on reactive extraction performance and to determine which step is bottlenecking the process the most.

The Smiles rearrangement in hydrazidic systems and related syntheses /|nG. A. Pawelchak. -- 260 St. Catharines, Ont. : [s. n.],

This research was directed towards the investigation of the Smiles rearrangement in hydrazidic systems and the synthesis of related heterocyclic compounds. The work can be conveniently divided into two main sections. Section 1 of the thesis relates to the synthesis and examination of the O+N migration of phenoxy- derivatives of hydrazidic halides. In general, hydrazidic halides were found to react with 2-nitrophenol and 4-nitrophenol to give corresponding a-nitrophenoxy- compounds. These a-nitrophenoxy- compounds were found to rearrange in warm base to give the corresponding N-benzoyl compounds via a proposed five-membered transition state. Experiments conducted in styrene revealed no radical contribution to the rearrangement. Cross-over product analysis indicated the rearrangement as intramolecular and consistent with the Smiles rearrangement. The preparation of N-a-chlorobenzylidene-N'-2-nitrophenyl- -N'-(2,4-dibromophenyl)hydrazine from N-benzoyl-N'-2-nitrophenyl- N'-(2,4-dibromophenyl)hydrazine was accomplished using phosphorus oxychloride. Examination of this hydrazidic chloride indicated a marked decrease .in reactivity as compared to the N-a-chlorobenzylidene-N'-phenylhydrazine case. Section 2 concerns itself with the preparation of heterocyclic compounds using an analogy of the five-membered transition state present in the Smiles rearrangement of a substituted benzylidene derivatives A new preparation of 2,4-phenyl1,3,4- oxadiazol-S-one using N-benzoyl-N'-phenylhydrazine and ethyl thiochloroformate is reported. Two new preparations of N-a-thiobenzoyl-N'-(2,4-dibromophenylhydrazine are reported using sodium hydrosulfide in conjunction with N-a-bromobenzylidene-N'-(2,4-dibromophenyl)hydrazine in the first, and phosphorus pentasulfide with N-benzoylN'-( 2,4-dibromophenyl)hydrazine in the second. The latter is preferred due to the formation of a sulfide co-product in the former. Two preparations of 2-phenyl-4-(2,4-dibromophenyl)-1,3,4- thiadiazol-S-one are reported using N-thiobenzoyl-N'-(2,4-dibromophenyl) hydrazine and ethyl chloroformate and ethyl thiochloroformate Two rapid and easy preparations of 2-phenyl-4-(2,4-dibromophenyl)- 1,3,4-triazol-S-one are reported using ethyl chloroformate and ethyl thiochloroformate. Sodium cyanate in conjunction with a-aminobenzylidene-N'-(2,4-dibromophenyl)hydrazine also provided 2-phenyl-4-(2,4-dibromophenyl)-1,3,4-triazol-S-one Section 2 concludes with an examination of two possible mechanistic routes to the prepared heterocycles.

Kinetic and product studies for the oxidtion of organic sulfides and sulfoxides in the presence of transition metal complexes

Rates and products of the oxidation of diphenyl sulfide, phenyl methyl sulfide, p-chlorophenyl methyl sulfide and diphenyl sulfoxide have been determined. Oxidants included t-Bu02H alone, t-Bu02H plus molybdenum or vanadium catalysts and the molybdenum peroxo complex Mo0(02)2*HMPT. Reactions were chiefly carried out in ethanol at temperatures ranging from 20° to 65°C. Oxidation of diphenyl sulfide by t-Bu02H in absolute ethanol at 65°C followed second-order kinetics with k2 = 5.61 x 10 G M~1s"1, and yielded only diphenyl sulfoxide. The Mo(C0)g-catalyzed reaction gave both the sulfoxide and the sulfone with consecutive third-order kinetics. Rate = k3[Mo][t-Bu02H][Ph2S] + k^[Mo][t-Bu02H][Ph2S0], where log k3 = 12.62 - 18500/RT, and log k^ = 10.73 - 17400/RT. In the absence of diphenyl sulfide, diphenyl sulfoxide did not react with t-Bu02H plus molybdenum catalysts, but was oxidized by t-Bu02H-V0(acac)2. The uncatalyzed oxidation of phenyl methyl sulfide by t-Bu02H in absolute ethanol at 65°C gave a second-order rate constant, k = 3.48 x 10~"5 M^s""1. With added Mo(C0)g, the product was mainly phenyl methyl sulfoxide; Rate = k3[Mo][t-Bu02H][PhSCH3] where log k3 = 22.0 - 44500/RT. Both diphenyl sulfide and diphenyl sulfoxide react readily with the molybdenum peroxy complex, Mo0(02)2'HMPT in absolute ethanol at 35°C, yielding diphenyl sulfone. The observed features are mainly in agreement with the literature on metal ion-catalyzed oxidations of organic compounds by hydroperoxides. These indicate the formation of an active catalyst and the complexation of t-Bu02H with the catalyst. However, the relatively large difference between the activation energies for diphenyl sulfide and phenyl methyl sulfide, and the non-reactivity of diphenyl sulfoxide suggest the involvement of sulfide in the production of an active species.

Interactions between the cholinergic and dopaminergic systems during the production of ultrasonic vocalizations in rats

Rats produce ultrasonic vocalizations that can be categorized into two types of ultrasonic calls based on their sonographic structure. One group contains 22-kHz ultrasonic vocalization (USVs), characterized by relatively constant (flat) frequency with peak frequency ranging from 19 to 28-kHz, and a call duration ranging between 100 – 3000 ms. These vocalization can be induced by cholinomimetic agents injected into the ascending mesolimbic cholinergic system that terminates in the anterior hypothalamic-preoptic area (AH-MPO) and lateral septum (LS). The other group of USVs contains 50-kHz USVs, characterized by high peak frequency, ranging from 39 to 90-kHz, short duration ranging from 10-90 ms, and varying frequency and complex sonographic morphology. These vocalizations can be induced by dopaminergic agents injected into the nucleus accumbens, the target area for the mesolimbic dopaminergic system. 22-kHz USVs are emitted in situations that are highly aversive, such as proximity of a predator or anticipation of a foot shock, while 50 kHz USVs are emitted in rewarding and appetitive situations, such as juvenile play behaviour or anticipation of rewarding electrical brain stimulation. The activities of these two mesolimbic systems were postulated to be antagonistic to each other. The current thesis is focused on the interaction of these systems indexed by emission of relevant USVs. It was hypothesized that emission of 22 kHz USVs will be antagonized by prior activation of the dopaminergic system while emission of 50 kHz will be antagonized by prior activation of the cholinergic system. It was found that injection of apomorphine into the shell of the nucleus accumbens significantly decreased the number of carbachol-induced 22 kHz USVs from both AH-MPO and LS. Injection of carbachol into the LS significantly decreased the number of apomorphine-induced 50 kHz USVs from the shell of the nucleus accumbens. The results of the study supported the main hypotheses that the mesolimbic dopaminergic and cholinergic systems function in antagonism to each other.

Automatic Inference of Graph Models for Complex Networks with Genetic Programming

Complex networks can arise naturally and spontaneously from all things that act as a part of a larger system. From the patterns of socialization between people to the way biological systems organize themselves, complex networks are ubiquitous, but are currently poorly understood. A number of algorithms, designed by humans, have been proposed to describe the organizational behaviour of real-world networks. Consequently, breakthroughs in genetics, medicine, epidemiology, neuroscience, telecommunications and the social sciences have recently resulted. The algorithms, called graph models, represent significant human effort. Deriving accurate graph models is non-trivial, time-intensive, challenging and may only yield useful results for very specific phenomena. An automated approach can greatly reduce the human effort required and if effective, provide a valuable tool for understanding the large decentralized systems of interrelated things around us. To the best of the author's knowledge this thesis proposes the first method for the automatic inference of graph models for complex networks with varied properties, with and without community structure. Furthermore, to the best of the author's knowledge it is the first application of genetic programming for the automatic inference of graph models. The system and methodology was tested against benchmark data, and was shown to be capable of reproducing close approximations to well-known algorithms designed by humans. Furthermore, when used to infer a model for real biological data the resulting model was more representative than models currently used in the literature.