Maritime Safety in the Gulf of Finland. Review on Policy Instruments

Suomenlahden lisääntynyt meriliikenne on herättänyt huolta meriliikenteen turvallisuuden tasosta, ja erityisesti Venäjän öljyviennin kasvu on lisännyt öljyonnettomuuden todennäköisyyttä Suomenlahdella. Erilaiset kansainväliset, alueelliset ja kansalliset ohjauskeinot pyrkivät vähentämään merionnettomuuden riskiä ja meriliikenteen muita haittavaikutuksia. Tämä raportti käsittelee meriturvallisuuden yhteiskunnallisia ohjauskeinoja: ohjauskeinoja yleisellä tasolla, meriturvallisuuden keskeisimpiä säätelijöitä, meriturvallisuuden ohjauskeinoja ja meriturvallisuuspolitiikan tulevaisuuden näkymiä, ohjauskeinojen tehokkuutta ja nykyisen meriturvallisuuden ohjausjärjestelmän heikkouksia. Raportti on kirjallisuuskatsaus meriturvallisuuden yhteiskunnalliseen sääntelyn rakenteeseen ja tilaan erityisesti Suomenlahden meriliikenteen näkökulmasta. Raportti on osa tutkimusprojektia ”SAFGOF - Suomenlahden meriliikenteen kasvunäkymät 2007 - 2015 ja kasvun vaikutukset ympäristölle ja kuljetusketjujen toimintaan” ja sen työpakettia 6 ”Keskeisimmät riskit ja yhteiskunnalliset vaikutuskeinot”. Yhteiskunnalliset ohjauskeinot voidaan ryhmitellä hallinnollisiin, taloudellisiin ja tietoohjaukseen perustuviin ohjauskeinoihin. Meriturvallisuuden edistämisessä käytetään kaikkia näitä, mutta hallinnolliset ohjauskeinot ovat tärkeimmässä asemassa. Merenkulun kansainvälisen luonteen vuoksi meriturvallisuuden sääntely tapahtuu pääosin kansainvälisellä tasolla YK:n ja erityisesti Kansainvälisen merenkulkujärjestön (IMO) toimesta. Lisäksi myös Euroopan Unionilla on omaa meriturvallisuuteen liittyvää sääntelyä ja on myös olemassa muita alueellisia meriturvallisuuden edistämiseen liittyviä elimiä kuten HELCOM. Joitakin meriturvallisuuden osa-alueita säädellään myös kansallisella tasolla. Hallinnolliset meriturvallisuuden ohjauskeinot sisältävät aluksen rakenteisiin ja varustukseen, alusten kunnon valvontaan, merimiehiin ja merityön tekemiseen sekä navigointiin liittyviä ohjauskeinoja. Taloudellisiin ohjauskeinoihin kuuluvat esimerkiksi väylä- ja satamamaksut, merivakuutukset, P&I klubit, vastuullisuus- ja korvauskysymykset sekä taloudelliset kannustimet. Taloudellisten ohjauskeinojen käyttö meriturvallisuuden edistämiseen on melko vähäistä verrattuna hallinnollisten ohjauskeinojen käyttöön, mutta niitä voitaisiin varmasti käyttää enemmänkin. Ongelmana taloudellisten ohjauskeinojen käytössä on se, että ne kuuluvat pitkälti kansallisen sääntelyn piiriin, joten alueellisten tai kansainvälisten intressien edistäminen taloudellisilla ohjauskeinoilla voi olla hankalaa. Tieto-ohjaus perustuu toimijoiden vapaaehtoisuuteen ja yleisen tiedotuksen lisäksi tieto-ohjaukseen sisältyy esimerkiksi vapaaehtoinen koulutus, sertifiointi tai meriturvallisuuden edistämiseen tähtäävät palkinnot. Poliittisella tasolla meriliikenteen aiheuttamat turvallisuusriskit Suomenlahdella on otettu vakavasti ja paljon työtä tehdään eri tahoilla riskien minimoimiseksi. Uutta sääntelyä on odotettavissa etenkin liittyen meriliikenteen ympäristövaikutuksiin ja meriliikenteen ohjaukseen kuten meriliikenteen sähköisiin seurantajärjestelmiin. Myös inhimilliseen tekijän merkitykseen meriturvallisuuden kehittämisessä on kiinnitetty lisääntyvissä määrin huomiota, mutta inhimilliseen tekijän osalta tehokkaiden ohjauskeinojen kehittäminen näyttää olevan haasteellista. Yleisimmin lääkkeeksi esitetään koulutuksen kehittämistä. Kirjallisuudessa esitettyjen kriteereiden mukaan tehokkaiden ohjauskeinojen tulisi täyttää seuraavat vaatimukset: 1) tarkoituksenmukaisuus – ohjauskeinojen täytyy olla sopivia asetetun tavoitteen saavuttamiseen, 2) taloudellinen tehokkuus – ohjauskeinon hyödyt vs. kustannukset tulisi olla tasapainossa, 3) hyväksyttävyys – ohjauskeinon täytyy olla hyväksyttävä asianosaisten ja myös laajemman yhteiskunnan näkökulmasta katsottuna, 4) toimeenpano – ohjauskeinon toimeenpanon pitää olla mahdollista ja sen noudattamista täytyy pystyä valvomaan, 5) lateraaliset vaikutukset – hyvällä ohjauskeinolla on positiivisia seurannaisvaikutuksia muutoinkin kuin vain ohjauskeinon ensisijaisten tavoitteiden saavuttaminen, 6) kannustin ja uuden luominen – hyvä ohjauskeino kannustaa kokeilemaan uusia ratkaisuja ja kehittämään toimintaa. Meriturvallisuutta koskevaa sääntelyä on paljon ja yleisesti ottaen merionnettomuuksien lukumäärä on ollut laskeva viime vuosikymmenien aikana. Suuri osa sääntelystä on ollut tehokasta ja parantanut turvallisuuden tasoa maailman merillä. Silti merionnettomuuksia ja muita vaarallisia tapahtumia sattuu edelleen. Nykyistä sääntelyjärjestelmää voidaan kritisoida monen asian suhteen. Kansainvälisen sääntelyn aikaansaaminen ei ole helppoa: prosessi on yleensä hidas ja tuloksena voi olla kompromissien kompromissi. Kansainvälinen sääntely on yleensä reaktiivista eli ongelmakohtiin puututaan vasta kun jokin onnettomuus tapahtuu sen sijaan että se olisi proaktiivista ja pyrkisi puuttumaan ongelmakohtiin jo ennen kuin jotain tapahtuu. IMO:n työskentely perustuu kansallisvaltioiden osallistumiseen ja sääntelyn toimeenpano tapahtuu lippuvaltioiden toimesta. Kansallisvaltiot ajavat IMO:ssa pääasiallisesti omia intressejään ja sääntelyn toimeenpanossa on suuria eroja lippuvaltioiden välillä. IMO:n kyvyttömyys puuttua havaittuihin ongelmiin nopeasti ja ottaa sääntelyssä huomioon paikallisia olosuhteita on johtanut siihen, että esimerkiksi Euroopan Unioni on alkanut itse säädellä meriturvallisuutta ja että on olemassa sellaisia alueellisia erityisjärjestelyjä kuin PSSA (particularly sensitive sea area – erityisen herkkä merialue). Merenkulkualalla toimii monenlaisia yrityksiä: toisaalta yrityksiä, jotka pyrkivät toimimaan turvallisesti ja kehittämään turvallisuutta vielä korkeammalle tasolle, ja toisaalta yrityksiä, jotka toimivat niin halvalla kuin mahdollista, eivät välitä turvallisuusseikoista, ja joilla usein on monimutkaiset ja epämääräiset omistusolosuhteet ja joita vahingon sattuessa on vaikea saada vastuuseen. Ongelma on, että kansainvälisellä merenkulkualalla kaikkien yritysten on toimittava samoilla markkinoilla. Vastuuttomien yritysten toiminnan mahdollistavat laivaajat ja muut alan toimijat, jotka suostuvat tekemään yhteistyötä niiden kanssa. Välinpitämätön suhtautuminen turvallisuuteen johtuu osaksi myös merenkulun vanhoillisesta turvallisuuskulttuurista. Verrattaessa meriturvallisuuden sääntelyjärjestelmää kokonaisuutena tehokkaiden ohjauskeinoihin kriteereihin, voidaan todeta, että monien kriteerien osalta nykyistä järjestelmää voidaan pitää tehokkaana ja onnistuneena. Suurimmat ongelmat lienevät sääntelyn toimeenpanossa ja ohjauskeinojen kustannustehokkuudessa. Lippuvaltioiden toimeenpanoon perustuva järjestelmä ei toimi toivotulla tavalla, josta mukavuuslippujen olemassa olo on selvin merkki. Ohjauskeinojen, sekä yksittäisten ohjauskeinojen että vertailtaessa eri ohjauskeinoja keskenään, kustannustehokkuutta on usein vaikea arvioida, minkä seurauksena ohjauskeinojen kustannustehokkuudesta ei ole saatavissa luotettavaa tietoa ja tuloksena voi olla, että ohjauskeino on käytännössä pienen riskin eliminoimista korkealla kustannuksella. Kansainvälisen tason meriturvallisuus- (ja merenkulku-) politiikan menettelytavoiksi on ehdotettu myös muita vaihtoehtoja kuin nykyinen järjestelmä, esimerkiksi monitasoista tai polysentristä hallintojärjestelmää. Monitasoisella hallintojärjestelmällä tarkoitetaan järjestelmää, jossa keskushallinto on hajautettu sekä vertikaalisesti alueellisille tasoille että horisontaalisesti ei-valtiollisille toimijoille. Polysentrinen hallintojärjestelmä menee vielä askeleen pidemmälle. Polysentrinen hallintojärjestelmä on hallintotapa, jonka puitteissa kaikentyyppiset toimijat, sekä yksityiset että julkiset, voivat osallistua hallintoon, siis esimerkiksi hallitukset, edunvalvontajärjestöt, kaupalliset yritykset jne. Kansainvälinen lainsäädäntö määrittelee yleiset tasot, mutta konkreettiset toimenpiteet voidaan päättää paikallisella tasolla eri toimijoiden välisessä yhteistyössä. Tämän tyyppisissä hallintojärjestelmissä merenkulkualan todellinen, kansainvälinen mutta toisaalta paikallinen, toimintaympäristö tulisi otetuksi paremmin huomioon kuin järjestelmässä, joka perustuu kansallisvaltioiden keskenään yhteistyössä tekemään sääntelyyn. Tällainen muutos meriturvallisuuden hallinnassa vaatisi kuitenkin suurta periaatteellista suunnanmuutosta, jollaisen toteutumista ei voi pitää kovin todennäköisenä ainakaan lyhyellä tähtäimellä.

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.

Probiotic interventions in infancy: Benefit and Safety Assessment of Extended Applications

Immaturity of the gut barrier system in the newborn has been seen to underlie a number of chronic diseases originating in infancy and manifesting later in life. The gut microbiota and breast milk provide the most important maturing signals for the gut-related immune system and reinforcement of the gut mucosal barrier function. Recently, the composition of the gut microbiota has been proposed to be instrumental in control of host body weight and metabolism as well as the inflammatory state characterizing overweight and obesity. On this basis, inflammatory Western lifestyle diseases, including overweight development, may represent a potential target for probiotic interventions beyond the well documented clinical applications. The purpose of the present undertaking was to study the efficacy and safety of perinatal probiotic intervention. The material comprised two ongoing, prospective, double-blind NAMI (Nutrition, Allergy, Mucosal immunology and Intestinal microbiota) probiotic interventions. In the mother-infant nutrition and probiotic study altogether 256 women were randomized at their first trimester of pregnancy into a dietary intervention and a control group. The intervention group received intensive dietary counselling provided by a nutritionist, and were further randomized at baseline, double-blind, to receive probiotics (Lactobacillus rhamnosus GG and Bifidobacterium lactis) or placebo. The intervention period extended from the first trimester of pregnancy to the end of exclusive breastfeeding. In the allergy prevention study altogether 159 women were randomized, double-blind, to receive probiotics (Lactobacillus rhamnosus GG) or placebo 4 weeks before expected delivery, the intervention extending for 6 months postnatally. Additionally, patient data on all premature infants with very low birth weight (VLBW) treated in the Department of Paediatrics, Turku University Hospital, during the years 1997 - 2008 were utilized. The perinatal probiotic intervention reduced the risk of gestational diabetes mellitus (GDM) in the mothers and perinatal dietary counselling reduced that of fetal overgrowth in GDM-affected pregnancies. Early gut microbiota modulation with probiotics modified the growth pattern of the child by restraining excessive weight gain during the first years of life. The colostrum adiponectin concentration was demonstrated to be dependent on maternal diet and nutritional status during pregnancy. It was also higher in the colostrum received by normal-weight compared to overweight children at the age of 10 years. The early perinatal probiotic intervention and the postnatal probiotic intervention in VLBW infants were shown to be safe. To conclude, the findings in this study provided clinical evidence supporting the involvement of the initial microbial and nutritional environment in metabolic programming of the child. The manipulation of early gut microbial communities with probiotics might offer an applicable strategy to impact individual energy homeostasis and thus to prevent excessive body-weight gain. The results add weight to the hypothesis that interventions aiming to prevent obesity and its metabolic consequences later in life should be initiated as early as during the perinatal period.

Defects in Persistent Luminescence Materials

Persistent luminescence materials can store energy from solar radiation or artificial lighting and release it over a period of several hours without a continuous excitation source. These materials are widely used to improve human safety in emergency and traffic signalization. They can also be utilized in novel applications including solar cells, medical diagnostics, radiation detectors and structural damage sensors. The development of these materials is currently based on methods based on trial and error. The tailoring of new materials is also hindered by the lack of knowledge on the role of their intrinsic and extrinsic lattice defects in the appropriate mechanisms. The goal of this work was to clarify the persistent luminescence mechanisms by combining ab initio density functional theory (DFT) calculations with selected experimental methods. The DFT approach enables a full control of both the nature of the defects and their locations in the host lattice. The materials studied in the present work, the distrontium magnesium disilicate (Sr₂MgSi₂O₇) and strontium aluminate (SrAl₂O₄) are among the most efficient persistent luminescence hosts when doped with divalent europium Eu²⁺ and co-doped with trivalent rare earth ions R³⁺ (R: Y, La-Nd, Sm, Gd-Lu). The polycrystalline materials were prepared with the solid state method and their structural and phase purity was confirmed by X-ray powder diffraction. Their local crystal structure was studied by high-resolution transmission electron microscopy. The crystal and electronic structure of the nondoped as well as Eu²⁺, R^2+/3+ and other defect containing materials were studied using DFT calculations. The experimental trap depths were obtained using thermoluminescence (TL) spectroscopy. The emission and excitation of Sr₂MgSi₂O₇:Eu²+,Dy³⁺ were also studied. Significant modifications in the local crystal structure due to the Eu²⁺ ion and lattice defects were found by the experimental and DFT methods. The charge compensation effects induced by the R³⁺ co-doping further increased the number of defects and distortions in the host lattice. As for the electronic structure of Sr₂MgSi₂O₇ and SrAl₂O₄, the experimental band gap energy of the host materials was well reproduced by the calculations. The DFT calculated Eu²⁺ and R^2+/3+ 4fn as well as 4f^n-15d¹ ground states in the Sr₂MgSi₂O₇ band structure provide an independent verification for an empirical model which is constructed using rather sparse experimental data for the R³⁺ and especially the R²⁺ ions. The intrinsic and defect induced electron traps were found to act together as energy storage sites contributing to the materials’ efficient persistent luminescence. The calculated trap energy range agreed with the trap structure of Sr₂MgSi₂O₇ obtained using TL measurements. More experimental studies should be carried out for SrAl₂O₄ to compare with the DFT calculations. The calculated and experimental results show that the electron traps created by both the rare earth ions and vacancies are modified due to the defect aggregation and charge compensation effects. The relationships between this modification and the energy storage properties of the solid state materials are discussed.

Establishment of a health and safety management system according to the OHSAS 18001 standard

The thesis develops guidelines for the implementation of the health and safety management system according to the OHSAS 18001 standard, as well as the feasible threat analysis, project proposal schedule, future system quality improvements and organizational change evaluation. The theoretical part clarifies determination of occupational health and safety, its management system, the OHSAS 18001 standard and integrated management system compounded of triple ISO 14001, ISO 9001 and OHSAS 18001 standards. The literature includes such important aspects as human factor, organizational policies, possible benefits, threats, organizational safety culture, Deming’s quality improvement cycle, system implementation, maintenance and cost matters. The empirical part demonstrates real-life situation by using Andritz Pulp & Paper Oy as a case study. Prior the thesis proposal, Andritz Group is analysed including separate business areas, acquisition and integration strategies, current status of the health and safety management and parallel experiences of the largest business area Andritz Hydro. The proposal is aimed at improving the current health and safety system for the permanent and sub-contracted employees at Andritz Pulp & Paper both in Finland and in various projects globally.

Safety study of hydrogen peroxide direct synthesis

Kandidaatintyön johdantokappaleessa esitellään vetyperoksidi ja mihin sitä käytetään teollisuudessa. Työssä vertaillaan antrakinoniprosessia ja suoraa prosessia sekä selvitetään nykyisin enemmän vetyperoksidituotantoon käytetyn antrakinoniprosessin ongelmakohdat ja osoitetaan, miksi suora synteesi vetyperoksidin tuotannossa olisi parempi vaihtoehto. Kandidaatintyön käsittelee suurilta osin turvallisuusongelmia, joita esiintyy suoran synteesin yhteydessä. Kirjallisuudesta on etsitty ratkaisuja näihin ongelmiin, kuten membraaniprosessin käyttöä räjähdysvaaran välttämiseksi. Pienemmän reaktorin eli ns. mikroreaktorin käyttö tuo mukanaan monia etuja vetyperoksidin tuotantoon. Tällöin prosessi on turvallisempi ja sitä on helpompi hallita. Mikroreaktorissa voidaan käyttää korkeampia lämpötiloja ja paineita kuin makroreaktorilla ilman, että räjähdysvaara prosessissa kasvaisi. Mikroreaktorin sisällä olevat mikrokanavat luovat turvallisen ympäristön synteesille. Aspen plus – simulointiohjelmalla mallinnettiin ja simulointiin suoran prosessin kriittisiä virtoja mikroreaktorissa. Tarkoituksena oli löytää virrat, joissa kulkee mahdollisesti räjähtävä kaasuseos. Kaasumaiset prosessivirrat ovat kriittisimmät vetyperoksidin suorassa synteesissä, koska ne aiheuttavat todennäköisemmin räjähdyksen kuin nestemäiset prosessivirrat. Kaikkein eniten prosessiturvallisuutta uhkaavat ainevirrat ennen ja jälkeen mikroreaktoria.

Productivity and Services – Safety Telephone Services for the Elderly

Previous research on productivity is often associated with manufacturing or uses manufacturing definitions of productivity. Marketing research on services has not been satisfied with the manufacturing definitions. No universal definition for service productivity exists. The lack of a universal definition highlights the complexity entailed in the concept of productivity. The objective of this study was to investigate service productivity in situations, where traditional ways are in some cases even not possible or are not enough. In one definition of the productivity of service organisations there is the efficiency of the organisation on the input side and on the output side the customers’ perceived quality or value-in-use. To learn about value-in-use, many methods have been developed. A common practice is to make customer opinion surveys in the form of customer questionnaires and interviews. However, customers cannot always be asked directly, for example, because of impaired cognitive abilities. Such cases include the elderly and children. Furthermore, customer opinion surveys are time consuming. In addition, customers do not always know what kind of services they would benefit from. For the empirical part of the study, a business area was identified where traditional ways of measuring value-in-use are difficult or in some cases even not possible. This business area is safety telephone services. These services are most often used by the elderly. The way to define value-in-use here was to assess how well the services offered met customer expectations. Comparing the services customers asked for and the services provided to them indicated whether customer expectations were met. This study showed that customers had their ideas concerning the contents of the services but many times the services provided did not meet these expectations. Organisational efficiency aspirations can decrease customers’ value-in-use. This study found a solution, in which increasing organisational efficiency would go hand-in-hand with increasing customers’ value-in-use; the result being that the organisations’ needs and the service users’ expectations were in line. Value creation for customers produced organisational efficiency and thus increased productivity. In this study, customer expectations were observed by means of wellness technology. With the help of modern technology, customer expectations can be followed quickly and easily and customers can co-create with the organisation. This type of an approach could be useful even in the development of other services for other ages and in different contexts. If a service organisation decreases the number of personnel and, at the same time, tries to offer services to the same or a larger clientele, customers easily notice the change, which is often negative. To avoid harmful decrease in value-in-use, limitations to the aspiration of efficiency should be implemented – one of such is that the organisation is required to meet certain quality standards defined by experts. The aim is to secure that, as a result of efficiency aspirations in the organisation, the quality of the service offerings does not diminish below mutually agreed standards. Traditionally, when productivity in services has been estimated, organisational efficiency has not been combined with both customer expectations and an expert assessment of quality. This study contributes with novel thinking entitled ‘Relationship Management of the Elderly’. This study handles productivity, expert defined quality and value-in-use in an organisational context, which is practically untouched in previous research studies.

Combination of pulsed corona discharge with TiO2 photocatalysis: verification of hypothesis

The oxidation potential of pulsed corona discharge concerning aqueous impurities is limited in respect to certain refractory compounds. This may be enhanced in combination of the discharge with catalysis/photocatalysis as developed in homogeneous gas-phase reactions. The objective of the work consists of testing the hypothesis of oxidation potential enhancement in combination of the discharge with TiO2 photocatalysis applied to aqueous solutions of refractory oxalate. Meglumine acridone acetate was included for meeting the practical needs. The experimental research was undertaken into oxidation of aqueous solutions under conditions of various target pollutant concentrations, pH and the pulse repetition rate with plain electrodes and the electrodes with TiO2 attached to their surface. The results showed no positive influence of the photocatalyst, the pollutants were oxidized with the rate identical within the accuracy of measurements. The possible explanation for the observed inefficiency may include low UV irradiance, screening effect of water and generally low oxidation rate in photocatalytic reactions. Further studies might include combination of electric discharge with ozone decomposition/radical formation catalysts.

Overview on the Cost-effectiveness of Maritime Safety Policy Instruments

Maritime safety is an issue that has gained a lot of attention in the Baltic Sea area due to the dense maritime traffic and transportation of oil in the area. Lots of effort has been paid to enhance maritime safety in the area. The risk exists that excessive legislation and other requirements mean more costs for limited benefit. In order to utilize both public and private resources efficiently, awareness is required of what kind of costs maritime safety policy instruments cause and whether the costs are in relation to benefits. The aim of this report is to present an overview of the cost-effectiveness of maritime safety policy instruments focusing on the cost aspect: what kind of costs maritime safety policy causes, to whom, what affects the cost-effectiveness and how cost-effectiveness is studied. The study is based on a literature review and on the interviews of Finnish maritime experts. The results of this study imply that cost-effectiveness is a complicated issue to evaluate. There are no uniform practices for which costs and benefits should be included in the evaluation and how they should be valued. One of the challenges is how to measure costs and benefits during the course of a longer time period. Often a lack of data erodes the reliability of evaluation. In the prevention of maritime accidents, costs typically include investments in ship structures or equipment, as well as maintenance and labor costs. Also large investments may be justifiable if they respectively provide significant improvements to maritime safety. Measures are cost-effective only if they are implemented properly. Costeffectiveness is decreased if a measure causes overlapping or repetitious work. Costeffectiveness is also decreased if the technology isn’t user-friendly or if it is soon replaced with a new technology or another new appliance. In future studies on the cost-effectiveness of maritime safety policy, it is important to acknowledge the dependency between different policy instruments and the uncertainty of the factors affecting cost-effectiveness. The costs of a single measure are rarely relatively significant and the effect of each measure on safety tends to be positive. The challenge is to rank the measures and to find the most effective combination of different policy instruments. The greatest potential offered for the analysis of cost-effectiveness of individual measures is their implementation in clearly defined risk situations, in which different measures are truly alternative to each other. Overall, maritime safety measures do not seem to be considered burdening for the shipping industry in Finland at the moment. Generally actors in the Finnish shipping industry seem to find maintaining a high safety level important and act accordingly.

Maritime safety in the Gulf of Finland. Evaluation of the regulatory system

Growing traffic is believed to increase the risk of an accident in the Gulf of Finland. As the consequences of a large oil accident would be devastating in the vulnerable sea area, accident prevention is performed at the international, regional and national levels. Activities of shipping companies are governed with maritime safety policy instruments, which can be categorised into regulatory, economic and information instruments. The maritime regulatory system has been criticised for being inefficient because it has not been able to eliminate the violations that enable accidents. This report aims to discover how maritime governance systems or maritime safety policy instruments could be made more efficient in the future, in order to improve the maritime safety level. The results of the research are based on a literature review and nine expert interviews, with participants from shipping companies, interest groups and authorities. Based on the literature and the interviews, a suggestion can be made that in the future, instead of implementing new policy instruments, maritime safety risks should be eliminated by making the existing system more efficient and by influencing shipping companies’ safety culture and seafarers’ safety related attitudes. Based on this research, it can be stated that the development of maritime safety policy instruments should concentrate on harmonisation, automation and increasing national and cross-border cooperation. These three tasks could be primarily accomplished by developing the existing technology. Human error plays a role in a significant number of maritime accidents. Because of this, improving companies’ safety culture and voluntary activities that go beyond laws are acknowledged as potential ways of improving maritime safety. In the future, maritime regulatory system should be developed into a direction where the private sector has better possibilities to take part in decision-making.

A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

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.

Dam safety guide

A new Dam Safety Act (494/2009) came into force on 1st October 2009 and a Government Decree on Dam Safety (319/2010) on 5th May 2010. This Dam Safety Guide replaces the Dam Safety Code of Practice (Publication of the Ministry of Agriculture and Forestry 7/1997), removed from circulation on 1st October 2009. The Dam Safety Guide is not binding on the dam owner; the purpose is to complement and elucidate the relevant law and and decree through examples and descriptions. The Guide takes up questions concerning dam design, for instance hydrological dimensioning and technical safety requirements, dam construction and use, the dam break hazard analysis and the dam owner’s emergency action plan, maintenance, use, monitoring as well as the annual and periodic inspections. Dams are classified according to the hazard they pose into class 1, 2 or 3 dams. The classification is not needed, if, according to the dam safety authority, the dam poses no danger. The owner of a classified dam must prepare a monitoring programme, to be approved by decision of the dam safety authority. To establish the hazard caused by a dam, the owner of a class 1 dam must prepare an analysis of the dam hazard to humans and property as well as to the environment. The dam safety authority may also require a dam break hazard analysis for a dam other than class 1 dam if deemed necessary for classification. The owner of a class 1 dam must prepare a plan of measures in case of emergency or operational failure. The plan shall present the dam owner’s state of preparedness to act on their own initiative in the situations described above. In each case, the rescue authorities make a separate assessment for the need to prepare a plan as set out in the Rescue Act. The dam owner must provide the information specified in the Dam Safety Decree to be entered into the dam safety information system. The dam safety authority and the owner of the dam must keep up-to-date printouts in their own dam safety files from the information system for each dam as well as other important documents connected with dam safety to ensure that these are readily available in case of disturbance.