Bachelor and Master Theses

Title:Intelligent sökmaskin för webben 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Sökmaskiner är idag allt mer avancerade, men kan ytterligare förbättras med olika metoder och tekniker från artificiell intelligens. I projektet kommer du utveckla sökmaskiner med speciella syften som överträffar Google i intelligens och kvalité.  
Proposed:2016-12-16 
IDT supervisor:Peter Funk
peter.funk@mdh.se, +46-21-103153
Title:Användarmodeller och beteendeprediktering 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Användarmodeller är en teknik för att ett program eller pryl skall lära sig användarens beteende och använda det för att prediktera framtida handlingar. Därmed kan man utveckla system som automatiskt anpassar sig efter användarens behov och önskemål. Algorithmerna har mjuka realitsdskrav.  
Proposed:2016-10-27 
IDT supervisor:Peter Funk
peter.funk@mdh.se, +46-21-103153
Title:Similarity learning in case-based reasoning 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Fundamental to case-based reasoning (CBR) is the assumption that similar problems have similar solutions. The meaning of the concept of “similarity” can vary in different situations and remains an issue. In this project you will investigate the algorithms and methods to develop a situation-dependent similarity model by exploiting machine learning techniques. A number of practical data sets are available to test your ideas and compare your work with other results published in the literature.  
Proposed:2016-11-03 
IDT supervisor: Ning Xiong
ning.xiong@mdh.se, +46-21-151716
Examinator: Peter Funk
Peter Funk
peter.funk@mdh.se, +46-21-103153
Title:Effective ISO 26262-compliant Safety Management via Process Modeling and Monitoring 
Subject: Computer Science
Level: Advanced
Description:ISO 26262 [1] provides a set of requirements to support automotive industries in defining appropriate safety processes according to the required stringency dictated by the safety integrity level. The set of requirements encompass the principal safety activities during the concept phase, product development, production, operation, service and decommissioning. It is for instance stated that “Planning, coordinating and documenting the safety activities of all phases of the safety lifecycle are key management tasks”. Moreover, it is stated that “the organization shall institute, execute and maintain organization-specific rules and processes to comply with the requirements of ISO 26262.” This statement is interpreted in a note as “creation and maintenance of a generic safety plan and process description”. In clause 5.4.2.3 of ISO 26262 Part 2, we can explicitly read that “the organization shall institute, execute and maintain processes to ensure that identified functional safety anomalies are explicitly communicated to the applicable safety manager(s) and the other responsible persons.” Since Process Moldeling and Monitoring are critical-activities, the aim of the thesis is to propose an approach for modeling and monitoring processes in compliance with ISO 26262 and Scania needs. Tasks included: - Studying background information useful to better grasp the problem as well as mastering means useful to build a solution: o Getting familiar with safety life-cycles (processes) mandated by ISO 26262 [1] and those used at Scania domain. The student is expected to focus on a specific phase; o Getting familiar with process modeling and monitoring. This tasks will cover academic state of the art (e.g., SPEM2.0 [2], and/or others); o Getting familiar with tool-supported process modeling and monitoring (EPF Composer [3], and/or others); - Investigating how to effectively model and monitor ISO 26262 compliant safety processes; - Providing a case-study. Required outcome: A thesis report that includes: - An analysis of the best practices in terms of safety process modeling and monitoring within the automotive domain; - An approach to model and monitor automotive ISO 26262-compliant safety processes; - A case study. Remark: if you are interested, apply here: https://www.scania.com/group/en/available-positions/?job_id=9238&co%5B0%5D=SE&ci%5B0%5D=Sodertalje&ty%5B0%5D=Thesis+project&kw= References to start with: [1] ISO 26262. Road vehicles – Functional safety. International Standard, November 2011. [2] OMG. Software & systems Process Engineering Meta-model (SPEM), v 2.0. Full Specification formal/08-04-01, Object Management Group, 2008. [3] https://eclipse.org/epf/ 
Company: IDT/Scania AB, kontaktperson: Marcus Törnqvist
Proposed:2016-10-31 
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428
Title:From Parallel Action Language for Foundational UML to Parallel Implementation 
Subject: Computer Science
Level: Advanced
Description:Currently a generator of C++ code for CPUs from the Action Language for Foundational UML (ALF) exists. In order to address parallelism definable in ALF within UML models, the transformation process should be enhanced for properly identifying parallel ALF portions and produce correspondent code. Expected outcomes: - identification of commonalities and differences between parallelizable ALF concepts and parallel programming/multithreading - mapping from parallel ALF constructs to parallel/multithreading implementation - implementation of the mapping through model-to-text transformations - thesis report 
Proposed:2016-11-02 
IDT supervisor: Federico Ciccozzi
federico.ciccozzi@mdh.se, +46 21 151762
Examinator: Jan Carlson
Jan Carlson
jan.carlson@mdh.se, +46-21-151722
Title:Effective ECSS series-compliant Quality Management via Process Modeling  
Subject: Computer Science
Level: Advanced
Description:ECSS series provides a set of requirements to support space industries in modeling appropriate software development processes according to the required stringency dictated by the criticality level. This set of requirements deal with all aspects of space software engineering including requirements definition, design, production, verification and validation, transfer, operations and maintenance. Since process modeling is a critical-activity, the aim of the thesis is to propose an approach for modeling processes in compliance with the ECSS series (focus on ECSS-E-ST-40C [1] and [1] ECSS-Q-ST-80C [2]), and OHB needs. Tasks included: - Studying background information useful to better grasp the problem as well as mastering means useful to build a solution: o Getting familiar with life-cycles (processes) mandated by ECSS-E-ST-40C [1], ECSS-Q-ST-80C [2] and those used at OHB. The student is expected to focus on a specific phase of the Software Development Plan; o Getting familiar with process modeling. This tasks will cover academic state of the art (e.g., SPEM2.0 [2], S-TunExSPEM[2], and/or others); o Getting familiar with tool-supported process modeling (EPF Composer [5], and/or others); - Investigating how to effectively model ECSS series -compliant safety processes; - Providing a case-study. Required outcome: A thesis report that includes: - An analysis of the best practices in terms of process modeling within the space domain; - An approach to model and tailor ECSS series -compliant process plans; - A case study. References to start with: [1] ECSS-E-ST-40C , Space engineering. Software, March 2009. [2] ECSS-Q-ST-80C, Space product assurance. Software product assurance, March 2009. [3] OMG. Software & systems Process Engineering Meta-model (SPEM), v 2.0. Full Specification formal/08-04-01, Object Management Group, 2008. [4] B. Gallina, K. R. Pitchai and K. Lundqvist. S-TunExSPEM: Towards an Extension of SPEM 2.0 to Model and Exchange Tuneable Safety-oriented Processes. 11th International Conference on Software Engineering Research, Management and Applications (SERA), SCI 496, Springer, ISBN 978-3-319-00947-6, Prague, Czech Republic, August 7-9, 2013. [5] https://eclipse.org/epf/ 
Company: IDT/OHB Sweden, kontaktperson: Anna Carlsson
Proposed:2016-10-31 
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428
Title:Decision support in mission planning 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Design, implement and evaluate a concept for model- and case-based decision support in mission planning and evaluation As a Mission Support System (MSS) operator there is a great advantage in having access to the knowledge contained in previously stored missions when planning and evaluating a new mission. A combination of easy access to stored knowledge and ontology-based search algorithms will make previously stored knowledge readily available for decision support when needed by the operator. In any state of the mission planning and evaluation process, the system will be able to lookup relevant information from previously stored missions and present this information as a basis for decision support. An ontological model of the mission will make MSS context-aware [1] as it will know in what state the mission currently is in and on basis of that state the system will be able to retrieve relevant information for the mission at hand. The ontology is knowledge-augmented and by traversing the ontology with suitable algorithms, previously stored knowledge can be retrieved according to the ontological definition. Previous knowledge may also be able to foresee future events regarding similar situations thus making the system proactive and able to present the operator with relevant guesses about what information might be relevant for future success. The system will also be a learning system as it will be able to learn from the ongoing mission process (and progress) as results will be stored as entangled nodes in the mission ontology making the system continuously increase its performance in decision support as its knowledge base increases with time.  
Company: Saab Group, kontaktperson: Ella Olsson
Proposed:2016-10-27 
IDT supervisor:Peter Funk
peter.funk@mdh.se, +46-21-103153
Title:Development of Concepts for Hazard Analysis and Traceability in Product Lines 
Subject: Computer Science
Level: Advanced
Description:Job Description We are looking for a student (m/f) for a Master Thesis within the Functional Safety group at the E/E Architecture Department at Volvo Construction Equipment in Eskilstuna Sweden. Each new generation of cars or construction machinery that is rolled out onto the market is characterized by an increasing amount of functionality being realized by software. Software is the key-enabler for new technologies and hence the main innovation driver in the automotive domain. Both the number of Electronic Control Units (ECU) and the complexity of the applied interacting software functionality in the Electrical/Electronic (E/E) Systems are increasing. Being cost-conscious as well, due to strict time-to-market requirements, the automotive industry has been more and more looking at component-based development and product line engineering. The highly dynamic operational environment of these vehicles, where many different types of users are involved, causes even small failures in their E/E systems to probably result in accidents with fatal consequences. In order to avoid those failures, functional safety standards like ISO 15998, IEC 61508 and ISO 26262 have been developed and introduced in different domains. Within the past years Volvo Construction Equipment and the Functional Safety Group have been developing applicable methods and processes for complying with the different relevant functional safety standards. Managing functional safety in the context of product lines is challenging and currently one of the focuses of the Functional Safety Group. Hazard Analysis techniques are well established both in standards and in industry. In this thesis we are investigating how hazard analysis concepts can be applied in a product line context. Several approaches have been proposed in literature, the most prominent one is of Robyn Lutz [4][5][6]. This needs to be set into the context of ISO 26262 [3] and the procedures at Volvo Construction Equipment. Tasks The target of the thesis is to analyze and evaluate different ways of Hazard Analysis concepts and understand how industry is using these concepts. Fields to be looked at: • Analyzing the needs and requirements at Volvo Construction Equipment • Identification of different hazard analysis techniques • Understanding the context of product lines • Developing a concept using one or several hazard analysis concepts in the context of product lines. • Evaluating the concepts in a use case • Investigate possible extensions to meet the needs Reading: [1] Habli, I.M., Model-based assurance of safety-critical product lines, PhD Thesis, University of York, 2009 [2] Leveson, N.G. and others, System safety in computer-controlled automotive systems, SAE transactions, 2000 [3] ISO 26262:2011Road vehicles -- Functional safety, ISO, 2011 [4] Dehlinger, J. and Lutz, R.R., Software fault tree analysis for product lines, Proceedings. Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004 [5] Feng, Q. and Lutz, R.R., Bi-directional safety analysis of product lines, Journal of Systems and Software, 2005 [6] Liu, J. and Dehlinger, J. and Lutz, R., Safety analysis of software product lines using state-based modeling, Journal of Systems and Software, 2007  
Company: Volvo Construction Equipment, kontaktperson: Stephan Baumgart
Proposed:2016-10-04 
IDT supervisor: Stephan Baumgart
stephan.baumgart@mdh.se,
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324
Title:Investigating the ARINC 653 standard for multicore systems 
Subject:
Level: Advanced
Description:The ARINC 653 standard is a standard for running hard real-time tasks on embedded avionic systems. The ARINC 653 standard requires software to be very robust and execute within its deadlines to prevent catastrophic consequences. These requirements put hard restraints on which hardware can be used and can therefore typically on be run on designated hardware platforms. Theories has been presented on how to implement the ARINC 653 standard on commercial off the shelf (CoTS) platforms which often include isolation of different hardware units such as the I/O. This problem becomes more extensive when using a multicore system, as there still exist some constraints regarding unpredictable cache behaviour and various scheduling techniques. This thesis work includes working with the ARINC 653 standard and finding a suitable implementations on a multicore system. Since the entire ARINC 653 standard is very large, the thesis work can be limited to implementing a subset of the different requirements of the standard including: CPU sharing, I/O sharing and Memory sharing. Possible solutions to this problem may include using a bare-metal hypervisor for running tasks and also experimenting with scheduling techniques. Expected results: *Literature review *Investigation of ARINC 653 feasibility on multicore CoTS hardware *Discussion regarding possible solutions on ARINC 653 implementation on multicore CoTS hardware *Implementation of isolation techniques for multicore *Thesis report  
Proposed:2016-10-31 
IDT supervisor: Jakob Danielsson
jakob.danielsson@mdh.se,
Examinator:

,
Title:Master Thesis: A mapping study on MDE adoption effects in industry (2 students) 
Subject:
Level: Advanced
Description:CONTEXT AND AIM: The complexity of software systems grows continuously due to their pervasive use in almost any aspect of everyday life. To alleviate the intricacy of their development, Model-Driven Engineering (MDE) proposes to shift the focus from coding to design. Models are well-defined abstractions of the reality that allow, indeed, to abstract away those details that do not matter a domain-specific point-of-view. This simplified, yet detailed, representation of a certain sub-problem allows also to perform early analysis of the system and hence to anticipate issues that would be much more expensive to be solved at late stages of the development process. Due to its promises, MDE attracted remarkable attention from industry, and since its introduction around year 2000 has been adopted in every application domain. In this respect, there exist several documented stories of successful adoption of MDE [2, 3]. However, partly due to the immaturity of the methodology and supporting tools, partly due to the inadequacy of companies’ personnel skills, MDE had controversial effects on development processes and in some cases disappointed most of the expectations. In the latest years, more and more empirical studies have been documenting the experiences of companies that adopted MDE, and trying to highlight what are the main gains and open issues for the adopters [4]. Nonetheless, it is still very difficult to reply to the following question: “Given my company characteristics, what would be the most prominent effects I would experience if adopting MDE?”. In other words, it is still very difficult to answer with a simple “Yes” or “No” to the question about the opportunity of adopting MDE in a certain company. GOALS: This thesis work has the goal to investigate the current literature about the adoption of MDE in industry. The aim is to identify, if possible, a set of characteristics relating expectations and outcomes preceding and following the adoption of MDE, respectively. The study will rigorously follow empirical studies guidelines [1]. In particular the work will: - collect relevant publications about the adoption of MDE in industry; - identify trends over time; - relate expectations and outcomes with respect to the MDE adoption effects. THESIS EXECUTION: The work described in this thesis proposal is expected to be developed by two students. The work will be done in collaboration with Bombardier Transportation (BT), which will share the supervision. BIBLIOGRAPHY: 1. K. Petersen et al.: Guidelines for conducting systematic mapping studies in software engineering. Inf. Softw. Technol. 64, C (August 2015), 1-18. DOI=http://dx.doi.org/10.1016/j.infsof.2015.03.007 2. http://www.nyteknik.se/fordon/nya-gripen-flyger-i-simulator-6576208 3. https://www.nasa.gov/sites/default/files/01-03_orion_cre_exploration_vehicle_model_0.pdf 4. John Hutchinson, Jon Whittle, Mark Rouncefield, and Steinar Kristoffersen. 2011. Empirical assessment of MDE in industry. In Proceedings of the 33rd International Conference on Software Engineering (ICSE '11). ACM, New York, NY, USA, 471-480. DOI=http://dx.doi.org/10.1145/1985793.1985858 
Proposed:2016/10/10 
IDT supervisor: Antonio Cicchetti
antonio.cicchetti@mdh.se, +46-21-151762
Examinator: Mikael Sjödin
Mikael Sjödin
mikael.sjodin@mdh.se, +46 70 288 2829
Title:Towards an LLVM Front-End for Compilation of UML Models 
Subject: Computer Science
Level: Advanced
Description:Software (functional) models defined in general-purpose modelling languages such as UML are usually translated to 3GLs (C/C++, Java) in order to achieve execution. This translation, although simplifying the execution itself by leveraging well-established 3GLs and their compilers, leads to information loss from models to generated 3GLs and sub-optimal executables. In this thesis we will take a first step towards the direct compilation of UML models to executables by defining a UML front-end for a well-established open source compiling system, LLVM. 
Proposed:2016-11-02 
IDT supervisor: Federico Ciccozzi
federico.ciccozzi@mdh.se, +46 21 151762
Examinator: Björn Lisper
Björn Lisper
bjorn.lisper@mdh.se, +46-21-151709
Title:Development of a Concept for Cost Modeling for Safety Critical Product Lines 
Subject: Computer Science
Level: Advanced
Description:Job Description We are looking for a student (m/f) for a Master Thesis within the Functional Safety group at the E/E Architecture Department at Volvo Construction Equipment in Eskilstuna Sweden. Each new generation of cars or construction machinery that is rolled out onto the market is characterized by an increasing amount of functionality being realized by software. Software is the key-enabler for new technologies and hence the main innovation driver in the automotive domain. Both the number of Electronic Control Units (ECU) and the complexity of the applied interacting software functionality in the Electrical/Electronic (E/E) Systems are increasing. Being cost-conscious as well, due to strict time-to-market requirements, the automotive industry has been more and more looking at component-based development and product line engineering. The highly dynamic operational environment of these vehicles, where many different types of users are involved, causes even small failures in their E/E systems to probably rhttp://esult in accidents with fatal consequences. In order to avoid those failures, functional safety standards like ISO 15998, IEC 61508 http://and ISO 26262 have been developed and introduced in different domains. Within the past years Volvo Construction Equipment and the Functional Safety Group have been developing applicable methods and processes for complying with the different relevant functional safety standards. Managing functional safety in the context of product lines is challenging and currently one of the focuses of the Functional Safety Group. When considering reuse in an industrial context the cost savings and time efficiency plays an important role. The concept of software product lines has been proposed to manage reuse efficiently. Identifying commonalities and variability plays an important role. At the same time it is important to project possible cost and cost savings as early as possible. Several concepts have been developed in the past. In the context of safety critical product lines little has been done in the past. The Master student shall investigate, which cost needs to be taken into consideration when developing safety critical products in product lines and at the same time investigate which of the existing concepts can be applied and extended to meet the needs. Tasks The target of the thesis is to analyze and evaluate different ways of Hazard Analysis concepts and understand how industry is using these concepts. Fields to behttp:// looked at: • Analyzing the needs and requirements at Volvo Construction Equipment • Identification of different cost modeling techniques • Understanding the context of product lines • Defining which costs would need to be considered in the context of safety critical systems • Developing a concept for safety critical product lines • Evaluating the concepts in a use case Reading: [1] Leveson, N.G. and others, System safety in computer-controlled automotive systems, SAE transactions, 2000 [2] ISO 26262:2011Road vehicles -- Functional safety, ISO, 2011 [3] David M. Weiss and Chi Tau Robert Lai. Software Product-Line Engineering. Addison Wesley, 1999. [4] Böckle, Günter and Clements, Paul and McGregor, JohnD. and Muthig, Dirk and Schmid, Klaus, A Cost Model for Software Product Lines, Software Product-Family Engineering, Springer, 2004 [5] Nolan, A. and Abrahão, S., Dealing with cost estimation in software product lines: experiences and future directions, Software Product Lines: Going Beyond, Springer, 2010 [6] Charles, Oliver and Schalk, Markus and Thiel, Steffen, Kostenmodelle für Softwareproduktlinien, Informatik-Spektrum, Springer, 2011 ------WebKitFormBoundaryCrktKXuEMVrbW4http://19 Content-Disposition: form-data; name="forkuns" Your skills We are looking for candidates with the following skills: •http:// Enrolled Master/Diploma Student (m/f) within Software Engineering or similar field of study • Knowledge in Safety and/or Reliability Considerations of software • Knowledge in software product line development • Mathematical Interest and Expertise • Basic knowledge in SW development • English: Advanced 
Company: Volvo Construction Equipment, kontaktperson: Stephan Baumgart
Proposed:2016-10-04 
IDT supervisor: Stephan Baumgart
stephan.baumgart@mdh.se,
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324
Title:Timing analysis for UML for Real-Time 
Subject:
Level: Advanced
Description:UML for Real-Time, an evolution of the ROOM language, is envisioned to become the de-facto standard in open-source model-driven engineering of real-time software-intensive systems. UML-RT, in its new incarnation integrated in Eclipse/Papyrus, provides neat modelling concepts tailored for real-time applications as well as powerful execution means for producing such applications automatically from models. What is currently missing is ways to analyze timeliness of the system under development at design phase, that is to say at the level of UML-RT models. This thesis will focus on bridging the gap between UML-RT in Papyrus and proprietary modelling languages for real-time when it comes to the provision of precise model-based timing analysis. 
Proposed:2016-11-02 
IDT supervisor: Federico Ciccozzi
federico.ciccozzi@mdh.se, +46 21 151762
Examinator: Mikael Sjödin
Mikael Sjödin
mikael.sjodin@mdh.se, +46 70 288 2829
Title:Using an OSLC-based query mechanism to get and set necessary argumentation elements to build a safety case 
Subject:
Level: Advanced
Description:ISO 26262 [1] is a safety standard for the automotive domain. Quoting from the standard: “ISO 26262 is intended to be applied to safety-related systems that include one or more electrical and/or electronic (E/E) systems and that are installed in series production passenger cars with a maximum gross vehicle mass up to 3 500 kg.” By now, trucks do not have to be compliant with the standard. However, it is likely that by 2018 they will have to. ISO 26262 regulates all phases of the entire lifecycle of the product, starting from the management and requirements specification phases up to the production release. The standard also defines the work products that have to be produced during the system’s lifecycle. To be released on the market, systems will have to be self-assessed: proofs that the systems are acceptably safe will have to be provided in terms of a structured argument, known as safety case, which inter-relates evidence and claims. A safety case is expected to include two types of arguments: process and product-based arguments. OSLC is a standard that targets tools used during a product’s life cycle and enables their integration and interoperability. OSLC 3.0 [2] is the current version of OSLC. Tools for requirements engineering, design, implementation, verification, etc. are expected to interoperate in a traceable manner i.e. traceability between the respective work products can be easily retrieved and shown. To enable interoperability, different specifications, called domains, need to be provided. More precisely, an OSLC Domain is one Product Lifecycle Management topic area such as Change Management, Requirements management or Automation. Each OSLC Domain has its own OSLC specification that complies with this Core specification. Information exposed via OSLC-based and ISO 26262-compliant (sub)domains could be “consumed” (exploited, i.e., obtained via queries from the web of OSLC resources) in order to select required information and then generate composable pieces of safety case-fragments [3]. This thesis, conceived in the framework of two inter-related projects [4-5], is aimed at proposing a prototype solution towards this direction. This thesis is expected to build on top of previous results [6-7]. Tasks included: 1) Getting familiar with the ISO 26262 standard, focus on the functional/technical safety concept. 2) Getting familiar with the notion of a safety case. 3) Getting familiar with OSLC and study previous work about querying OSLC-based domains. 4) Reading Scania’s documentation to achieve the necessary understanding of the context to be able to identify the argumentation elements to be retrieved, retrieve them, and exploit them for the creation of a safety case. 5) Create a portion of a safety case related to requirements traceability. Required outcome: - an implemented prototype solution allowing for the generation of a safety-case fragment. - a thesis report that includes: an analysis about the approaches used for querying OSLC-domains for assurance purposes. Related position at Scania: http://jobsearch.scania.com/segerjoblist/presentation.aspx?flag=yes&presGrpId=7488&langId=1&ie=False References to start with: 1. ISO 26262. Road vehicles – Functional safety. International Standard, November 2011. 2. Open Services for Lifecycle Collaboration, http://open- services.net/wiki/core/specification-3.0/. 3. B. Gallina, M. Nyberg. Reconciling the ISO 26262-compliant and the Agile Documentation Management in the Swedish Context. Proceedings of the third Workshop on Critical Automotive applications: Robustness & Safety, joint event of EDCC-2015, Paris, France, September 8th, 2015. 4. VINNOVA, “http://www.vinnova.se/sv/resultat/projekt/effekta/espresso/.” 5. Gen&ReuseSafetyCases-SSF, http://www.es.mdh.se/projects/393- genreusesafetycases. 6. B. Gallina, K. Padira, M. Nyberg. Towards an ISO 26262-compliant OSLC-based Tool Chain Enabling Continuous Self-assessment. 10th International Conference on the Quality of Information and Communications Technology- Track: Quality Aspects in Safety Critical Systems (QUATIC), Lisbon, Portugal, 6-9 September, 2016. 1. 7. B. Gallina, J.P. Castellanos Ardila, M. Nyberg. Towards Shaping ISO 26262-compliant Resources for OSLC-based Safety Case Creation. Proceedings of 4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS), Gothenburg, Sweden, September 6th, 2016. 
Company: IDT/Scania AB, kontaktperson: Mattias Nyberg
Proposed:2016-10-31 
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428
Title:Comparative study of video modules using corner detection algorithms 
Subject:
Level: Basic or Advanced (contact supervisor)
Description:Detecting corners in an image is a very important feature in the autonomous domain. In order to detect a corner in an image, specific algorithms such as FAST, Harris or SUSAN is used to determine if a specific pixel in an image can be considered as a corner. However, due to the various properties of the algorithms, the performance of the program can vary depending on which algorithm is being used [1] [2]. OpenCV is a widely used library for image processing which provide support for many different algorithms as well as input video feed. However, as demonstrated by Sääf and Samuelsson [1], OpenCV contains lots of overhead, which can cause the corner detection algorithm performance decrease and make a standalone implementation more preferable. In this work thesis work you will investigate how performance can be increased by implementing a standalone video module in C. By measuring metrics such as cache misses, TLB misses and FPS output it will be possible to compare the performance of the video module to OpenCV. With an implemented video module, it is also be possible to apply corner detection algorithms. The corner detection algorithms SUSAN, Harris and FAST will be provided to you. The end result would be a comparison study between your video module using SUSAN, Harris and FAST and OpenCV using the same algorithms. Important questions to answer: A) What are the drawback of using OpenCV compared to your own implemented solutions? B) How can we utilize multi-core architectures for video feed? Expected results: *Literature review *Video input module written in C *Comparative study of the video module against other video libraries such as OpenCV, OpenVX *Identify strengths/weaknesses of OpenCV *Thesis report [1] Investigating Memory Characteristics of Corner Detection Algorithms using Multi-core Architectures - André Sääf and Alvin Samuelsson, http://www.idt.mdh.se/examensarbete/index.php?choice=show&lang=en&id=1979 [2] Investigating Execution-Characteristics of Feature-Detection Algorithms (Sep 2017) Jakob Danielsson, Marcus Jägemar, Moris Behnam, Mikael Sjödin International Conference on Emerging Technologies And Factory Automation (ETFA'17)  
Proposed:2017-08-01 
IDT supervisor: Jakob Danielsson
jakob.danielsson@mdh.se,
Examinator:

,
Title:Reliable robot maneuvering from noisy EEG input: a brain-actuated robot 
Subject: Computer Science
Level: Advanced
Description:Individuals with total loss of use of all their limbs caused by an accident or a neurological illness, have severe difficulties in communication. However, new advances in the neurocomputational field have shed new light on the possibility of reading mental intentions (i.e. extracting information from brain activity). Something that only a couple of years ago was considered more of science fiction than of reality. Despite promising advances, non-invasively recorded EEG signals remain noisy which makes it difficult to use these signals for controlling external devices. This project combines new advances in the neurocomputational domain with new advances in the robotics domain in order to develop a Brain-Robot Interface for controlling robot movement. Focus will be on 1) optimize the extraction-procedure (machine learning algorithms) and 2) to optimize the external controller, which is equipped with a laser in order to scan the environment. Expected outcome: - A robot that can reliably navigate in a pre-defined enviroment based on mental commands. 
Proposed:2016-11-04 
IDT supervisor: Elaine Åstrand
elaine.astrand@mdh.se,
Examinator:

,
Title:Data aggregation support in real-time database management systems 
Subject:
Level: Advanced
Description:Data aggregation is a widely used technique for data reduction and information inference, and is usually provided by a conventional Database Management System (DBMS) as an infrastructural service. However, aggregating data in a Real-Time Database Management System (RTDBMS) remains a challenge due to the possible conflicts between the real-time requirements, and other requirements such as logical data consistency. Some of the DBMS run-time mechanisms may need to be customized, and new mechanisms may need to be introduced, in order to meet the requirements of the real-time data aggregation. This thesis, which is a cooperation between Mimer Information Technology and MDH within the research project DAGGERS, will investigate the possible solutions for data aggregation within an RTDBMS, based on recent research results and existing RTDBMS products. For a given setup of real-time aggregation, the student should identify the challenges for meeting the requirements using Mimer RTDBMS, and propose solutions to implement the real-time aggregation.  
Company: Mimer Information Technology, kontaktperson: Bengt Gunne
Proposed:2016-11-02 
IDT supervisor: Simin Cai
simin.cai@mdh.se,
Examinator: Dag Nyström
Dag Nyström
dag.nystrom@mdh.se, +46-21-107042
Title:Data and control flow analysis for industrial systems developed in IEC 61499 
Subject:
Level: Advanced
Description:IEC 61499 is an industrial standard defining a high-level, partly graphical, language for development of industrial control systems. Applications can be defined as collections of interconnected function blocks that, in turn, can be defined by smaller function blocks or by a special type of state machines.
In our previous research, we have developed a new method to analyse control dependencies in systems implemented in IEC 61499, i.e., the different ways in which function blocks can trigger each other to execute. Moreover, an initial version of a corresponding analysis of data dependencies has been developed.
The goal of this thesis project will be to i) further improve the data dependency analysis to correctly handle for example variables in transition guards; and ii) develop a new method for combined control and data flow analysis. The developed analysis algorithms should be formally defined and then implemented as a plugin for the open source development environment 4DIAC. Finally, the implementation should be used to validate the developed analysis in a small case study on a suitable system. 
Proposed:2017-09-19 
IDT supervisor: Jan Carlson
jan.carlson@mdh.se, +46-21-151722
Examinator:

,
Title:Design and implementation of an Eclipse plug-in for software fault prediction 
Subject: Computer Science
Level: Advanced
Description:The goal of software fault prediction is to help software engineers focus testing and refactoring activities on fault-prone code, thus improving software quality. There are many software fault prediction studies in software engineering literature, see e.g. recent literature review papers on the topic [1] [2]. However to promote practical usage of software fault prediction, this thesis aims to design and develop an Eclipse plug-in that shall provide an easy, automated and integrated mechanism for software engineers to see whether certain files or classes are fault-prone or not. It is expected that the plug-in will also provide one or more simple prediction methods to achieve fault prediction, besides mechanisms for collection of data and performance evaluation of prediction models. The thesis shall validate the implemented plug-in with other stand-alone tools for software fault prediction, such as WEKA. Expected outcomes: 1. Design and implementation of Eclipse plug-in for software fault prediction. 2. Comparison and validation of plug-in results with stand-alone tools for software fault prediction. References: [1] Hall, T.; Beecham, S.; Bowes, D.; Gray, D.; Counsell, S., "A Systematic Literature Review on Fault Prediction Performance in Software Engineering," in Software Engineering, IEEE Transactions on , vol.38, no.6, pp.1276-1304, Nov.-Dec. 2012. [2] Ruchika Malhotra, A systematic review of machine learning techniques for software fault prediction, Applied Soft Computing, Volume 27, February 2015, Pages 504-518, ISSN 1568-4946, http://dx.doi.org/10.1016/j.asoc.2014.11.023. 
Proposed:2016-10-31 
IDT supervisor: Wasif Afzal
wasif.afzal@mdh.se,
Examinator:

,
Title:Performance evaluation of multi-objective search based techniques for software fault prediction 
Subject: Computer Science
Level: Advanced
Description:The goal of software fault prediction is to help software engineers focus testing and refactoring activities on fault-prone code, thus improving software quality. There are many software fault prediction studies in software engineering literature, see e.g. recent literature review papers on the topic [1] [2]. However there is very little evidence available on the performance of fault prediction models in the presence of conflicting objectives (e.g., prediction quality vs. cost). Few studies have targeted this problem, see e.g. [3] [4] however there are still many other competing objectives that need to be balanced. Search-based techniques are well-suited to deal with conflicting objectives, see [5]. The goal with this thesis is to evaluate a number of multi-objective search-based techniques in terms of prediction performance and to present a rich description of pros and cons of using such techniques. Expected outcomes: - Performance evaluation of a number of multi-objective search-based techniques for software fault prediction. - Discussion of pros and cons of using such techniques. References: [1] Hall, T.; Beecham, S.; Bowes, D.; Gray, D.; Counsell, S., "A Systematic Literature Review on Fault Prediction Performance in Software Engineering," in Software Engineering, IEEE Transactions on , vol.38, no.6, pp.1276-1304, Nov.-Dec. 2012. [2] Ruchika Malhotra, A systematic review of machine learning techniques for software fault prediction, Applied Soft Computing, Volume 27, February 2015, Pages 504-518, ISSN 1568-4946, http://dx.doi.org/10.1016/j.asoc.2014.11.023. [3] Gerardo Canfora, Andrea De Lucia, Massimiliano Di Penta, Rocco Oliveto, Annibale Panichella, Sebastiano Panichella: Defect prediction as a multiobjective optimization problem. Softw. Test., Verif. Reliab. 25(4): 426-459 (2015) [4] André B. de Carvalho, Aurora Pozo, Silvia Regina Vergilio, A symbolic fault-prediction model based on multiobjective particle swarm optimization, Journal of Systems and Software, Volume 83, Issue 5, May 2010, Pages 868-882, ISSN 0164-1212, http://dx.doi.org/10.1016/j.jss.2009.12.023. (http://www.sciencedirect.com/science/article/pii/S0164121209003367) [5] Mark Harman. 2010. The relationship between search based software engineering and predictive modeling. In Proceedings of the 6th International Conference on Predictive Models in Software Engineering (PROMISE '10). ACM, New York, NY, USA, , Article 1 , 13 pages. DOI=http://dx.doi.org/10.1145/1868328.1868330 
Proposed:2016-10-31 
IDT supervisor: Wasif Afzal
wasif.afzal@mdh.se,
Examinator:

,
Title:Tele-manipulation using dual arms mobile robots for tele care in home environment 
Subject:
Level: Advanced
Description:The thesis main objective is to study innovative control strategies using a combination of impedance/admittance control to guarantee a proper level o safety while operating a tele controlled robot in home care environment.  
Proposed:2016-11-01 
IDT supervisor: Giacomo Spampinato
giacomo.spampinato@mdh.se, 46-21-101304
Examinator:

,
Title:Human Emotion Detection using Deep Learning 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Human face reveals the healthy status of an individual through a combination of physical signs and facial expressions. Facial expressions reflects the overall health status and it is directly correlate to our emotions. Emotions indicate the physiological status. Therefore it is very important to identify the facial expression to know our emotions. The goal of this project is to detect human emotions using facial expressions. In this projects you have to develop a non-contact system to detect correct human emotions using facial expressions classification. The system should detect whether a person is anger, happy, sad, smiley, relaxed, surprised and so on. Your system should have one or several artificial intelligence algorithms to build the intelligent system but you are free to use any classification algorithms. The project works can be subdivided as follows: 1. Data Collection non-contact (Camera ) systems 2. Feature extraction for different facial expressions 3. Feature classifications and detect emotions 4. Evaluation 5. Outcome Expected Output: Detection of Emotional state  
Proposed:2017-05-31 
IDT supervisor: Hamidur Rahman
hamidur.rahman@mdh.se,
Examinator: Mobyen Uddin Ahmed
Mobyen Uddin Ahmed
mobyen.ahmed@mdh.se, +46-21-107369
Title:Extension of grip patterns for the intelligent pre-touch adaptive (IPA) gripper. 
Subject:
Level: Advanced
Description:Vidareutveckling av IPA-grippern (http://www.idt.mdh.se/examensarbete/index.php?choice=show&id=1870) mot multipla greppmönster baserat på objektets beskaffenhet. Nuvarande tvåpunktsgrepp skall kompletteras med en multipunktsvariant. Analys av huruvida nuvarande sensorkonfiguration är tillräcklig eller behöver utökas skall utföras. Realisering av mekaniskt mer robust variant är önskvärt men tidsberoende. Analys av icke vinkelrät angreppsvinkel och anpassning medelst gripper eller länkad arm skall göras i mån av tid. Detta gäller även utökning av antalet fingrar. Omfattningen av examensarbetet anpassas efter antalet studenter (1-2). Objektanalys och påföljande greppformation har högsta prioritet. Fysisk realisering följer på som ett komplement efter att tvåfingergreppet analyserats. 
Company: Avalon Innovation, kontaktperson: Patrik Sanneklint
Proposed:2016-11-02 
IDT supervisor: Fredrik Ekstrand
fredrik.ekstrand@mdh.se, +46-21-101573
Examinator:

,
Title:Test-case Generation For Timing Properties From EAST-ADL Models 
Subject:
Level: Advanced
Description:Testing is an important activity in assessing the quality of a software product, and generation of test cases is one way to introduce automation in testing and to make it more efficient. Models can serve as the main source of information to generate test cases from. In this thesis work, the goal is to generate test cases for the timing properties that are specified using EAST-ADL modeling language. To achieve this, for instance, a test-case generation algorithm can be designed and implemented as part of a model transformation which navigates the source model, identifies and extracts properties of interest, and creates as output test specifications. In short, the following sub-tasks and challenges will be addressed in this thesis: 1) categorization of timing properties captured in an EAST-ADL model 2) defining appropriate test cases for each type of timing property 3) designing a test-case generation algorithm for the timing properties 4) implementation of the algorithm. This thesis work is defined in the scope of the TOCSYC project. TOCSYC is a research project establishing an environment combining five Swedish groups in software testing research to advance the knowledge of testing critical characteristics of complex embedded systems. The overall goal of TOCSYC is to enable and support cost-effective testing for critical characteristics in embedded systems by providing Swedish industry with new and improved tools and techniques for efficient and effective testing as well as the decision-support procedures necessary to select the right testing tools or techniques for their context.  
Proposed:2016-11-03 
IDT supervisor: Mehrdad Saadatmand
mehrdad.saadatmand@mdh.se, +46-(0)21-107336
Examinator: Antonio Cicchetti
Antonio Cicchetti
antonio.cicchetti@mdh.se, +46-21-151762
Title:Classifying cognitive load using vehicle’s state and driving behaviour signals 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Vehicle driving requires a high degree of concentration and dynamic, and complex activities, e.g., visual, cognitive and manual tasks are involved during driving. Through cognition process, a person understands the information about an external object or phenomenon in response to the influence of acquired knowledge, memory, and experience. Therefore, a vehicle driver has to make strategic decision, monitor the roadway and surrounding environment, as well as, inside the vehicle system, process information and execute control level activities. These activities impose cognitive load and the level of cognitive load affects the mental state of the driver. Vehicle driving involves the interaction of driving actions and the vehicle’s state. With the increase cognitive load, vehicle’s state and driver’s action differ from the situation in which the driver’s cognitive load is normal. Driver’s action depends on the level of cognitive load and vehicle’s state (e.g., the speed of the vehicle). Hence, the level of driver’s cognitive load can be classified from the combined vehicle’s state and driving behaviour signals. Driving behaviour signals are obtained from vehicular data, which represent “longitudinal control” or “lateral-control” action. The forward motion of a vehicle achieves by longitudinal control action, which can be obtained from the accelerator or brake. On the other hand, the direction of the vehicle achieves by lateral-control action, which can be obtained from steering wheel operation. Another example of lateral control action is yaw and yaw rate; yaw is simply an indication of a vehicle's rotation from it's vertical axis or how far is the vehicle angled to the left or right away from its centre or how far has the vehicle deviated from it's straight course. In addition, the level of cognitive load can be measured using the steering-entropy method that quantifies the roughness of steering when a driver operates under various loads. The steering-entropy method was developed to investigate the degree to which the operating vehicle equipment burdens the driver. This thesis aims to develop an intelligent system for driver’s cognitive load classification using vehicle’s state and driving behaviour signals. It requires investigation of steering-entropy method, data analysis of vehicular signals, and implementation of machine learning algorithm to classify level of cognitive load. The project work can be subdivided as follows: 1. Literature study and state-of-the-art on methods and systems 2. Driving behaviour i.e., vehicular data analysis 3. Development of an intelligent system using machine-learning algorithm 4. System evaluation  
Proposed:2016-11-02 
IDT supervisor: Shaibal Barua
shaibal.barua@mdh.se,
Examinator: Shahina Begum
Shahina Begum
shahina.begum@mdh.se, +46-21-107370
Title:Master Thesis: Implementation of a Decision Support System for an Ambient Assisted Living System 
Subject: Computer Science
Level: Advanced
Description:The society is now witnessing a demographic shift, the birth rates are reducing and life expectancy is increasing. This leads to a larger proportion of elderly population in the society. According to the statistics of the World Population Ageing Report 2015, the world's elderly population (that is, people older than 60 years of age) is increasing at a fast pace and is predicted to reach 2.1 billion by 2050, which is more than double of the population of elderly adults in 2015. This change in demography has many consequences, the major being the insufficient number of caregivers. Therefore, we are in need of techniques that will assist the elderly in their daily life, while preventing their social isolation. The recent developments in Ambient Intelligence (AmI) and Information and Communication Technologies (ICT) have facilitated a technological revolution in the field of Ambient Assisted Living (AAL). Successful decision making is one of the most prominent characteristic of any AAL system as it needs to adapt to highly dynamic environments and respond to critical scenarios in time. As part of this thesis, you have to design and implement an event-based Decision Support System (DSS) with an associated knowledge base (KB) for an integrated AAL system (integrated implies multiple functionalities are tackled by the system, such as health monitoring, fall detection and raising alarm, managing supervised physical exercises, advices/reminders, enabling communication with caregivers, friends and family, monitoring home parameters, e.g., automatic detection of fire and communication to firefighters etc.). As the environment for decision making is highly dynamic, we need to ensure that the data is up-to-date and real-time and hence the need to identify whether the current data is enough for decision making or one needs to explore the environment further. The DSS should also incorporate intelligence for taking a decision when multiple events occur simultaneously, like a fall and fire etc. State-of-the-art artificial intelligent algorithms need to be incorporated in the DSS, in order to effectively tackle the scenarios/events described below. A combination of Case Based Reasoning and Planning (CBR, CBP) techniques together with fuzzy logic based reasoning can be used for non-critical scenarios. For critical scenarios like fire, fall, cardiac arrest etc., we need to use expert system-based decision making. The scenarios for decision support are described below. The care taker is Jim, a man older than 60 years, who lives alone in his home. Jim has a heart condition, hence vital monitoring of health parameters (e.g. ECG), and fall detection are critical. The scenarios are described below: 1) Fall detection (Critical) Jim wakes at night and needs to go to the bathroom. Jim feels dizzy after getting out of bed. The light turns on automatically, but Jim loses his balance and falls. The wearable fall detector sensor senses the fall. It sends an event to the system gateway, informing of a potential fall. The sensor is only partly aware that a fall has taken place, and reports with low confidence the detected fall. Jim is not able to return to bed, and no further movement is detected in the home. The ambient fall detection sensors also report that a suspected fall might have occurred. The DSS takes a decision to alert Jim's caregivers and family members, who receive an alert on their smartphone. It can also be extended to the case where the family and caregivers communicate with the system (via telepresence) and DSS, after having received the fall. 2) Health parameter variation due to cardiac arrest, and fall detection (Critical) Jim has unusual ECG variations detected by the heart monitoring sensor due to a cardiac arrest, and falls. The ECG variations and fall event are communicated to the DSS through the gateway, and the DSS analyzes the situation and infers that a fall has occurred due to cardiac arrest. Next, it informs caregivers (possibly hospital) and family of the events, for immediate rescue. 3) Planning of Jim’s daily activities and issuing reminders (Non critical) The case-based planning of DSS should be able to propose daily activity plans for Jim based on his health condition and input from caregivers. It should also send reminders to Jim if he has forgotten to do any of scheduled activities, like missing a medication or reminding of an appointment with doctor etc. The choice of programming language for implementation is flexible, yet the preferred ones are C or Java. Expected Outcomes: 1) Literature Review of existing DSS. 2) Selection and adaptation of Intelligent DSS algorithms. 3) C/Java implementation of the selected/proposed algorithms. 4) Evaluation of correctness (logical and real-time if the case) of outcomes for the selected scenarios via simulation. 5) Thesis report (in English).  
Company: IDT, kontaktperson: Ashalatha Kunnappilly
Proposed:2016-11-03 
IDT supervisor: Ashalatha Kunnappilly
ashalatha.kunnappilly@mdh.se,
Examinator: Cristina Seceleanu
Cristina Seceleanu
cristina.seceleanu@mdh.se, +46-21-151764
Title:Development of a Common Architecture in the Context of Safety Critical Product Lines 
Subject:
Level: Advanced
Description:Description: The goal of this thesis is to collect information on how the E/E architectures are described for different products in industry today. Based on the requirements of the standard, the Master student shall apply model-based engineering (UML, SYSML, and similar) and propose how an architecture should be described to close the gaps. Tasks included: 1. Studying how the E/E Architecture is described in industry today. 2. Studying what standards propose ISO 42010 (Systems and software engineering – Architecture description) 3. Getting familiar with functional safety work related to the architecture phase 4. Building upon the efforts made for variability management and how this relates to developing an architecture 5. Getting familiar with Enterprise Architect or similar for modeling in UML, SYSML 6. Investigate how to model an E/E Architecture under consideration of the learned 7. Providing a case study Required outcome: • An analysis of best practices in industry and identifying how to fill gaps related to the standard requirements • An approach to model the architecture and to highlight common parts • Applying the proposed approach to an industrial case • Evaluating the approach based on predefined criteria  
Company: Volvo Construction Equipment, kontaktperson: Stephan Baumgart
Proposed:2016-10-04 
IDT supervisor: Stephan Baumgart
stephan.baumgart@mdh.se,
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324
Title:Modeling and Analyzing Collaborating Heavy Machines 
Subject:
Level: Advanced
Description:Target: Modeling and analyzing collaborating autonomous machines, using different modeling languages and tool with different goals and analysis support, namely Rebeca, Ptolemy. Motivation: To build dependable systems we need to be able to have different techniques for thorough analysis. There is a wide range of analysis techniques, including testing, simulation, assertion check, light weight formal verification and statistical model checking. Building different models of the system, in various levels of abstraction, helps in managing the complexity in analyzing cyber physical systems and systems of systems. Different models and techniques are available with different features and supporting tools. Here we choose two platforms, Rebeca and Ptolemy, which both target distributed and concurrent systems, and can model timing constraints. Rebeca tools can check assertions and deadline misses, while Ptolemy shows the architecture and is supported by a powerful and visual simulation tool. Both tools provide performance evaluation, and make it possible to explore the design space to make better design decisions. Tasks • Reverse modeling from implementation in ROS towards Rebeca (and in a second project towards Ptolemy) • Modeling [communication] collaboration protocols and behavior of collaborating Heavy Machines - Check the communication on different layers (hint: this can be a different project) Sub-tasks: • Learn Rebeca (Ptolemy) and its supporting tools • Reverse-model the code: Map the [ROS] case study code to Rebeca (Ptolemy) • Find the mapping between ROS and Rebeca (Ptolemy) • Specify the safety and progress properties to check, like the minimum distance between machines, relation between the speed of a machine and its distance from others, no deadlock • Specify the performance measurements, like maximum throughput of several collaborating machines, least waiting time for a service request to be completed • Do the analysis: assertion-check and performance evaluation • Model the architecture and check the design space, where to put what component Background ROS: The Robot Operating System (ROS) is a flexible framework for writing robot software. It is a collection of tools, libraries, and conventions that aim to simplify the task of creating complex and robust robot behavior across a wide variety of robotic platforms. [http://www.ros.org/] Rebeca: Rebeca (Reactive Objects Language) is an actor-based language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications. It can be considered as a reference model for concurrent computation, based on an operational interpretation of the actor model. It is also a platform for developing object-based concurrent systems in practice. [http://www.rebeca-lang.org/wiki/pmwiki.php] Ptolemy: The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying principle in the project is the use of well-defined models of computation that govern the interaction between components. A major problem area being addressed is the use of heterogeneous mixtures of models of computation. [http://ptolemy.eecs.berkeley.edu/] Expected Results • Patterns from Mapping from ROS to Rebeca or to Ptolemy • Assertion check results • Performance evaluation results • Test cases • Finding the bugs • In case of Ptolemy – we get a simulation environment  
Company: Volvo Construction Equipment, kontaktperson: Stephan Baumgart
Proposed:2016-10-04 
IDT supervisor: Stephan Baumgart
stephan.baumgart@mdh.se,
Examinator: Sasikumar Punnekkat
Sasikumar Punnekkat
sasikumar.punnekkat@mdh.se, +46-21-107324
Title:Combining Big Data with Domain Knowledge 
Subject:
Level: Basic or Advanced (contact supervisor)
Description:Today big data searches for valuable data in an uninformed way. This is tedious and lots of valuable information may be missed. By adding domain knowledge the potential of finding valuable knowledge is large. You will design, implement and validate a system mining data in an more "intelligent" way than state of the art using Artificial intelligence. 
Proposed:2017-01-12 
IDT supervisor:Peter Funk
peter.funk@mdh.se, +46-21-103153
Title:Automatically Reproducing Bugs from the Bug Report 
Subject: Computer Science
Level: Advanced
Description:Reproducing the bug is an essential step in fixing the bug. Due to the inherent complexity of the hardware and software systems, most software deployed on client machines may have software errors. Even though sophisticated software analysis techniques are being used nowadays in various phases of the software development lifecycle, the theoretical limitation does not guarantee always that the software systems are bug-free. Once the bug report is obtained from a user, many man-hours are spent in identifying and fixing the bugs manually. Sometimes, the bug is not even fixed at all. In this work, we assume that a bug report is produced by a user using a buggy software. The bug report often is the crash report specifying where the software has been crashed. Alternatively, the report may specify that the software is having an abnormal behavior (wrong output) in some special circumstances. The next step would be to use some static analysis tools such as program slicing, symbolic execution to identify the possible location/origin of the bug. The expected outcome of the thesis should be (i) a method to analyze the buggy software showing possible fault locations (ii) an implementation of the proof-of-concept, and (iii) the thesis report.  
Proposed:2016-11-04 
IDT supervisor: Abu Naser Masud
masud.abunaser@mdh.se,
Examinator:

,
Title:Integration Testing of .NET Applications 
Subject:
Level: Advanced
Description:An application typically consists of several units and components. In integration testing the interface and interactions of different units and components are tested. Considering an existing .NET application (e.g., C#), the goal in the thesis is to automatically detect the dependencies and interactions among different units in order to derive integration test specifications. Expected Outcome: algorithm(s) and tool(s) to analyze and detect dependency of different application units (e.g., in terms class calls...), and generate appropriate integration test cases This thesis is defined as part of the PiiATest project which is an ongoing research project on integration testing with ABB Process Automation in Västerås. 
Company: SICS Swedish ICT & ABB, kontaktperson: Mehrdad Saadatmand
Proposed:2016-11-04 
IDT supervisor: Mehrdad Saadatmand
mehrdad.saadatmand@mdh.se, +46-(0)21-107336
Examinator: Antonio Cicchetti
Antonio Cicchetti
antonio.cicchetti@mdh.se, +46-21-151762
Title:Embedding a Simulink Model in SUMO Simulation 
Subject: Computer Science
Level: Advanced
Description:Embedding a Simulink Model in SUMO Simulation The automotive industry is on the verge of replacing mechanical systems with electrical ones. Such systems are commonly tested for functional properties in the design phase and ammended by tests for non-functional properties during the prototype phase. This goal of this thesis is to embed an existing model of a brake-by-wire system (BBW) from the industry into the realistic traffic simulator. The thesis comprises the following sub-goals: a) understand the simulink model of the BBW system that is provided, b) connect the model to the simulator to take over and provide for controlling the braking behavior, and c) test non-functional properties like braking distance within limited provided scenarios. This thesis work is defined in the scope of the TOCSYC project. TOCSYC is a research project establishing an environment combining five Swedish groups in software testing research to advance the knowledge of testing critical characteristics of complex embedded systems. The overall goal of TOCSYC is to enable and support cost-effective testing for critical characteristics in embedded systems by providing Swedish industry with new and improved tools and techniques for efficient and effective testing as well as the decision-support procedures necessary to select the right testing tools or techniques for their context. 
Proposed:2016-11-04 
IDT supervisor: Nils Muellner
nils.muellner@mdh.se,
Examinator: Daniel Sundmark
Daniel Sundmark
daniel.sundmark@mdh.se, +46-21-103145
Title:Smartphone application for eye monitoring of drug abuse  
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Problem description: EHealth solutions for the monitoring and treatment of drug addictions (both prescription and illegal) needs general, "cheap", and mobile ways to measure if a patient is sober or influenced by a drug. New designer drugs are not always chemically well-defined and/or legally blocked and ways to do rapid non-laboratory based and non-invasive measurements is lacking (e.g. dip-stick screening assays often needs urine or blood). To help the patient to recover from their addiction(s) new general methods are needed to frequently (several times/day) measure the use of known and new drugs during the therapy. Method and expected outcomes: Develop an Android app which use the mobile phone camera to film how the pupil of the eye reacts on a rapid change of light, e.g. flash light. The eye-movie will be transferred a Kontigo Cares Azure cloud database and results from the analysis sent back to the mobile phone. The baseline in the future system will be the patient themselves as “sober” – i.e. it will be enough to be able to detect deviation from their own baseline. Level 1: The app should include at the following functions: 1. Start a film in the smartphone to collect pictures from the eye(s) 2. Use distance measurement device of the phone camera to measure right distance to the eye 3. Send a flash light (and/or a signal to an external diode) to create an eye contraction 4. The film is collected during x sec and stored in the smartphone 5. The phone connects to and transforms the film to Kontigo Cares Azure cloud database for storage and processing Level-2: Data processing in the smartphone and/or in the cloud database: 6. Implement the algorithms (in the phone and/or web-portal which communicate with database) developed in an earlier MDH-project to perform pupil tracking and conversion of the film into a well-defined data matrix containing data on the eye pupil size variation over time 7. Use machine learning algorithms (e.g. Azure machine learning) to classify data into green, orange and red. 8. Display (smartphone internal processing) or most probably send results (web-processing) from the cloud database to the phone and display a) repeat measurement (B-sample 💉or poor data quality🌨) or a green message ☻  
Company: Kontigo Care AB, kontaktperson: Markku Hämäläinen
Proposed:2016-11-04 
IDT supervisor: Elaine Åstrand
elaine.astrand@mdh.se,
Examinator:

,
Title:Eye-tracking controlled gaming: novel feedback training for enhanced working memory 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Diverse physiological variables have been proposed to reveal the intensity and locus of Working Memory (WM) and attention and, among them, there is a growing interest in ocular signals, including eye movements, pupil size, blink and saccade frequency and duration, which have been shown to be associated with the intensity and locus of WM and attention. Linking eye movements and pupil size measurements to cognition could open up many possibilities for new applications using ocular variables to monitor attention and WM. The project should contain the following: 1. Acquisition of eye-data by UDP-streaming to Matlab. 2. Real-time extraction of WM and attention information from eye-tracking-data with the use of machine learning methods etc. 3. Design and implementation of feedback (i.e. changes in game environment) based on (2).  
Proposed:2016-11-04 
IDT supervisor: Elaine Åstrand
elaine.astrand@mdh.se,
Examinator:

,
Title:Swarm platform 
Subject:
Level: Advanced
Description:Idag finns väl utvecklade drönare med bra GPS system tillsammans med diverse kommando funktioner (uppgifter som en drönare kan utföra). Däremot är det ovanligt att drönare har förmågan att kommunicera med varandra på ett effektivt sätt och än mindre att samarbeta alternativt utföra varandras uppgifter. Arbetet i detta förslag är att utveckla en dynamisk plattform som ger möjlighet för drönare att kommunicera med varandra och överta varandras uppgifter. Detta kan vara till stor nytta längre fram i tiden då autonoma system blir allt mer intelligenta, mer adaptiva och kommer därmed behöva ha större möjlighet att samarbeta. Today, there are well-developed drones with good GPS system along with various command functions (information that a drone can perform). However, it is unusual that the drones have the ability to communicate effectively, much less cooperate alternatively carry each other's data. The work of this proposal is to develop a dynamic platform that allows for the drones to communicate with each other and take each other's data. This can be very useful in the future when the autonomous systems are becoming more intelligent, more adaptive and will therefore need to have more opportunity to cooperate.  
Proposed:2016-11-04 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:Adaptation of control systems for charge and load of batteries 
Subject:
Level: Advanced
Description:Ett optimerat reglersystem är inställt efter ett batteris givna laddning vid det tillfället då systemet optimerats. Detta brukar göras då batterisystemet är fullt laddat för att undvika “overshoot”. Situationen kompliseras av att när batteriet börjar laddas ur så sjunker spänningen och eventuellt även förmågan att leverera strömmar vilket minskar prestandan hos reglersystemet. Syftet med detta examensarbete är att optimera ett konventionellt reglersystem för att bibehålla responsivitet då detta sker. An optimized control system is set for a battery's charge given at the time when the system is optimized. This is usually done when the battery system is fully charged to avoid "overshoot". The situation kompliseras that when the battery is discharged so the voltage drops and possibly the ability to supply currents which reduces the performance of the control system. The purpose of this project is to optimize a conventional control systems to maintain responsiveness when this happens.  
Proposed:2016-11-04 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:Predictive lighting from an UAV at e.g. a search party  
Subject:
Level: Advanced
Description:Den här uppgiften skulle gå ut på att skicka upp en drönare i luften och assistera människor för olika uppgifter i mörker. i arbetet ingår att identifiera exempelvis en person på marken och att förutspå riktning och avstånd till området som önskas belysas och på sätt ligga före i tiden. This task would go on to launch a drone in the air and assist people for different tasks in the dark. The work includes identifying, for example, a person on the ground and to predict the direction and distance to the desired highlighted and the way ahead in time. 
Proposed:2016-11-04 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:MPC (Model Predictive Control) for UAVs 
Subject:
Level: Advanced
Description:I detta arbete skall man väga in olika algoritmer, ex PID och Kalman filter för att göra en simulering av framtiden och därifrån välja den bästa outputen En MPC fungerar på så sätt att ett antal olika reglersystem samverkar till att ge den bästa approachen till en lösning på regleringen för varje iteration. Detta ger oanade möjligheter vad gäller kombinationen utav dessa reglersystem. Modellen fungerar utifrån en simulering av den fysiska modellen som görs utefter kända parametrar, så som nuvarande rörelsemängd, rotationshastighet etc för varje implementerat reglersystem. Det som visar bäst resultat inför kommande reglering är det som väljs. Vissa utav dessa kan vara artificiella intelligenser. This work will take into account different algorithms, such as PID and Kalman filters to make a simulation of the future and from there select the best output The MPC works so that a number of different control systems interact to provide the best The approach to a solution to the regulation for each iteration. This provides unprecedented opportunities in terms of the combination out of these control systems. The model works by a simulation of the physical model made along the known parameters, such as current operating amount, revolution speed, etc. for each control system implemented. It is showing the best results for future regulation is chosen. Some out of these may be artificial intelligences.  
Proposed:2016-11-04 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:Control of the transition from vertical to horizontal flight of an VTOL UAV 
Subject:
Level: Advanced
Description:Den här uppgiften går ut på att implementera ett kontrollsystem för en UAV som har förmågan att växla mellan vertikalt till horisontellt läge (multirotor som går över till flygplan). Dessa reglersystem är var för sig sedan länge beprövade och kombinationen samt övergången är ett moment som få stora aktörer har försökt sig på utan att nå perfektion. Fokus här är övergångsfasen och hur denna regleringen ska gå till. This task is to implement a control system for a UAV that has the ability to switch from vertical to horizontal mode (multi-rotor moves to the aircraft). These control systems are each long-tested and the combination, and the transition is a moment that few major players have attempted without reaching perfection. The focus here is the transition phase and how this regulation should be done. 
Proposed:2016-11-04 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:Internet controlled drone 
Subject:
Level: Advanced
Description:Detta arbete fokuserar på att kontrollera en drönare där de övergripande besluten fattas på en en dator "i molnet". Detta kan handla om allt från samverkan mellan flera drönare anslutna till samma server till att en enskild drönare skall utföra komplexa uppgifter där tyngre beräkningar krävs av en dator. This work focuses on controlling a drone where the overall decisions are made on a computer "in the cloud". This can be anything from the interaction of several drones connected to the same server to an individual drone to carry out complex tasks where the heavy calculations required are carried out by a computer that can't be situated on the drone itself. 
Proposed:2016-11-04 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:Investigation of different properties of underwater camera systems 
Subject:
Level: Advanced
Description:Underwater robotics is a great challenge, not only because of the need to protect the electronics from the water, the ability to withstand high pressures, the difficulty to test and verify behaviour, and the change of environmental properties have effect on sensors. One key sensor in robotics is the camera, which through computer vision, can be used to detect objects, for mapping and self-localization, tracking, etc. However, underwater vision is proven to be much more difficult than vision in air. One of the most obvious reasons is the clarity of the water, which has a great impact on the visible range. Factors like particles (natural or foreign - due to pollution), saliency, and temperature (språngskikt) play a part and need to be investigated on a case-by-case basis. Another challenge is posed by the absorption of light in water, i.e. that light of different wavelength are not equally suppressed, and hence an object may appear to have different colour depending on the distance to the camera/light source. Yet another challenge, this time associated to the camera system itself, is refraction. When light travels between materials of different densities, such as air, glass/acryl and water the rays will be bent at the surface (see Snell’s law). This can be observed by looking at an oar. Where the oar meets the water it appears to bend and the part under water appears relatively closer. This is the reason why a flat port underwater camera will suffer from radial distortion (pin cushion) and, taken on step further, off-centre chromatic aberration due to dispersive refraction. These effects are exacerbated by wide angle lenses, which are preferable/necessary due to the short visual range. The work in this thesis will be to: • Investigate properties of flat port underwater images, and stereo, refractive geometry, i.e. correct for an imperfect cameras system in software. One way to circumvent distortions is the use of dome ports. The general idea is that concentric to the camera; place a transparent dome, with a radius corresponding to the angle to the lens, in order for all light rays to travel between the dome and water perpendicular to the surface. • Investigate properties of dome ports, size, non con-centric, stereo. Can two cameras be placed in the same dome without too much degrading quality? Can very small ports be used? A second alternative is to use wet lenses, i.e. lenses that are constructed to be in direct contact with water. • How can wet lenses be implemented for Naiad/GIMME2? In this thesis we would like to investigate the properties of the three different camera systems.  
Proposed:2016-11-04 
IDT supervisor: Carl Ahlberg
carl.ahlberg@mdh.se, +46-21-101573
Examinator: Mikael Ekström
Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Title:A configurable slider for enhanced model usage 
Subject:
Level: Advanced
Description:Modelling and model-driven engineering are current practices in industry for efficiently developing complex software-intensive systems. Models are meant as means to both simplify human communication (descriptive models) and enable automatic generation of the actual software product (prescriptive models). Complex software usually leads to complex prescriptive models. Nevertheless, some stakeholders still need to be able to abstract from a variable set of details carried by these models depending on their specific needs. In order to allow a swift visual simplification of complex models, this thesis aims at providing a configurable slider which allows the stakeholder at hand to augment/diminish the level of detail carried by the model both syntactically and semantically. 
Proposed:2016-11-07 
IDT supervisor: Federico Ciccozzi
federico.ciccozzi@mdh.se, +46 21 151762
Examinator: Antonio Cicchetti
Antonio Cicchetti
antonio.cicchetti@mdh.se, +46-21-151762
Title:Cloud computing simulator for industrial systems 
Subject:
Level: Advanced
Description:CONTEXT AND AIM: Cloud computing has attracted a lot of attention in the last years both in academia and industry [1]. However, carrying out research in cloud computing requires a suitable research platform [2], which is typically developed ad-hoc for specific research purposes, and sometimes it might also be far from realistic scenarios. This calls for reliable and modular simulation platforms that are validated over real platforms. This becomes even more relevant when a cloud infrastructure is not present yet, and preventive analysis is required for the deployment in an industrial context. The scope of this thesis can be adapted to the students background, and it can cover different aspects, ranging from identifying and validating models of computational resource usage of different cloud applications, up to the analysis and the development of vertical and horizontal scaling techniques. GOALS: This thesis work has the goal to investigate the current literature about cloud simulation in industrial contexts. Moreover, depending on the students background and interests, it will include analysis of state-of-the-art techniques for vertical and horizontal scaling or models for computational resource usage in cloud applications. THESIS EXECUTION: The work described in this thesis proposal is expected to be developed by two students. The work will be done within the project Future factories in the Cloud (FiC) (http://www.es.mdh.se/projects/430-FiC), in which companies like Volvo and e-on are part of the steering committee, providing interesting industrial use cases. BIBLIOGRAPHY: 1. Georgia Sakellari, George Loukas, A survey of mathematical models, simulation approaches and testbeds used for research in cloud computing, Simulation Modelling Practice and Theory, Volume 39, December 2013, Pages 92-103, ISSN 1569-190X, http://dx.doi.org/10.1016/j.simpat.2013.04.002. 2. Calheiros, R. N., Ranjan, R., Beloglazov, A., De Rose, C. A. F. and Buyya, R. (2011), CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. Softw: Pract. Exper., 41: 23–50. doi:10.1002/spe.995 
Proposed:2016-11-18 
IDT supervisor: Alessandro Papadopoulos
alessandro.papadopoulos@mdh.se,
Examinator:

,
Title:Design of a robot and site control system 
Subject:
Level: Advanced
Description:About us. Volvo Group Trucks Technology (Volvo GTT) covers the entire value chain from long-term research to final delivery of complete vehicles. This includes technology/process development for production as well as supporting the products in the aftermarket. GTT plays a vital role in contributing to the profitability, by providing competitive brand unique products that are based on common architecture and shared technology. By leveraging the combined size of the truck brands, GTT supports the Volvo Group's vision to become the world leader in sustainable transport solutions. Volvo GTT has 10.000 employees working in global teams with focus on delivering world-class engineered products and services. Background and description Some years ago, Volvo GTT started a project involving three universities developing a complete system for automatic emptying of garbage bins in a sub-urban area. The project earned a lot of interest from companies and cities all over the world and there are now plans on starting a project with several robots working together in a sub-urban area taking care of the waste produced. The thesis is about setting the requirements for the robots, for the bins, for the emptying and charging stations and for a site control system.  
Company: VOLVO GTT, kontaktperson: Per-Lage Götvall
Proposed:2016-11-25 
IDT supervisor: Mikael Ekström
mikael.ekstrom@mdh.se, +46-21-101671
Examinator:

,
Title:Activity monitoring in daily life using Angel  
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:This project belongs to Life Science Technology AB a Stockholm based company providing software for m-health application to smart device vendors. Background Wearable devices with advanced sensors become more and more used not only for fitness but also for identifying potential health issues. In an aging population fall detection and fall risk assessment is crucial. In Sweden the cost for society is 26.4 billion every year. Sensors can play an important role in early warning system to assess the risk of falling. A wearable device collects data from the senior citizen and an expert system in the cloud will analyze the time series to detect deviations from a normal behavior. This is especially useful for elderly persons living alone in their home environment. A first step was made in the “fallen angel” project spring 2016 focusing on fall detection. Now it is time to look at predicting increased risk of falling. Thesis task The task is to identify activities in daily life (ADL), communicate it to a cloud server and provide trends and changes in user behavior over time. The ADL recognition and analysis will be done in an Android app but also communicated to an existing cloud service. The ADL is checked regular every 5-15 minute and the activity is tested against a pre-defined set of ADL common to most elderly persons. The task includes a theoretical analysis of AI algorithm to be used, collection of training data to recognize activities and a model for identify “normal activity” and “deviations from normal activity” for an individual. The project will use any suitable wearable device such as Angel, MS Band 2 or Motorola smart watch. It is up to the students to decide what device to use. Expected results - ADL recognition using machine learning algorithms - A working android application monitoring ADL and changes in user behavior - Database with training sets for at least 10 ADL Lessons learned from the implementation  
Company: lifescience technology, kontaktperson: Peter Eriksson
Proposed:2016-12-04 
IDT supervisor: Mobyen Uddin Ahmed
mobyen.ahmed@mdh.se, +46-21-107369
Examinator: Shahina Begum
Shahina Begum
shahina.begum@mdh.se, +46-21-107370
Title:Data Center Operation Simulation 
Subject:
Level: Advanced
Description:Tasks Data centers are one of large energy consumers with over 35% of energy used for cooling. Energy efficiency is an important issue for data centers. Data center infrastructure modeling and operation simulation are one approach to investigate energy saving potential. The tasks of this thesis work is to further develop data center infrastructure simulation models with MATLAB/SIMULINK to cover subsystems, for example, data center IT system, cooling system and power supply system. Modeling and simulation work will focuses on power consumptions and interactions among subsystems. The simulation models will be used for optimal operation of data centers as industrial processes with various operation scenarios. Proposed activities • Literature survey and study earning knowledge on state-of-the-art. • Develop data center infrastructure simulation models in MATLAB/SIMULINK for specified systems • MATLAB/SIMULINK simulations for operation scenarios • Verify results from the developed models with available data • Master thesis project report and presentation  
Company: ABB CRC, kontaktperson: Xiaojing Zhang (xiaojing.zhang@se.abb.com)
Proposed:2017-06-13 
IDT supervisor: Ning Xiong
ning.xiong@mdh.se, +46-21-151716
Examinator:

,
Title:On the Combination of Runtime Verification and Automated Test Generation: A Systematic Mapping Study 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Software testing is typically a process where human testers manually write test inputs and expected test results and manually or automatically executing the software on these tests. As a solution to this challenge, automated test generation has been suggested to allow tests to be created with less effort and at lower cost. Runtime verification combines formal verification and testing and is suggested as a practical that can help in finding many errors in software by monitoring software execution. To automate the testing process several researchers have proposed the combination of automated test case generation with runtime verification. In this thesis, we undertake a systematic mapping study to present a broad review of studies on the combination of runtime verification and automated test generation. The motivation for this thesis is to identify the available evidence and to identify possible gaps in the combination of automated test generation and runtime verification. 
Proposed:2017-08-08 
IDT supervisor: Eduard Paul Enoiu
eduard.paul.enoiu@mdh.se, +46-21-101624
Examinator:

,
Title:A Systematic Mapping Study on Combinatorial Software Testing 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Software testing is typically a process where human testers manually write test inputs and expected test results and manually or automatically executing the software on these tests. Combinatorial testing has been suggested as an efficient and effective test design technique that can be used to create tests with less effort and at lower cost. In this thesis, we undertake a systematic mapping study to present a broad review of studies on the use of combinatorial testing. The motivation for this thesis is to identify the available evidence and to identify possible gaps in the use of combinatorial testing. 
Proposed:2017-08-25 
IDT supervisor: Eduard Paul Enoiu
eduard.paul.enoiu@mdh.se, +46-21-101624
Examinator:

,
Title:Using Combinatorial Testing for Testing Industrial Control Software: A Study on Timed Systems 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Combinatorial testing was proposed as a suitable technique for testing software based on a specific choice of input parameters. Test cases are created based on this strategy by varying the values of the inputs. However, this strategy might not be as effective when used on industrial control software for testing timed behaviour. The thesis will investigate the use of extending these techniques in order to incorporate the state and time related behaviour and it will evaluate these techniques on industrial programs written in the IEC 61131-3 programming language.  
Proposed:2017-08-25 
IDT supervisor:
,
Title:Using Combinatorial Testing for Testing Industrial Control Software: A Study on Timed Systems 
Subject: Computer Science
Level: Basic or Advanced (contact supervisor)
Description:Combinatorial testing was proposed as a suitable technique for testing software based on a specific choice of input parameters. Test cases are created based on this strategy by varying the values of the inputs. However, this strategy might not be as effective when used on industrial control software for testing timed behaviour. The thesis will investigate the use of extending these techniques in order to incorporate the state and time related behaviour and it will evaluate these techniques on industrial programs written in the IEC 61131-3 programming language.  
Proposed:2017-08-25 
IDT supervisor: Eduard Paul Enoiu
eduard.paul.enoiu@mdh.se, +46-21-101624
Examinator:

,
Title:Model-level timing analysis for UML-RT capsules 
Subject:
Level: Advanced
Description:UML-RT is a subset of UML specifically targeting modelling and development of embedded real-time systems. However, the available timing analysis mechanisms are still fairly limited considering the intended domain. The goal of this thesis is to investigate how an application modelled in UML-RT can be analysed to establish the worst case execution time for the different activities in the system. This requires analysis of the state machines of individual capsules (the main building blocks of UML-RT applications) as well as at system level where capsules are composed into systems. The developed analysis algorithms should be formally defined and then implemented as a plugin for an Eclipse-based UML-RT development environment.  
Proposed:2017-09-19 
IDT supervisor: Jan Carlson
jan.carlson@mdh.se, +46-21-151722
Examinator:

,
Title:Systematic literature review: Impediments for combining model-driven development and continuous integration/delivery 
Subject:
Level: Advanced
Description:Model-driven development is a well-established technique to manage the increased complexity of software systems by allowing developers to define structure and behaviour at a higher level of abstraction compared to traditional programming languages. At the same time, there is a strong current trend towards more agile development with shorter development cycles, striving towards continuous integration, delivery and deployment, also in industrial domains that have previously worked in longer development cycles. The combination of these two is far from straightforward, and is affected by impediments such as insufficient support across the tool chain, weak configuration management at model level, and lack of traceability between different artefacts. The goal of this thesis is to make a in-depth systematic literature review to identify existing research that have identified specific problems related to the combination of model-driven development and continuous integration/delivery, as well as proposals for how to overcome them. 
Proposed:2017-09-19 
IDT supervisor:Jan Carlson
jan.carlson@mdh.se, +46-21-151722


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23