Category Archives: Studies

Visualization of SAT-Solvers The SAT problem — determining if a formula in proposition logic is satisfiable — is decidable because you can construct a truth table. If there are n atomic propositions, there are 2^n assignments, so this is not an efficient algorithm. An efficient algorithm for SAT would solve the P=NP? problem in the affirmative, which is unlikely. However, many interesting algorithms for SAT (called SAT Solvers) have proved to be very efficient in practice. The algorithms are generally based on the DPLL (David, Putnam, Logemann, Loveland) algorithm and add sophisticated search methods and heuristics. The Master’s thesis project … Read more

(Autumn  2012) Background: A clean-slate information-centric network (ICN) architecture for Internet is being developed in the PURSUIT EU project. The system under work includes a global rendezvous service based on hierarchical DHT consisting of thousands of nodes dispersed cover different autonomous systems. The evaluation of system of this size is difficult, as router-level simulations do not scale to the whole Internet and global prototype deployment is not feasible. Therefore, we are developing our own distributed discrete event simulator tool, that can be run in a computer cluster for large-scale models. In addition, we have been collecting and combining existing data … Read more

Security Architecture for Short-range Wireless High-bandwidth Memory Access The project in NRC is for an M.Sc. thesis around the topic of defining and prototyping security architecture for a short-range high-bandwidth wireless memory access technology. Objectives To design and implement a security architecture for a short-range high-bandwidth wireless memory access technology. If feasible, also investigate the security issues for specific usage scenarios of this technology. Contacts in NRC: Jan-Erik Ekberg (jan-erik.ekberg@nokia.com), N. Asokan (n.asokan@nokia.com) More information: Antti Ylä-Jääski (antti.yla-jaaski@aalto.fi). Group communication in Low power and Lossy Networks Internet of things(IoT) is an integrated part of Future Internet, which mainly focuses on … Read more

SoberIT/Preago research group has open positions for Master’s Thesis in area of services in mobile devices and cloud. We focus on concepts and technologies in device cloud such as how content and service delivery and sharing takes place in device to device cloud and how devices from different users in each others’ proximity can start to collaborate automatically providing users value-adding, distributed and orchestrated behavior. Possible themes for thesis: Assessing device service elasticity in the cloud Self-management aspects of devices utilizing cloud Tool support for configuring services A subset of the following is appreciated: Familiarity with Meego and Linux Programming … Read more

Diplomityöpaikka vaatimusten kuvaustavoista ydinvoima-alalla SAREMAN projektissa on avoinna diplomityöpaikka, jossa on tavoitteena selvittää ja analysoida vaatimustenhallinnassa sovellettavia kuvaustapoja sekä soveltaa näitä kuvaustapoja ydinvoimalan automaation tarpeisiin. Lisäksi tavoitteena on laatia esimerkkivaatimuksia eräästä ydinvoimalaitoksen järjestelmästä kuvaustapojen soveltuvuuden validoimiseksi. Työ painottuu automaatioon ja sen käyttöliittymään, mutta molempia tarkastellaan osana laajempaa kokonaisuutta. SAREMAN projektin tavoitteena on kehittää hyviä käytäntöjä vaatimustenhallintaan ydinvoima-alalla. Fokus on erityisesti toiminnallisessa turvallisuudessa, joskin myös muunlaiset vaatimukset otetaan huomioon. SAREMAN projekti on suunniteltu nelivuotiseksi projektiksi 2011-2014 jossa tutkimus etenee vaatimustenhallinnan käsitteistön määrittämisestä, kuvaamisen ja mallituksen sekä käytäntöjen kehittämisen kautta lopuksi työkalutuen soveltamiseen. Työ tehdään Aalto-yliopiston tietotekniikan laitoksen ohjelmistoliiketoiminnan ja -tuotannon laboratoriossa … Read more