Från plåtpolis till livräddare : Behovsanalys för automatisk trafiksäkerhetskontroll 2011 – 2015

I det här arbetet utformades en utvecklings- och investeringsplan för automatisk trafiksäkerhetsövervakning för åren 2011-2015 för landsvägsnätet i Egentliga Finland och Satakunta. Planen innehåller analys av den nuvarande verksamhetsmodellen och förslag hur verksamhetsmodellen kunde förbättras samt förslag om vilka vägavsnitt som ska få automatisk övervakning och vilka projekt som ska prioriteras under åren 2011-2015. Vidare beskrivs i planen den automatiska övervakningsteknik och verksamhetsmodell som används i Sverige samt åtgärdsförslag för att öka den automatiska trafikövervakningens acceptans. Den nuvarande verksamhetsmodellen och behovet av att utveckla den automatiska trafikövervakningen har utvärderats på basis av intervjuer med experter. Experterna ansåg att den nuvarande verksamhetsmodellen i huvudsak är funktionell och effektiv, eftersom man med relativt små kostnader har uppnått effektiva resultat. Den automatiska trafikövervakningen måste dock fortfarande utvecklas och Sveriges verksamhetsmodell ansågs vara en bra förebild och ett gott exempel. De viktigaste utvecklingsområdena ansågs vara utveckling av tekniken, snabbare informationsbehandling och automatisering, vilket skulle öka polisens resurser att verkställa övervakningen. Vägavsnitten som ska få automatisk övervakning under åren 2011-2015 prioriterades främst på basis av olycksfrekvens, antal olyckor, Tarva-beräkningsresultat, hastighetsdata och trafikmängder. Av olycksstatistiken har man främst uppmärksammat personskadeolyckor. Tarva-beräkningarna användes också för att utvärdera den automatiska trafikövervakningens inverkan och effektivitet. Enligt de intervjuade experterna är öppenhet kring övervakningen, synlig övervakningsapparatur och kontinuerlig informationsförmedling bland de viktigaste sätten att öka acceptansen. Genom att informera för man fram systemets fördelar och dess betydelse för trafiksäkerheten. Att förändra övervakningskamerans varumärke till säkerhetskamera enligt Sveriges modell ansågs även vara bra. I detta arbete presenteras en plan för att utveckla acceptansen för automatisk trafiksäkerhetsövervakning.

Kirjastonkäyttäjien uudet odotukset?

Kansalliskirjasto isännöi Helsingissä, Metsätalolla 9.–11.6. 2010 kansainvälistä kirjastoalan ELAG (European Library Automation Group) konferenssia.

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.

Mittakuvatoiminnan asiakaslähtöisyyden kehittäminen

Tämän diplomityön tarkoituksena oli selvittää tämän päivän mittakuviin liittyviä asiakastarpeita Metso Automaation Virtauksensäätöratkaisut -liiketoimintalinjassa. Mittakuvat ovat tärkeä osa asiakkaalle tuotteen yhteydessä toimitettavaa dokumenttipakettia, joihin on kohdistettu yhä enemmän vaatimuksia viime vuosien aikana. Tutkimuksen keskeisenä tavoitteena oli ymmärtää 3D-mittakuvien merkitys Metson liiketoiminnassa, tunnistaa tämän päivän mittakuviin liittyvät asiakastarpeet, sekä luoda tunnistettujen asiakastarpeiden pohjalta kehittämissuunnitelma mittakuvatoiminnalle. Työssä toteutettiin teoreettinen kirjallisuusselvitys 3D-mallintamisesta sekä empiirinen tutkimusosuus asiakastarpeiden tunnistamisesta. Venttiiliyhdistelmä -mittakuviin liittyvät asiakastarpeet kerättiin haastatteluiden sekä verkkokyselyn avulla. Työssä haastateltiin Metson asiantuntijoita, Metson asiakkaita sekä CAD-järjestelmien toimittajia. Työn keskeisimpänä tuloksena esitettiin mittakuvatoiminnan kehittämissuunnitelma, jonka perustana oli mittakuviin liittyvä asiakastarvekartoitus, arvio Metson mittakuvatyökaluista sekä tulokset 3D-mittakuvien data- ja järjestelmävaatimuksista. Kehittämissuunnitelmassa kuvattiin, miten mittakuvatoimintaa tulee kehittää kokonaisvaltaisesti lähitulevaisuudessa. Tulokset antavat hyvän perustan laadukkaamman ja asiakaslähtöisemmän toiminnan kehittämiselle.

Empirical study on the adoption, use and effects of cloud-based testing

Cloud computing is a practically relevant paradigm in computing today. Testing is one of the distinct areas where cloud computing can be applied. This study addressed the applicability of cloud computing for testing within organizational and strategic contexts. The study focused on issues related to the adoption, use and effects of cloudbased testing. The study applied empirical research methods. The data was collected through interviews with practitioners from 30 organizations and was analysed using the grounded theory method. The research process consisted of four phases. The first phase studied the definitions and perceptions related to cloud-based testing. The second phase observed cloud-based testing in real-life practice. The third phase analysed quality in the context of cloud application development. The fourth phase studied the applicability of cloud computing in the gaming industry. The results showed that cloud computing is relevant and applicable for testing and application development, as well as other areas, e.g., game development. The research identified the benefits, challenges, requirements and effects of cloud-based testing; and formulated a roadmap and strategy for adopting cloud-based testing. The study also explored quality issues in cloud application development. As a special case, the research included a study on applicability of cloud computing in game development. The results can be used by companies to enhance the processes for managing cloudbased testing, evaluating practical cloud-based testing work and assessing the appropriateness of cloud-based testing for specific testing needs.

Comparison between dSPACE and NI systems based on real-time intelligent control of a teleoperated hydraulic servo system

The Laboratory of Intelligent Machine researches and develops energy-efficient power transmissions and automation for mobile construction machines and industrial processes. The laboratory's particular areas of expertise include mechatronic machine design using virtual technologies and simulators and demanding industrial robotics. The laboratory has collaborated extensively with industrial actors and it has participated in significant international research projects, particularly in the field of robotics. For years, dSPACE tools were the lonely hardware which was used in the lab to develop different control algorithms in real-time. dSPACE's hardware systems are in widespread use in the automotive industry and are also employed in drives, aerospace, and industrial automation. But new competitors are developing new sophisticated systems and their features convinced the laboratory to test new products. One of these competitors is National Instrument (NI). In order to get to know the specifications and capabilities of NI tools, an agreement was made to test a NI evolutionary system. This system is used to control a 1-D hydraulic slider. The objective of this research project is to develop a control scheme for the teleoperation of a hydraulically driven manipulator, and to implement a control algorithm between human and machine interaction, and machine and task environment interaction both on NI and dSPACE systems simultaneously and to compare the results.

Vapastii ohjelmoitavan automaatioyksikön suunnitteluprosessi

Rakennusautomaatiossa tulee esiin sovelluksia, joissa järjestelmän ohjaus-, säätö- tai valvontaratkaisun toteuttaminen ohjelmoitavilla logiikoilla ei ole riittävän edullista. Tällöin vaihtoehtona on oman laitteen suunnittelu. Työn tavoitteena oli suunnitella ja toteuttaa kustannustehokas CAN-väylään liitettävä vapaasti ohjelmoitava automaatioyksikkö. Suunnittelua ohjasivat asiakkaan laatimat vaatimusmäärittelyt. Niistä laitteen konfigurointimahdollisuudet ja piirilevyn tavoitekoko asettivat suurimmat haasteet laitteen suunnittelulle. Työn tuloksena toteutettiin asiakkaan tarpeisiin soveltuva automaatioyksikkö. Tavoitteisiin päästiin komponenttivalinnoilla ja hyödyntämällä tehokkaasti mikro-ohjaimen integroituja ominaisuuksia. Näiden avulla pystyttiin karsimaan monia yksiköitä, joita tavanomaisesti toteutetaan erilliskomponenteilla. Työssä perehdyttiin sulautetun järjestelmän elektroniikan tuotekehitysprosessiin ideasta prototyyppiin. Samalla on kuvailtu valittuja ratkaisuja sekä suunnittelussa tapahtuneita virheitä ja miten ne on ratkaistu.

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.

The Islandora Digital Humanities Platform

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

DSpace for Data Revisited

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

Preserve your content with LOCKSS-O-Matic

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

Current State of Repository Interoperability: Work by the Confederation of Open Access Repositories (COAR)

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

Application of Carbon Nanotubes in Rotating Electrical Machines

Demand for increased energy efficiency has put an immense need for novel energy efficient systems. Electrical machines are considered as a much matured technology. Further improvement in this technology needs of finding new material to incorporate in electrical machines. Progress of carbon nanotubes research over the latest decade can open a new horizon in this aspect. Commonly known as ‘magic material’, carbon nanotubes (CNTs) have promising material properties that can change considerably the course of electrical machine design. It is believed that winding material based on carbon nanotubes create the biggest hope for a giant leap of modern technology and energy efficient systems. Though carbon nanotubes (CNTs) have shown amazing properties theoretically and practically during the latest 20 years, to the best knowledge of the author, no research has been carried out to find the future possibilities of utilizing carbon nanotubes as conductors in rotating electrical machines. In this thesis, the possibilities of utilizing carbon nanotubes in electrical machines have been studied. The design changes of electrical machine upon using carbon nanotubes instead of copper have been discussed vividly. A roadmap for this carbon nanotube winding machine has been discussed from synthesis, manufacturing and operational points of view.

Employees’ continuous learning and job satisfaction - effects on productivity

In today’s knowledge intense economy the human capital is a source for competitive advantage for organizations. Continuous learning and sharing the knowledge within the organization are important to enhance and utilize this human capital in order to maximize the productivity. The new generation with different views and expectations of work is coming to work life giving its own characteristics on learning and sharing. Work should offer satisfaction so that the new generation employees would commit to organizations. At the same time organizations have to be able to focus on productivity to survive in the competitive market. The objective of this thesis is to construct a theory based framework of productivity, continuous learning and job satisfaction and further examine this framework and its applications in a global organization operating in process industry. Suggestions for future actions are presented for this case organization. The research is a qualitative case study and the empiric material was gathered by personal interviews concluding 15 employee and one supervisor interview. Results showed that more face to face interaction is needed between employees for learning because much of the knowledge of the process is tacit and so difficult to share in other ways. Offering these sharing possibilities can also impact positively to job satisfaction because they will increase the sense of community among employees which was found to be lacking. New employees demand more feedback to improve their learning and confidence. According to the literature continuous learning and job satisfaction have a relative strong relationship on productivity. The employee’s job description in the case organization has moved towards knowledge work due to continuous automation and expansion of the production process. This emphasizes the importance of continuous learning and means that productivity can be seen also from quality perspective. The normal productivity output in the case organization is stable and by focusing on the quality of work by improving continuous learning and job satisfaction the upsets in production can be handled and prevented more effectively. Continuous learning increases also the free human capital input and utilization of it and this can breed output increasing innovations that can increase productivity in long term. Also job satisfaction can increase productivity output in the end because employees will work more efficiently, not doing only the minimum tasks required. Satisfied employees are also found participating more in learning activities.

Value-based Reference Marketing in a Small Process Industry Software and Service Company

This master’s thesis was done for a small company, Vipetec Oy, which offers specialized technological services for companies mainly in forest industry. The study was initiated partly because the company wants to expand its customer base to a new industry. There were two goals connected to each other. First was to find out how much and what kind of value current customers have realized from ATA Process Event Library, one of the products that the company offers. Second was to determine the best way to present this value and its implications for future value potential to both current and potential customers. ATA helps to make grade and product changes, starting after machine downtime, and recovery from production break faster for customers. All three events sometimes occur in production line. The faster operation results to savings in time and material. In addition to ATA Vipetec also offers other services related to development of automation and optimization of controls. Theoretical part concentrates on the concept of value, how it can be delivered to customers, and what kind of risk customer faces in industrial purchasing. Also the function of reference marketing towards customers is discussed. In the empirical part the realized value for existing customers is evaluated based on both numerical data and interviews. There’s also a brief case study about one customer. After that the value-based reference marketing for a target industry is examined through interviews of these potential customers. Finally answers to the research questions are stated and compared also to the theoretical knowledge about the subject. Results show that those customers’ machines which use the full service concept of ATA usually are able to save more time and material than the machines which use only some features of the product. Interviews indicated that sales arguments which focus on improved competitive status are not as effective as current arguments which focus on numerical improvements. In the case of potential customers in the new industry, current sales arguments likely work best for those whose irregular production situations are caused mainly by fault situations. When the actions of Vipetec were compared to ten key elements of creating customer references, it was seen that many of them the company has either already included in its strategy or has good chances to include them with the help of the results of this study.