Masteruppsatser

Permanent URI for this collectionhttps://gupea-staging.ub.gu.se/handle/2077/22012

Browse

Now showing 1 - 20 of 313

Editor for Virtual Cars - Configurator for Simulating Electronic Unit Data
(2010-03-04T11:48:34Z) ALNASHI, SAMEH; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
As testing of car electronics now-a-days requires a vast amount of time and can be very costly, car manufacturers have developed a common technology – the virtual platform. Virtual platforms are fast, executable simulations of the hardware and the environment it evolves in. They can represent an entire system, a subsystem or a set of relevant software development functionalities. So the advantage with the virtual platform is to allow a full software load to be run with accuracy enough to produce the true timing and the true network traffic that the real electronics will experience without having to compromise the real electronics. The virtual platform is conceived by logging communication with a real vehicle. Hence, from the vehicle log a virtual platform can be created using a special converting program. In this thesis a configurator for editing a virtual platform is considered. This means that a program has been written to easily edit, manipulate and change parameters inside a virtual platform. The configurator gives the ability to change the electronic unit types, the communication between the vehicle and the diagnostic application as well as different requests and responses that entail among other things diagnostic trouble codes, parameters and activation codes. These changes are applied with the help of model data, that shows how the virtual platform is built and service data that describes how the communication between a diagnostic system and a physical car is built up.
Silverlight Process Designer in SharePoint WSS - Development of a Silverlight 2.0 Process Designer tool with integration in SharePoint WSS
(2010-03-04T12:07:38Z) Papousek, Wincent; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
SharePoint WSS is an information portal from Microsoft. It helps employees communicate and collaborate within the company. SharePoint lets people share documents and files by storing them in a central site making cooperation within the company trouble-free. Silverlight is a technology for building Rich Internet Applications. It uses a browser plug-in that downloads and executes Silverlight code within the browser. It is designed to offer the user a richer experience than the traditional mixture of HTML and scripting languages. The Process Designer tool brings these two technologies together. Completely developed in Silverlight the Process Designer tool takes advantage of out-of-the-box functionality of SharePoint WSS. In conjunction the Silverlight tool brings a visual user experience to SharePoint that the technology itself cannot accomplish. Following a couple of integration steps Silverlight can be used within SharePoint. By using Web Service technology communication between the two frameworks is established making them benefit from each other. The focus of the thesis is the integration of Silverlight in SharePoint WSS, evaluating the process and the Silverlight technology. Integration and implementation issues will be outlined that helps development of future Silverlight applications.
The Infinox Infinity Inferrer - A Complement to Finite Model Finding
(2010-03-04T12:17:59Z) LILLIESTRÖM, ANN; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
Infinox is an automated reasoning tool that can disprove the existence of finite models of first-order theories. It is a tool of both theoretical and practical value and is especially well suited as a complement to finite model finders. The main idea behind Infinox is to search for function and predicate symbols with certain properties that imply the non-existence of finite models. A standard automated theorem prover is used to check if these properties hold. We describe the methods used to identify terms that possess the desired properties, and explain in detail how these can be combined and applied to concrete problems. Some very promising first results are presented; Infinox has classified a large number of problems from the TPTP problem library as finitely unsatisfiable. Many of these problems have never before been solved (nor classified) by an automated system.
Designing content distribution with trading options - "Yank Yank": a prototype system
(2010-03-04T13:11:57Z) Henriksson, Peter; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
There exist several market-places on the Internet where authors offer free and premium content to end-users for download. The published content differs but might be articles, music, photos, books etc, all depending on the end-users needs. Essentially such mar- ketplaces are inffuenced by both content management systems (CMS) and e-commerce. General characteristics of such systems offer authors a central way to upload and publish their digital assets to the public, without having the actual technical knowledge of do- ing so. There are however not many systems that can offer both authors and end-users the benefit of a fair trade from selling and buying content due to the small margin in micropayments. On commission by the IP-telephony provider Cellip this master thesis is about investigation and implementing the basics and logic of such a system. The thesis starts with a introduction of general CMS and e-commerce marketplaces. Pro- ceeding it explains an structure of the system, its functionality and how the iterative procedure of the development process made progress. The thesis resulted in a mixed CMS/e-commerce system where authors can promote, upload and publish their content, where end-users can create accounts, search for, rate and buy content. The system also includes an administration interface for managing.
Form construction and system integration
(2010-03-04T14:54:12Z) Carlberg, David; Wallin, Karl; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
When constructing forms with the help of online tools, these forms will be bound to the online tool. The online tools offer hosting of forms and handling of the submission data. The work in this thesis analyzes the possibilities to move the constructed forms and there data handling to an arbitrary web server and presents what must be done to completely move the forms. It also shortly describes the implementation of such a tool that solves this issue.
An Extensible and Scalable Agent-Based Simulation of Barter Economics
(2010-03-04T15:15:53Z) Evensen, Pelle; Märdin, Mait; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
This thesis project studies a simulation of decentralised bilateral exchange economics, in which prices are private information and trading decisions are left to individual agents. We set to re-engineer the model devised by Herbert Gintis and take his Delphi version as the basis for providing a new, portable barter economics simulation tool in Java. By introducing some extension points for new agent and market behaviours, we provide simple means to implement variations on the original model. In particular, our system could be used to study the emergent properties of heterogeneous agent behaviours. Through the addition of some default visualisation models we provide means for an improved intuitive understanding of the interaction between individual agents. The multi-agent simulation library MASON is used as the underlying simulation platform. The results of running the software with various parameters are compared to the results from the original version to confirm the convergence of the two programs.
Shotcrete Simulator For Education of Shotcrete Robot Operators
(2010-04-14T08:28:38Z) Börjesson, Petter; Thell, Mattias; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
Sprutbetong är en vanlig metod för förstärkning av till exempel tunnelbyggen. Fram till nu har ingen insats gjorts för att skapa en virtuell miljö för att utbilda personal för denna typ av arbete. Den här uppsatsen presenterar arbetet som gjorts för att skapa en prototyp för en virtuell träningsmiljö. Prototypen innefattar en miljö i vilken användaren kan styra en sprutbetongrobot för att applicera betong på ytor. Den innefattar även diverse verktyg för att evaluera resultatet. Eftersom denna versionen av simulatorn inte kan ses som komplett, diskuteras även fortsatt utveckling.
Creating an interpreted dissector for Wireshark
(2010-04-14T08:36:53Z) Wärre, Tobias; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
En Gateway GPRS Support Node (GGSN) är en telekommunikationsväxel för mobil dataöverföring. Den är väldigt protokollintensiv då den kan kommunicera med en mängd andra kommunikationsapparater med hjälp av ett stort antal protokoll. En GGSN innehåller flera specialiserade kort med olika syften och uppgifter som kommunicerar med olika proprietära protokoll. Dessa protokoll ändras ofta under utvecklingen. Wireshark är ett program som lyssnar på och analyserar nätverkstrafik. Programmet har stöd för ett flertal öppna protokoll men har, delvis på grund av dess licens (GPL) dåligt stöd för proprietära protokoll. Tidigare har man på Ericsson gjort en så kallad dissekerare som man har kompilerat till en modul, men allt eftersom protokollen de använder ändras måste även modulen ändras. Ett stort problem är att utvecklingsmiljön för Wireshark är komplicerad och tar lång tid att göra i ordning och detsamma gäller för underhållet av modulerna. Idén med detta arbete är att skapa en modul som läser in en textfil som är en definition av protokollet som skall avkodas i nätverkspaket och därmed slippa utveckla modulerna och problem med licenser.
Open-source road generation and editing software
(2010-08-05) Kurteanu, Dmitri; Kurteanu, Egor; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
The increasing use of simulators in the industry and various scientific facilities stressed the lack of simple and accessible content creation tools for these simulators. The goal of this thesis was to study the domain of driving simulators and produce an application, which can be used to generate logical and geometrical road data. This paper presents the details of the standardized format used to store the logical road description as well as the process and the problems encountered during the development of the application.
Online Based Authentication and Secure Payment Methods for M-Commerce Applications
(2011-10-12) Ajakaiye, Taiwo Dayo; Krause, Karl Senanu Kudzo; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
The widespread use of the Internet has contributed enormously towards the growth of e-commerce. Technological advances in mobile phones (e.g. Smartphones) have also made it possible to carry out e-commerce via mobile phones (m-commerce). M-commerce involves the use of mobile devices such as mobile phones and PDA’s in carrying out electronic transactions. Applications in this domain range from normal information consumption to high security financial electronic transactions. Just like e-commerce, the security of m-commerce applications is critical, especially when it involves applications that deal with user sensitive data such as credit cards details, medical details etc. This thesis introduces a platform (e.g. Symbian, iPhone OS and Android OS) inde-pendent way of carrying out secure authentication from a mobile device. This was done by designing, prototyping and evaluating a platform-independent authentication method called OSP. An investigation and prototype implementation of how m-commerce applications can include secure payment capabilities was also presented. Questions that were answered in this study include; how do we verify that a user is who he claims to be and how do we carry out financial transactions in a secure way.
Penetration Testing of Android-based Smartphones
(2011-10-12) Kumar, Naresh; Ul Haq, Muhammad Ehtsham; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
The purpose of this work has been to perform a security analysis of Android-based Smartphones. Smartphone usage and adaptation are increasing day by day with a variety of applications. These applications can be very critical in nature such as mobile banking, and mobile payment systems and users are often unknowing about the security risks involved in such applications. Android, an open source operating system, is rapidly increasing in the Smartphone industry. It has already beaten the most popular mobile operating systems, like RIM, iOS, Windows Mobile and even Symbian, which ruled the mobile market for more than a decade. In this thesis, we have analysed the architecture of the Android operating system and tested its security through penetration testing. We have picked the most popular and recommended tools to test the security in the TCP/IP suite and different attacks have been performed on three different Android versions. The thesis also contains a discussion about our findings, how secure the Android system is and how much trust can be placed on it while using it.
Measuring the Impact of Changes to the Complexity and Coupling Properties of Automotive Software Systems
(2011-10-17) Durisic, Darko; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
BACKGROUND: In the past few decades, exponential increase in the amount of software used in cars has been recorded. Complex software is hard to maintain, especially due to constant changes which are essential in a car evolution process. To avoid the possible negative impact of changes on the system quality attributes, appropriate measurements of change are needed. METHOD: The research presented in this paper is based on the quantitative case study conducted together with our industrial partner Volvo Car Corporation (VCC). RESULTS: The structural complexity and coupling analysis of automotive software systems compared through different releases are applicable for measuring the size and locating the origin of the biggest and the most severe architectural changes. CONCLUSION: By applying the metrics after each significant change in the system, it is possible to verify that certain quality attributes have not decreased to an unsatisfactory level and to identify parts of the system which should be tested more. This increases the product quality and reduces its development cost.
Software Process Improvement Framework for Software Outsourcing Based On CMMI
(2011-10-19) Ul Islam, Zahoor; Zhou, Xianzhong; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
Process improvement in software outsourcing is of growing concern for many reasons such as successful delivery of projects. Software outsourcing companies are reluctant to adapt Process improvement models and methods because of their complex structure and difficult implementation methods. It has been observed that Improvement efforts in outsourcing companies based on process improvement frameworks which are designed for large organizations fails most of the time. CMMI enable companies to enhance performance and rates the maturity of process. This master thesis focuses on identifying the key process areas for software outsourcing and provides best practices and methods for improving a software process. The research will identify the key problems related to process improvement in software outsourcing. The main objective is to develop a model based on CMMI, which can be used by software outsourcing companies in order to implement process improvement activities. All the key activities required for process improvement in software outsourcing are explained with proper guide lines. This dissertation met these research aims through an extensive study of relevant literature and systematic review about CMMI, SPI and outsourcing. The research was based on the CMMI technical reports and case studies about outsourcing projects. The research was divided into multiple phases in order to obtain the results. The mapping of Key process areas and problems is done by analyzing CMMI process area, their specific goals and specific practices. This research produced a number of key findings: Outsourcing case studies help in identifying the problems related to process improvement. CMMI reports helped in identifying the key process areas for outsourcing projects and helped in mapping of the problems and process areas. The main conclusions drawn from this research were that current approaches for process improvement just provide the guiding principles to achieve maturity of the process which are not enough. The ambiguity of CMMI is making it difficult for outsourcing companies to adapt these practices on theoretical instructions. This research identifies the key process areas for outsourcing projects and provides implementation methods in form of key activities which are to be implemented in order to improve the maturity of the process.
Improving Product Development Process & Quality using Electronic Checklists - A case study
(2011-10-19) Arslan, Abdullah; Li, Zhe; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
Knowledge has been an important asset for organizations. To be successful, organizations should manage their organization knowledge efficiently. An important part of organizational knowledge lies as “experience” in tacit form. Especially in engineering companies, that tacit knowledge could be much valuable to discard. A company can only benefit from that tacit knowledge by converting it to some “transferrable form”. Kokkoniemi uses “experience knowledge” for the knowledge that is sourced from experience in company’s operations and captured in some medium. The level that a company collects and utilizes its experience knowledge has an important effect on its success. Checklists are considered to be good options for capturing and packaging experience in software and engineering companies. In this master thesis, we aim to show how experience knowledge can be collected and managed by using checklist. To conduct our research, an electronic checklist system has been developed and evaluated in an engineering company, Sweden.
Support of Embedded Hardware Equipment Facilitated by a Smartphone Application
(2011-11-02) Krolovitsch, Anne-Katrin; Nilsson, Linda; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
In today’s situation more and more tasks are carried out with the help of smartphones. The chosen research area is the improvement of support for advanced embedded equipment through the use of a smartphone application. This report addresses the issue of supporting a door lock system called Hi-O (Highly Intelligent Opening), developed by ASSA ABLOY. It is significantly harder to support an advanced door lock system than it is to support a traditional, mechanical system. The installation and service of the Hi-O system can be made easier by being able to directly access the information in the Hi-O system and change its configuration. The research question answered in this report is “how can a smartphone application facilitate support of an intelligent door lock system, focusing on the design of a software architecture?”. The practical contribution of this research is a prototype for the smartphone application, called Aioli. The theoretical contribution is the architecture along with many empirical findings that are relevant for years to come. This smartphone application will make a considerable improvement compared to how installation and service of the Hi-O door lock system are carried out today. Through defining requirements, designing the architecture and developing a prototype the foundation for the support system Aioli was laid. The Design Research method that was used allowed several architectural evaluations to be carried out using the “architectural Software Quality Assurance" method. Evaluation of the architecture was conducted in collaboration with engineers at ASSA ABLOY. The Aioli prototype was developed for the Android platform and implements a selected part of the requirements specification. Findings show that the specified architecture design is feasible for the support of the Hi-O door lock system. From the evaluations of the prototype it became clear that a product like Aioli is desired.
Text Analysis - Exploring latent semantic models for information retrieval, topic modeling and sentiment detection
(2011-12-07) Jalsborn, Erik; Luotonen, Adam; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
With the increasing use of the Internet and social media, the amount of available data has exploded. As most of this data is natural language text, there is a need for efficient text analysis techniques which enable extraction of useful data. This process is called text mining, and in this thesis some of these techniques are evaluated for the purpose of integrating them into the visual data mining software TIBCO Spotfire®. In total, five analysis models with different running time, memory use and performance have been analyzed, implemented and evaluated. The tf-idf vector space model was used as a baseline. It can be extended using Latent Semantic Analysis and random projection to find latent semantic relationships between documents. Finally, Latent Dirichlet Allocation (LDA), Joint Sentiment/ Topic model (JST) and Sentiment Latent Dirichlet Allocation (SLDA) are used to extract topics. The latter two are extensions to LDA which also detects positive and negative sentiment. Evaluation was done using the perplexity measure for topic modeling, average precision for searching and classification accuracy of positive and negative reviews for the sentiment models. It was concluded that for searching, a vector space model with tf-idf weighting had similar performance compared to the latent semantic models for the test corpus used. Topic modeling showed to provide useful output, however at the expense of running time. The JST and SLDA sentiment detectors showed a small improvement compared to a baseline word counting classifier, especially for a multiple domain dataset. Finally it was shown that they had mixed sentiment classification accuracy from run to run, indicating that further investigation is motivated.
Predictive Software Measures Based on Formal Z Specifications
(2011-12-09) Tabareh, Abdollah; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
BACKGROUND: The success of software development projects depends highly on meeting the assigned schedule and budget of the project which are often defined in terms of a project plan. Estimation is the basis for planning; therefore, having a reliable way of estimating effort needed to perform the tasks is a must for a reliable project plan. Already in 1987, Samson, Nevill and Dugard, showed that there is a strong and direct influence of formal specification metrics onto the effort needed for implementation. Since then, there has been some progress in various aspects of formal specifications; the introduction of specification slicing methods, slice-based specification metrics, and methods for visualization of specifications has opened new ways for measuring properties of specifications with more metrics. Nevertheless, there hasn’t been much progress in the field of cost estimation using recent achievements of formal specifications. METHODS: The main focus in this thesis work is to examine if there is a correlation between formal Z specification measures and implementation related measures. In concise, this work tries to explain the correlation between the measures in specifications and the measures in code which can be used as input parameters in currently existing software cost estimation models to estimate the total cost of software. This is examined through an experiment which is conducted via measuring 28 subjects using 11 metrics in specifications and 4 metrics in code. CONCLUSION: The results of this thesis work show the size of code, which is the main input parameter of outstanding software cost estimation models, is predictable from formal Z specifications. There are proofs which show that 3 out of 4 investigated metrics in code are in correlation with the metrics in formal Z specifications.
Digital Tools Supporting Boardgames - Dungeons and Drawings on the Microsoft Surface
(2011-12-09) Frölander, Johan; Hartelius, Ulf; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
In this report we present Tisch, a computer-based system with a tangible interface to support tabletop gaming in general and tabletop role-playing games and small-scale wargaming in particular. Based on the ideas of tangible and tabletop interfaces from computer science Tisch was developed to explore how technology can support tabletop gaming activities without becoming a hindrance or removing the players‟ agency over the rules. Tisch is designed to allow players to behave in their accustomed manner, including having unrestricted social interactions and using whatever rules they wish to whatever degree they wish, while harnessing the advantages computers offer through both offloading unwanted tasks and enhancing immersion. The report describes tasks common for tabletop games and how Tisch can support these, the underlying design rationale, the development process, the testing performed, and discusses possible expansions and suggestions for similar systems. Finally, it aims to give a clear picture of the current state of the system by the end of the project and relevant information for anyone wishing to continue working with or making use of Tisch.
Social-Aware Applications - Study on Social Context Aware Applications: Exploring Potential Usages, Defining Requirements and Understanding Issues
(2011-12-09) Berberoglu, Gokhan; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
Social Networking Sites are becoming more and more important on people’s daily lives. Combined with the mobility of the user, social data bring unique opportunities and creates a new kind of “mobile social” applications. In this thesis, social awareness of mobile applications is investigated on both social and technical aspects including privacy. Along with the definition of social-awareness and privacy rules, a mobile social application called SenseMe is presented that adds social layer to opportunistic networks and converts regular mobile phones to social agents. The prototype application is implemented using JavaMe and peer-to-peer aspects were validated in a real life experiment, which shows that social-awareness does not requires powerful hardware with fully featured operating systems.
Towards a Wide-Coverage Grammar for Swedish Using GF
(2012-02-28) Ahlberg, Malin; Göteborgs universitet/Institutionen för data- och informationsteknik; University of Gothenburg/Department of Computer Science and Engineering
This thesis describes work towards a wide-coverage grammar for parsing and generating Swedish text. We do this by using the dependently typed grammar formalism GF, a functional programming language specialized at describing grammars. The idea is to combine existing language resources with new techniques, with an aim to achieve a parser for unrestricted Swedish. To reach this goal, problems of computational as well as linguistic nature had to be solved. The work includes the development of the grammar - to identify and formalize grammatical constructions frequent in Swedish - as well as methods for importing a large-scale lexicon and for evaluating the parser. We present the methods and technologies used and discuss the advantages and problems of using GF for modeling large-scale grammars. We further discuss how our long-term goal can be reached by combining our rule-based grammar with statistical methods. Our contribution is a wide-coverage GF lexicon, a translation of a Swedish treebank into the GF notation and an extended Swedish grammar implementation. The grammar is based on the multilingual abstract syntax given in the GF resource library, and now also covers constructions speci c to Swedish. We further give an example of the advantage of using dependent types when describing grammar and syntax, in this case for dealing with reflexive pronouns.

Browse

Browsing Masteruppsatser by Issue Date