LiU > IDA > Real-Time Systems Lab
ABOUT
MEMBERS
COOPERATION
PROJECTS
PUBLICATIONS
COURSES
OPEN POSITIONS
THESES
ALUMNI

Announcements

[14 May 2018] A bachelor student at RTSLAB was awarded the best thesis award from IDA - Alexander Ernfridsson. more ...

[16 May 2017] A bachelor student at RTSLAB was awarded the best thesis award from IDA - Tim Hultman. more ...

[12 May 2016] A master student at RTSLAB was awarded the best thesis award from IDA - Alexander Alesand. more ...

[12 May 2016] A bachelor student at RTSLAB was awarded the best thesis award from IDA - Mathias Almquist and Viktor Almquist. more ...

[25 May 2015] A master student at RTSLAB was awarded the best thesis award from IDA - Klervie Toczé. more ...

[26 May 2014] A bachelor student at RTSLAB was awarded the best thesis award from IDA - Simon Andersson. more ...

[31 May 2012] A masters student at RTSLAB was awarded the best thesis award from IDA - Ulf Magnusson. more ...

[27 February 2008] A masters student at RTSLAB was awarded the best thesis award from IDA - Johan Sigholm. more ...

[03 March 2004] A masters student at RTSLAB was awarded the best thesis award from IDA - Tobias Chyssler. more ...

[01 Jul 2003] For second year in a row a masters student at RTSLAB was awarded the best thesis award from SNART - Mehdi Amirijoo. more ...

Master/Bachelor Thesis - Proposals

Energy study of augmented reality application

Contact: Simin Nadjm-Tehrani

Augmented (or mixed) reality consists in making virtual elements appear in the real environments via the use of smart devices such as smartphones or smart glasses. This technology has multiple possible applications, in particular in the future smart cities or for gaming purposes. However, real-time rendering puts a high strain on the resource-constrained smart devices, making it necessary to offload part of the computation to a more powerful device. This project would consist of combining Minecraft or Google´s ARCore Unity with edge/fog computing on a smartphone in order to study, for example, the energy consumption pattern of such an application.


Arguing for Safety and Correctness in Machine Learning Models

Contact: Simin Nadjm-Tehrani

Recent advances in machine learning are now being applied in safety-critical systems where software defects may cause severe harm to humans and the environment. Providing convincing arguments that such software-based systems are safe and correct is problematic due to human´s inability to understand the software, and thus fails to identify scenarios in which the software should be tested in. Several researchers have proposed formal verification methods that address these concerns, but the scalability of these methods put limitations on the size and complexity of the software being analyzed.

This thesis work aims to assess trade-offs between different machine learning models when the ability to argue for safety and correctness is important. A prototype of an airborne collision avoidance system is provided, implemented as a neural network, with formal requirements that must be verified for such systems to be deployed in the real world. The work will be done in collaboration with the Avionics Platform & Services division at Saab Aeronautics.


Vehicular platoon management using Bitcoin-inspired algorithms

Contact: Mikael Asplund

The virtual currency Bitcoin is having a disruptive effect on the financial sector. While initially considered as a curiosity, the technology behind bitcoin, so called blockchains now receive investments from companies like Goldman Sachs and IBM. The potential of blockchains go beyond that of currencies, allowing decentralised coordination and smart contracts, and IBM is advocating it as a basis for coordination in the Internet of Things. In this project the goal is to design, implement and evaluate a blockchain-based coordination mechanism for vehicular networks. More details will follow.


Säkra samhällstjänster: Molnberoenden och kritikalitet

Contact: Simin Nadjm-Tehrani

Ett företag som levererar olika samhällskritiska tjänster har flera olika delsystem som är mer eller mindre beroende av varandra. Dessutom upphandlas produkter och tjänster från tredje part. System som kan ha otydliga beroenden kan vara för komplexa för att ha en helhetssyn vad gäller kritikalitet och arkitektur. Målet med detta examensarbete är att med hjälp av tekniska redskap kartlägga systemkomponenter som är nödvändiga för att leverera en organisationstjänster, deras beroenden som uppfattas av olika aktörer inom organisationen, och hur incidenthantering för olika delsystem sköts. Utgångspunkten ska vara leverans av tjänsten och dess tillgänglighet. Kartläggningen sker genom informationssamling inne i organisationen eller underleverantörer (med betoning på molntjänster) och leder till ett underlag som kan användas för att skapa en generell metod för att effektivt göra likartade kartläggningar hos andra organisationer. Detta exjobb görs i samarbete med Svenska Kraftnät (Svk) inom ramen av forskningscentret RICS (www.rics.se).


Performance study of actor-based programs

Contact: Simin Nadjm-Tehrani

Functional reactive programming (FRP) is a high-level programming paradigm, by nature data-oriented, and as such very convenient for writing a whole category of applications (with GUI as a typical example). In previous work we studied FRP in the context of a telecom server, showing that it made it easier to write code than object-oriented programming (OOP) but not performant enough. The purpose of this work is to investigate intermediate programming paradigms in between FRP and OOP, that provide a satisfactory compromise between expressiveness and performance. In this work, Scala would be chosen as a target because at the same time it features a FRP library and it allows the implementation of actor-based programming that lies in between OOP and FRP in terms of expressiveness and efficiency. The objective would be not only to investigate the performance of the different models, but also to investigate the respective strengths of FRP and actor-based reactive programming in an application context. The work is performed in cooperation with I3S laboratory in Sophia Antipolis (France) and the candidate will spend a number of weeks on location near Nice.


Vehicular group membership resilient to malicious attacks

Contact: Mikael Asplund

Next generation of smart vehicles will use wireless communication and advanced sensor technology to enable platoon driving where vehicles coordinate their driving in order to make traffic more efficient and sustainable. Such advanced applications require vehicles to be able to accurately determine which other vehicles that are participating in the cooperation and to detect and adapt to changes as vehicles come and go. A key challenge is how such a membership protocol can withstand attacks from malicious actors in the environment (other vehicles or even from vehicles within the group).

This project is focused on design and implementation of a secure group membership protocol for vehicular groups. The project will start from an existing (insecure) implementation of a group membership protocol. After making a systematic threat analysis mitigation measures should be designed and evaluated against the identified threats.


Verktyg för att skapa syntetisk data och detektera anomalier

Contact: Simin Nadjm-Tehrani

Att säkerställa informationssäkerhet hos ett nätverkat system, t.ex. kritiska infrastrukturer som levererar samhällskritiska tjänster, bygger på analys av systemet under olika förutsättningar inklusive eventuella attack scenarier och felyttringar. För att kunna utföra systematiska och repeterbara tester där olika försvarsmekanismer utvärderas behöver man utsätta samma normalscenario för en mängd olika attacker och detektioner. Experiment med olika utgångspunkter kan skapas i en test nätverk där flera aktörer (forskare, leverantörer) kan testa sina prototyper och produkter. Därmed behöver data vara frikopplad från en viss organisation och inte kunna spåras till de ursprungliga miljöer där det skapades i. Målet med detta exjobb är att skapa syntetisk data som liknar realistisk data genom att "tvätta" data som normalt inte skulle vara tillgänglig inom en organisation, men som kan delas med andra aktörer under ordnade former. Exjobbsarbetet ska resultera i en metod med tillhörande verktyg som skapar syntetiska datan samt definiera kriterier och metrik för att validera både "likheten" med det ursprungliga datan och dessa anonimitetsegenskaper. Detta exjobb görs i samarbete med forskningscentret RICS (www.rics.se) och kommer till nytta för dess avnämare.


Theoretical analysis of distributed coordination

Contact: Mikael Asplund

Autonomous cars are already on the horizon. The next generation of self-driving cars will interact with other vehicles using wireless communication to coordinate their actions and and enable more efficient traffic solutions than human drivers can accomplish. However, distributed coordination is still an open problem, especially in situations where the local actions taken by vehicles propagate to other parts of the system causing congestion and unpredictable delays.

This Master’s thesis project will consider an abstraction of this problem in a theoretical setting to investigate the asymptotic behaviour of distributed coordination under varying circumstances. Consider a system composed of N mobile agents that move around in a directed graph G=(V,E). At any point in time a node v ∈ V can contain either zero or one mobile agents. Obviously |V| ≥ N.

Each agent can communicate locally with agents located in neighbouring nodes, and nodes up to h hops away (h being a parameter under study). Moreover, for each agent a there is a set of nodes Va such that the agent wishes to visit all nodes in Va as many times as possible. The performance of an agent is determined by the number of visits to the node in Va with the least number of visits.

The task of this thesis project will be to investigate the bounds on achievable performance under varying conditions (starting with a restricted setting, and using increasingly complex models). A suitable student should be comfortable with mathematical reasoning, and interested in theoretical analysis of distributed algorithms.


Interdependency modelling in critical infrastructure

Contact: Simin Nadjm-Tehrani

Tekniska verken delivers different critical societal services and has different subsystems that are more or less dependent on each other. It is a challenge to maintain a holistic overview of the systems and their interdependencies, criticality, and architecture. The aim of this thesis work is to create a map of those system components that are essential for delivery of several critical services, and determine how their dependencies is perceived by different actors within the organisation, as well as how incident reporting for the different systems is managed. The basic premise shall be the ability to deliver the service, i.e. availability. The investigation takes place through information gathering within the organisation or from the third party suppliers (about 20-25 persons). The result will be a basis for creation of a general methodology for performing similar investigations at other companies efficiently. This thesis project is performed in collaboration with the research centre RICS and will be useful for its stakeholders (within its reference group) including the company Sectra.


From location-tagged social interactions to mobility models

Contact: Simin Nadjm-Tehrani

The mobility of individuals over extended periods of time can increasingly be attached to their interactions over social networks. There are several applications (such as Twitter) that make tracking of the individual’s locality possible through tagging the social interactions with location data. This master thesis project (30hp) consists of two components: 1) a study of the state-of-practice in the social applications domain and identifying the extent of availability of the location data over time for a subset of interaction traces that are openly obtainable on the Internet. 2) using the traces collected to create typical (generic) movement patterns that one can use to test applications that are dependent on mobility models. For example dissemination of some attractive news, or a warning, on a peer-to-peer basis over a geographic area, and computing the latency for the dissemination based on the generic movement patterns (so called mobility models).


A secure BATMAN implementation for the Android platform

Contact: Simin Nadjm-Tehrani

Traditional internet based networks are composed of many networks with a number of core nodes. These nodes, which are owned by several cooperating entities, route the data according to pre-established agreements. As opposed to this, in mesh networks, there are many nodes than do not only transmit their own data, but they also forward the data of other nodes. The information routing in mesh networks is not based on agreements, but on dynamic routing or dissemination protocols. These protocol can be classified under "ad-hoc networking". One example protocol is BATMAN, a totally decentralised routing protocol that dynamically creates the routes to forward the data. It was originally intended for communication in rural areas where commodity mobile handsets can set up a network with no pre-existing infrastructure.

The decentralisation and the adaptability to network topology changes are the main advantages of BATMAN. Nevertheless, the information exchanged among the nodes to keep the routing tables is not protected and makes it vulnerable to attacks. The purpose of this thesis project is to 1) implement the BATMAN protocol on an Android platform (or find open source code that already does it). For this existing (C ) code on a simulation platform in our lab can be used as a basis. 2) Reduce the security threats by enhancing BATMAN with authentication based on X.509 certificates on the same platform. For this part existing code from another Master student project can be integrated.


Last modified February 2017. If you have questions or suggestions for the webpages, contact the webmaster