Operational Knowledge in Process Design

Työn tarkoituksena on selvittää, miten käyttötietämystä hyödynnetään prosessisuunnittelussa. Tavoitteena on löytää keinoja parantaa käyttötietämyksen hallintaa suunnitteluprosessin aikana ja selvittää, vaikuttaako tämä prosessisuunnittelun laatuun.Prosessisuunnittelun laatua arvioidaan seitsemällä kriteerillä, jotka ovat investointikustannukset, käyttökustannukset, turvallisuus, ympäristövaikutukset, käytettävyys, innovatiivisuus ja aikataulu. Suunnitteluprosessi jaetaan kolmeen vaiheeseen: esisuunnitteluun, perussuunnitteluun ja detaljisuunnitteluun. Prosessisuunnittelua, investointiprojektia, prosessisuunnittelun laatukriteerejä, suunnitteluprosessin eri vaiheita ja käyttötietämyksen luokittelua tarkastellaan yleisesti. Työssä selvitettiin käyttötietämyksen hyödyntämistä Kemiralla. Aluksi muotoiltiin yleisiä väittämiä käyttötietämyksen hyödyntämisestä Kemiran ulkopuolisten eri alojen asiantuntijoiden haastattelujen perusteella. Tämän jälkeen Kemiran prosessisuunnittelijat arvioivat väittämiä. Arvioiden perusteella tehtiin johtopäätöksiä yleisesti käyttötietämyksen hyödyntämisestä prosessisuunnittelussa. Seuraavaksi haastateltiin kahdessa erityyppisessä case-projektissa mukana olleita henkilöitä ja muotoiltiin yleiset väittämät näihin projekteihin sopiviksi. Projekteissa mukana olleet henkilöt arvioivat väittämiä, ja näiden arvioiden perusteella projekteja vertailtiin keskenään. Lopussa esitetään johtopäätökset kaikkien väittämien arvioiden perusteella. Johtopäätöksenä voidaan todeta, että käyttötietämystä voidaan hyödyntää kaikissa suunnittelun vaiheissa, mutta paras hyöty saadaan perus- ja detaljisuunnittelussa. Käyttötietämyksellä voidaan vaikuttaa joihinkin prosessisuunnittelun laatukriteereihin, kuten esimerkiksi käytettävyyteen ja turvallisuuteen enemmän kuin muihin. Kemiralle suositellaan nykyisten tiedonhallintamenetelmien kehittämistä, jotta käyttötietämyksen saatavuus ja sen siirtäminen paranisi. Pr

Design and physicochemical stability studies of paediatric oral formulations of sildenafil

Abstract Personalized medicine is a challenging research area in paediatric treatments. Elaborating new paediatric formulations when no commercial forms are available is a common practice in pharmacy laboratories; among these, oral liquid formulations are the most common. But due to the lack of specialized equipment, frequently studies to assure the efficiency and safety of the final medicine cannot be carried out. Thus the purpose of this work was the development, characterization and stability evaluation of two oral formulations of sildenafil for the treatment of neonatal persistent pulmonary hypertension. After the establishment of a standard operating procedure (SOP) and elaboration, the physicochemical stability parameters appearance, pH, particle size, rheological behaviour and drug content of formulations were evaluated at three different temperatures for 90 days. Equally, prediction of long term stability, as well as, microbiological stability was performed. Formulations resulted in a suspension and a solution slightly coloured exhibiting fruity odour. Formulation I (suspension) exhibited the best physicochemical properties including Newtonian behaviour and uniformity of API content above 90% to assure an exact dosification process.

Safety and sustainability research for university schools of fine arts

Designing new teaching programs for both undergraduate and graduate university studies involves integrating concepts and methodologies regarding quality, work safety and hazard prevention, and environmental protection. One of the challenges facing Spanish research within the realm of European Higher Education concerns health and safety issues in the Arts.In the case of Fine Arts, student exploration is one of the fundamental pillars of the study program; therefore it is imperative that art studios be optimized. This optimization affects both designated resources (infrastructures, materials, equipment, etc.) and organization of the teaching force.In this context, the aim of our research is to improve educational practices by designing quality measures that are both friendly to the environment and hazardous free. The aim here is to assure adequate art studio and laboratory management, and provide students with hazard free health and environmentally safe concepts that can be incorporated in their professional lives.The school of Fine Arts at the University of Barcelona is part of a pilot program, where our experience in educational innovation and research is serving as a reference for the implantation of OSHAS 18001 norms.

Safety and sustainability research for university schools of fine arts

Designing new teaching programs for both undergraduate and graduate university studies involves integrating concepts and methodologies regarding quality, work safety and hazard prevention, and environmental protection. One of the challenges facing Spanish research within the realm of European Higher Education concerns health and safety issues in the Arts.In the case of Fine Arts, student exploration is one of the fundamental pillars of the study program; therefore it is imperative that art studios be optimized. This optimization affects both designated resources (infrastructures, materials, equipment, etc.) and organization of the teaching force.In this context, the aim of our research is to improve educational practices by designing quality measures that are both friendly to the environment and hazardous free. The aim here is to assure adequate art studio and laboratory management, and provide students with hazard free health and environmentally safe concepts that can be incorporated in their professional lives.The school of Fine Arts at the University of Barcelona is part of a pilot program, where our experience in educational innovation and research is serving as a reference for the implantation of OSHAS 18001 norms.

Safety and sustainability research for university schools of fine arts

Designing new teaching programs for both undergraduate and graduate university studies involves integrating concepts and methodologies regarding quality, work safety and hazard prevention, and environmental protection. One of the challenges facing Spanish research within the realm of European Higher Education concerns health and safety issues in the Arts.In the case of Fine Arts, student exploration is one of the fundamental pillars of the study program; therefore it is imperative that art studios be optimized. This optimization affects both designated resources (infrastructures, materials, equipment, etc.) and organization of the teaching force.In this context, the aim of our research is to improve educational practices by designing quality measures that are both friendly to the environment and hazardous free. The aim here is to assure adequate art studio and laboratory management, and provide students with hazard free health and environmentally safe concepts that can be incorporated in their professional lives.The school of Fine Arts at the University of Barcelona is part of a pilot program, where our experience in educational innovation and research is serving as a reference for the implantation of OSHAS 18001 norms.

The use of non-animal alternatives in the safety evaluations of cosmetics ingredients by the Scientific Committee on Consumer Safety (SCCS)

In Europe, the safety evaluation of cosmetics is based on the safety evaluation of each individual ingredient. Article 3 of the Cosmetics Regulation specifies that a cosmetic product made available on the market is to be safe for human health when used normally or under reasonably foreseeable conditions. For substances that cause some concern with respect to human health (e.g. colorants, preservatives, UV-filters), safety is evaluated at the Commission level by a scientific committee, presently called the Scientific Committee on Consumer Safety (SCCS). According to the Cosmetics Regulations, in the EU, the marketing of cosmetics products and their ingredients that have been tested on animals for most of their human health effects, including acute toxicity, is prohibited. Nevertheless, any study dating from before this prohibition took effect is accepted for the safety assessment of cosmetics ingredients. The in vitro methods reported in the dossiers summited to the SCCS are here evaluated from the published reports issued by the scientific committee of the Directorate General of Health and Consumers (DG SANCO); responsible for the safety of cosmetics ingredients. The number of studies submitted to the SCCS that do not involve animals is still low and in general the safety of cosmetics ingredients is based on in vivo studies performed before the prohibition.

Design Process of Packaging Laboratory at Lappeenranta University of Technology

The layout design process of the packaging laboratory at Lappeenranta University of Technology is documented in this thesis. Layout planning methods are discussed in general. The systematic layout planning procedure is presented in more detail as it is utilised in the case of layout planning of the packaging laboratory. General demands for research laboratory are discussed both from the machine and product perspectives. The possibilities for commercial food processing in the laboratory are discussed from the point of view of foodstuff processing regulations and hygiene demands. The layout planning process is documented and different layout possibilities are presented. Different layout drafts are evaluated and one layout draft is developed to be the final layout of the packaging laboratory. Guideline for technical planning and implementation based on the final layout is given

Design and physicochemical stability studies of paediatric oral formulations of sildenafil

Personalized medicine is a challenging research area in paediatric treatments. Elaborating new paediatric formulations when no commercial forms are available is a common practice in pharmacy laboratories; among these, oral liquid formulations are the most common. But due to the lack of specialized equipment, frequently studies to assure the efficiency and safety of the final medicine cannot be carried out. Thus the purpose of this work was the development, characterization and stability evaluation of two oral formulations of sildenafil for the treatment of neonatal persistent pulmonary hypertension. After the establishment of a standard operating procedure (SOP) and elaboration, the physicochemical stability parameters appearance, pH, particle size, rheological behaviour and drug content of formulations were evaluated at three different temperatures for 90 days. Equally, prediction of long term stability, as well as, microbiological stability was performed. Formulations resulted in a suspension and a solution slightly coloured exhibiting fruity odour. Formulation I (suspension) exhibited the best physicochemical properties including Newtonian behaviour and uniformity of API content above 90% to assure an exact dosification process.

Motorways, tolls and road safety. Evidence from European Panel Data

The use of tolls is being widespread around the world. Its ability to fund infrastructure projects and to solve budget constraints have been the main rationale behind its renewed interest. However, less attention has been payed to the safety effects derived from this policy in a moment of increasing concern on road fatalities. Pricing best infrastructures shifts some drivers onto worse alternative roads usually not prepared to receive high traffic in comparable safety standards. In this paper we provide evidence of the existence of this perverse consequence by using an international European panel in a two way fixed effects estimation.

Autosimulaattoripeleihin soveltuvan kaksiakselisen liikealustan kehittäminen

Työssä kehitettiin kohtuuhintainen ja suorituskyvyltään riittävä autosimulaattoripelikäyttöön soveltuva liikealusta. Työssä tutustuttiin aluksi markkinoilla oleviin liikealustaratkaisuihin. Työssä selvitettiin myös liikealustaa koskevia turvallisuusmääräyksiä. Kehittäminen alkoi liikealustan vaatimusten määrittelyllä ja kuormituksien simuloinnilla. Runkorakenteet mitoitettiin kestämään simuloituja rasituksia. Liikealustan toimilaitteet valittiin simulointitulosten perusteella. Työssä suunniteltiin myös liikealustan ohjausjärjestelmä. Mekaanisien osien ja voimansiirron mitoittamisen jälkeen suoritettiin osien yksityiskohtainen suunnittelu. Alihankkijat valmistivat osat ja ne koottiin Älykkäiden koneiden laboratoriossa. Järjestelmän kokoamisen jälkeen viritettiin säätäjät ja testattiin liikealustan toimivuutta. Kehitettyä liikealustaa on käytetty muutamissa tapahtumissa. Asetetut tavoitteet saavutettiin ja liikealusta soveltuu kokemuksien perusteella hyvin rata-autosimulaattoripelien kanssa käytettäväksi.

Compliance of crane electrics with electrical safety standards and codes

Master’s thesis focuses on the questions of crane electrics compliance with electrical safety standards. Overview and short comparison of the world’s effective standards in the field is made in order to understand their demands. Basic concepts of a proper electrical circuit design are presented. Characteristics, construction and operation principles of overcurrent protective devices are studied in details. Electrics of the basic crane is designed according to the assumed customer’s demands, compliance with the requirements of the standards is checked. Solutions to achieve better compliance in some issues are proposed. Accent is made on the National Electrical Code (NEC) and standards by Underwriters Laboratories (UL) latests demands. Requirements of the International Electrotechnical Commission (IEC) are also taken into account.

Requirement management in nuclear power projects

Diplomityön tarkoituksena oli tutkia vaatimusten hallintaa suunnittelu- ja konsultointiyrityksen kannalta Suomen ydinvoimaprojekteissa keskittyen ydinturvallisuus- ja laatuvaatimuksiin. Ydinvoimaprojekteissa toimiminen on edellyttänyt menettelyohjeiden ja laatujärjestelmän uudelleen organisointia yrityksessä ja esiin on noussut haasteita liittyen muun muassa vaatimusten tunnistamiseen ja todentamiseen erityyppisissä ja erilaajuisissa projekteissa. Työ toteutettiin perehtymällä ydinvoimaan liittyvään lainsäädäntöön Suomessa, ohjeisiin ja standardeihin sekä haastattelemalla yrityksen omia asiantuntijoita. Viimeaikaisista sekä meneillään olevista projekteista kerättiin kokemuksia sekä arvioitiin ydinvoima projekteja varten laaditun projektin toteutusohjeen toimivuutta ja käytettävyyttä esimerkkiprojektin avulla. Suurimmiksi haasteiksi tunnistettiin lainsäädännöllisten vaatimusten, kuten ydinvoima- laitosohjeiden (YVL) muuttuminen ja tulkinnanvaraisuus sekä asiakkaiden perehtymät- tömyys Suomen lainsäädäntöön ja vaatimustasoon liittyen ydinturvallisuuteen. Työn tuloksena tunnistettiin hyviä vaatimusten hallintaan liittyviä projektinhallintaa ja ydin- turvallisuutta edistäviä asioita, kuten vaatimusten täsmentäminen jo sopimustasolla sekä niiden täyttymisen seuranta projektin aikana. Erillisen vaatimustietokannan luomista ydinvoimaprojekteja varten tutkittiin, mutta siitä luovuttiin teknisten vaatimusten osalta kannattamattomana, sillä standardien ja vaatimusten määrä kasvoi niin suureksi, että niiden hallitseminen vaatisi enemmän työtä kuin mitä projektien taso yleensä sallisi.

Military crisis management in the next decade (2020-2030) : inducing consent or relying on compliance?

The most outstanding conceptual challenge of modern crisis management is the principle of consent. It is not a problem only at the operational level - it challenges the entire decision-making structures of crisis management operations. In post-cold war times and especially in the 21st century, there has been a transition from peacekeeping with limited size and scope towards large and complex peace operations. This shift has presented peace operations with a dilemma. How to balance between maintaining consent for peace operations, whilst being able to use military force to coerce those attempting to wreck peace processes? To address such a dilemma, this research aims to promote understanding, on what can be achieved by military crisis management operations (peace support operations) in the next decade. The research concentrates on the focal research question: Should military components induce consent or rely on the compliance of conflicting parties in crisis management operations of the next decade (2020 – 2030)? The focus is on military – political strategic level considerations, and especially on the time before political decisions to commit to a crisis management operation. This study does not focus on which actor or organisation should intervene. The framework of this thesis derives from the so called ‘peacebuilding space’, the scope of peace operations and spoiler theory. Feasibility of both peace enforcement and peacekeeping in countering future risk conditions are analysed in this framework. This future-orientated qualitative research uses the Delphi-method with a panel of national and international experts. Citation analysis supports identification of relevant reference material, which consists of contemporary literature, the Delphi-questionnaires and interviews. The research process followed three main stages. In the first stage, plausible future scenarios and risk conditions were identified with the Delphi-panel. In the second stage, operating environments for peace support operations were described and consequent hypotheses formulated. In the third stage, these hypotheses were tested on the Delphi-panel. The Delphi-panel is sufficiently wide and diverse to produce plausible yet different insights. The research design utilised specifically military crisis management and peace operations theories. This produced various and relevant normative considerations. Therefore, one may argue that this research; which is based on accepted contemporary theory, hypotheses derived thereof and utilising an expert panel, contributes to the realm of peace support operations. This research finds that some degree of peace enforcement will be feasible and necessary in at least the following risk conditions: failed governance; potential spillover of ethnic, religious, ideological conflict; vulnerability of strategic chokepoints and infrastructures in ungoverned spaces; as well as in territorial and extra-territorial border disputes. In addition, some form of peace enforcement is probably necessary in risk conditions pertaining to: extremism of marginalised groups; potential disputes over previously uninhabited and resource-rich territories; and interstate rivalry. Furthermore, this research finds that peacekeeping measures will be feasible and necessary in at least risk conditions pertaining to: potential spillover of ethnic, religious, ideological conflict; uncontrolled migration; consequences from environmental catastrophes or changes; territorial and extra-territorial border disputes; and potential disputes over previously uninhabited and resource-rich territories. These findings are all subject to both generic and case specific preconditions that must exist for a peace support operation. Some deductions could be derived from the research findings. Although some risk conditions may appear illogical, understanding the underlying logic of a conflict is fundamental to understanding transition in crisis management. Practitioners of crisis management should possess cognizance of such transition. They must understand how transition should occur from threat to safety, from conflict to stability – and so forth. Understanding transition is imperative for managing the dynamic evolution of preconditions, which begins at the outset of a peace support operation. Furthermore, it is pertinent that spoilers are defined from a peace process point of view. If spoilers are defined otherwise, it changes the nature of an operation towards war, where the logic is breaking the will of an enemy - and surrender. In peace support operations, the logic is different: actions towards spoilers are intended to cause transition towards consent - not defeat. Notwithstanding future developments, history continues to provide strategic education. However, the distinction is that the risk conditions occur in novel futures. Hence, lessons learned from the past should be fitted to the case at hand. This research shows compelling evidence that swaying between intervention optimism and pessimism is not substantiated. Both peace enforcement and peacekeeping are sine qua non for successful military crisis management in the next decade.

Formal development and quantitative verification of dependable systems

-

Design and validation of stateful composite RESTful web services

A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.