Subsystem Testing of Message Guided State Machines Using a Simulator Framework

Simulaattorit ovat yksinkertaistettuja malleja tietyistä järjestelmän osioista. Niitä käytetään mallintamaan testattavan osion ympärillä olevien muiden osioiden ulkoista toimintaa, jotta testattavalle osiolle saadaan oikeanlainen toimintaympäristö aikaiseksi. Tilakoneita käytetään mallintamaan ohjelmistojen tai niiden osien toimintaa. Sanomaohjatuissa tilakoneissa tilojen vaihdot perustuvat saapuviin sanomiin. Tässä työssä esitellään erään ohjelmiston alijärjestelmän testaamisessa käytettävä arkkitehtuuri, joka perustuu suurelta osin simulaattoreiden käyttöön muiden alijärjestelmien mallintamisessa. Testattava ohjelmisto koostuu enimmäkseen tilakoneista, jotka vaihtavat keskenään sanomia ja ohjaavat näin toistensa tilasiirtymiä. Työn testausympäristö on suunniteltu juuri tämänkaltaisen ohjelmiston testaamiseen. Työssä esiteltävää testausympäristöä myöskin käytettiin useamman kuukauden ajan ja se todettiin toimivaksi. Joitakin testausympäristön käyttöohjeita, käyttökokemuksia sekä siihen liittyviä parannusehdotuksia käydään läpi työn loppuosassa. Erityisesti havaittiin miten tärkeää on testata implementaatiota jo luokka tasolla ennen alijärjestelmä tason testaukseen siirtymistä sekä päädyttiin siihen, että suunnitteluvaiheen pitäisi olla lähemmin liitoksissa alijärjestelmätestaukseen.

Design of User Authentication System for Multi-operator wireless LANs

Langattomat lähiverkot ovat viime vuosikymmeninä saavuttaneet suuren suosion. Tässä työssä käsitellään käyttäjien todentamisjärjestelmän suunnittelua ja kehitystä langattomaan monioperaattoriverkkoon. Langattomassa monioperaattoriverkossa käyttäjillä on mahdollisuus käyttää eri operaattoreiden palveluita. Aluksi käsitellään olemassa olevia todentamismenetelmiä ja -järjestelmiä. minkä jälkeen kuvaillaan todentamisjärjestelmä langattomille monioperaattoriverkoille. Todentamisjärjestelmän ratkaisuvaihtoehtoja esitellään kaksi, niin sanotut moni- istunto - ja yksittäisistuntomalli. Moni-istuntomalli on normaali lähestymistapa käyttäjien todentamiseen tietokonejärjestelmissä. Siinä käyttäjän pitää tunnistautua ja todentaa itsensä jokaiselle verkon palvelulle erikseen. Yksittäisistuntomallissa pyritään parempaan luotettavuuteen ja käytettävyyteen. Siinä käyttäjä todentaa itsensä vain kerran ja voi sen jälkeen päästä useisiin palveluihin. Työn loppuosassa kuvaillaan suunnitellun järjestelmän toteutusta. Lisäksi ehdotetaan vaihtoehtoisia toteutustapoja, analysoidaan järjestelmän heikkouksia ja kerrotaan jatkokehitysmahdoillisuuksista.

Adding Value to Message Mediation in Multioperator MMS Network Architecture

Mobiiliviestintään käytetystä lyhytsanomapalvelusta (Short Messaging Service, SMS) on tullut ilmiömäinen menestys. SMS-palvelulle on tulossa seuraaja, jota kutsutaan monimediaviestipalveluksi (Multimedia Messaging Service, MMS). MMS-viestit voivat sisältää useita erilaisia kuva-, ääni- ja videoformaatteja. Vaikka yhteensopimattomia SMS-keskuksia yhdistämään tarvitaan Intellitel Messaging Gatewayn kaltaisia sanomanvälitystuotteita, ei tällainen SMS-keskeinen lähestyminen sanomanvälitykseen ole MMS-kykyisen sanomanvälittimen kannalta järkevä ratkaisu. MMS-kykyisen sanomanvälittimen täytyy lisätä arvoa itse sanomanvälitysprosessiin, jotta tuotteesta tulisi menestyksekäs. Tässä työssä käsitellään MMS-sanomanvälityksen ongelmallisuuksia. Erityisesti painotetaan MMS-kykyisen sanomanvälittimen kehittämistä olemassaolevasta SMS-sanomanvälitintuotteesta, sekä selvitetään syitä arvonlisäyksen välttämättömyydelle. Työssä esitetään myös erilaisia arvonlisäystapoja MMS-sanomanvälitykseen. Eräitä esitetyistä arvonlisäystavoista käytetään käytännön osassa toteutetussa Nokian MMS-keskuksen MM7/VAS-rajapintaan kytkeytymään kykenevässä sanomanvälityskomponentissa.

Split message-based anonymity for JXTA applications

JXTA is an open peer-to-peer (P2P) protocols specification that, in its about 10 years of history, has slowly evolved to appeal to a broad set of applications. As part of this process,some long awaited security improvements have been included in the latest versions. However, under some contexts, even more advanced security requirements should be met, such as anonymity. Several approaches exist to deploy anonymity in P2P networks, but no perfect solution exists. Even though path-based approaches are quite popular, it is considered that, in dynamicgroups, using a split message-based one is better. In this work, we propose an anonymity service for JXTA using such approach. The proposal takes advantage JXTA's core services, in a manner so that it can be easily integrated to existing end applications and services.

Authentication and authorization service for a community network

Wireless community networks became popular in uniting people with common interests. This thesis presents authentication and authorization service for a wireless community network using captive portal approach including ability to authenticate clients from associated networks thereby combining multiple communities in a syndicate. The system is designed and implemented to be reliable, scalable and flexible. Moreover, the result includes software management system, which automatically performs software updates at network’s access points. Future development of the system can be concentrated on an improvement of the software management system.

Transforming Maritime Safety Culture. Evaluation of the impacts of the ISM Code on maritime safety culture in Finland

The purpose of the METKU Project (Development of Maritime Safety Culture) is to study how the ISM Code has influenced the safety culture in the maritime industry. This literature review is written as a part of the Work Package 2 which is conducted by the University of Turku, Centre for Maritime Studies. The maritime traffic is rapidly growing in the Baltic Sea which leads to a growing risk of maritime accidents. Particularly in the Gulf of Finland, the high volume of traffic causes a high risk of maritime accidents. The growing risks give us good reasons for implementing the research project concerning maritime safety and the effectiveness of the safety measures, such as the safety management systems. In order to reduce maritime safety risks, the safety management systems should be further developed. The METKU Project has been launched to examine the improvements which can be done to the safety management systems. Human errors are considered as the most important reason for maritime accidents. The international safety management code (the ISM Code) has been established to cut down the occurrence of human errors by creating a safety-oriented organizational culture for the maritime industry. The ISM Code requires that a company should provide safe practices in ship operation and a safe working environment and establish safeguards against all identified risk. The fundamental idea of the ISM Code is that companies should continuously improve safety. The commitment of the top management is essential for implementing a safety-oriented culture in a company. The ISM Code has brought a significant contribution to the progress of maritime safety in recent years. Shipping companies and ships’ crews are more environmentally friendly and more safety-oriented than 12 years ago. This has been showed by several studies which have been analysed for this literature research. Nevertheless, the direct effect and influence of the ISM Code on maritime safety could not be isolated very well. No quantitative measurement (statistics/hard data) could be found in order to present the impacts of the ISM Code on maritime safety. In this study it has been discovered that safety culture has emerged and it is developing in the maritime industry. Even though the roots of the safety culture have been established there are still serious barriers to the breakthrough of the safety management. These barriers could be envisaged as cultural factors preventing the safety process. Even though the ISM Code has been effective over a decade, the old-established behaviour which is based on the old day’s maritime culture still occurs. In the next phase of this research project, these cultural factors shall be analysed in regard to the present safety culture of the maritime industry in Finland.

Organic chicken product authentication: state-of-the-art and future perspectives

Organic food products are highly susceptible to fraud. Currently, administrative controls are conducted to detect fraud, but having an analytical tool able to verify the organic identity of food would be very supportive. The state-of-the-art in food authentication relies on fingerprinting approaches that find characteristic analytical patterns to unequivocally identify authentic products. While wide research on authentication has been conducted for other commodities, the authentication of organic chicken products is still in its infancy. Challenges include finding fingerprints to discriminate organic from conventional products, and recruiting sample sets that cover natural variability. Future research might be oriented towards developing new authentication models for organic feed, eggs and chicken meat, keeping models updated and implementing them into regulations. Meanwhile, these models might be very supportive to the administrative controls directing inspections towards suspicious fraudulent samples.

Design of an Event Based Messaging System

B2B document handling is moving from paper to electronic networks and electronic domain very rapidly. Moving, handling and transforming large electronic business documents requires a lot from the systems handling them. This paper explores new technologies such as SOA, event-driven systems and ESB and a scalable, event-driven enterprise service bus is created to demonstrate these new approaches to message handling. As an end result, we have a small but fully functional messaging system with several different components. This is the first larger Java-project done in-house, so on the side we developed our own set of best practices of Java development, setting up configurations, tools, code repositories and class naming and much more.

Modelling of the PWR PACTEL vertical steam generator with the TRACE code

The behavior of the nuclear power plants must be known in all operational situations. Thermal hydraulics computer applications are used to simulate the behavior of the plants. The computer applications must be validated before they can be used reliably. The simulation results are compared against the experimental results. In this thesis a model of the PWR PACTEL steam generator was prepared with the TRAC/RELAP Advanced Computational Engine computer application. The simulation results can be compared against the results of the Advanced Process Simulator analysis software in future. Development of the model of the PWR PACTEL vertical steam generator is introduced in this thesis. Loss of feedwater transient simulation examples were carried out with the model.

Efficiency of the ISM Code in Finnish Shipping Companies

Due to increasing waterborne transportation in the Gulf of Finland, the risk of a hazardous accident increases and therefore manifold preventive actions are needed. As a main legislative authority in the maritime community, The International Maritime Organization (IMO) has set down plenary laws and recommendations which are e.g., utilised in the safe operations in ships and pollution prevention. One of these compulsory requirements, the ISM Code, requires proactive attitude both from the top management and operational workers in the shipping companies. In this study, a crosssectional approach was taken to analyse whether the ISM Code has actively enhanced maritime safety in the Gulf of Finland. The analysis included; 1) performance of the ISM Code in Finnish shipping companies, 2) statistical measurements of maritime safety, 3) influence of corporate top management to the safety culture and 4) comparing safety management practices in shipping companies and port operations of Finnish maritime and port authorities. The main results found were that maritime safety culture has developed in the right direction after the launch of the ISM Code in the 1990´s. However, this study does not exclusively prove that the improvements are the consequence of the ISM Code. Accident prone ships can be recognized due to their behaviour and there is a lesson to learn from the safety culture of some high standard safety disciplines such as, air traffic. In addition, the reporting of accidents and nearmisses should be more widely used in shipping industry. In conclusion, there is still much to be improved in the maritime safety culture of the Finnish Shipping industry, e.g., a “no blame culture” needs to be adopted.

We want Moshiach now! : understanding the Messianic message in the Jewish Chabad-Lubavitch movement

Då man rör sig i New York eller Jerusalem är det inte ovanligt att man stöter på judiska "missionärer" - ett fenomen som annars är ovanligt inom judendomen - och får ett traktat i sin hand som säger "Moshiach är här" eller "Welcome Moshiach". Det är den ultra-ortodoxa rörelsen Chabad-Lubavitch som har blivit känd för sitt utåtriktade missionsarbete och för att ha proklamerat sin ledare, Rabbi Schneerson som messias. Trots att han har varit död sedan 1994 och man från judiskt håll säger att en messias inte kan dö, lever förväntningarna på Rabbi Schneerson kvar inom rörelsen. Den akademiska forskningen har gjort gällande att denna messiastro, som tar sig ett så aktivt uttryck, är en produkt av den existentiella hopplöshet som lägrade sig över det judiska samfundet i och med Förintelsen, därför att väntan på messias omedelbara ankomst ingav livshopp. Dessutom har forskningen från ett religionssociologiskt perspektiv frågat hur en religiös rörelse överlever en så stor besvikelse som att ens ledare inte uppfyller de profetior som talats ut. Avhandlingen "We Want Moshiach NOW!" ifrågasätter den tidigare forskningen genom att påvisa de starka messianska förväntningar som fanns redan på 1700-talet vid rörelsens tillkomst. Avhandlingen tar upp vilka förväntningar som framkommer i det litterära verket "Tanja", författad av rörelsens grundare, och jämför dem med den moderna litteraturen. I "Tanja" ges även förklaringsmodeller till varför en person som man trodde var messias inte är det. Avhandlingens tes är att forskningen inte har beaktat utsagorna i "Tanja" tillräckligt mycket då man försökt förstå den samtida messiastron och de uttryck den tar.