|
Announcements
[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 and Final year theses
| ID: | LIU-IDA/LITH-EX-A--12/063--SE | | Title: | Designing and implementing an architecture for single-page applications in Javascript and HTML5 | | Abstract: | Click here to read the abstract. | | File: | Click here to download/view the thesis. | | Keywords: | Javascript, HTML5, SPA, Single-page application, Framework, MinimaJS, Architecture, Software, Web, SEO, Search engine optimization, testing, testability | | Author(s): | Jesper Petersson | | Contact: | Simin Nadjm-Tehrani |
| ID: | LIU-IDA/LITH-EX-A--11/006--SE | | Title: | Avancerad webbteknologi i mobila webbläsare | | Abstract: | Click here to read the abstract. | | Keywords: | Mobile Browsers, AJAX, Comet, User Interface, Mail and Document retrieval, HTML | | Author(s): | Linus Björk | | Contact: | Simin Nadjm-Tehrani |
| ID: | LIU-IDA/LITH-EX-G--11/005--SE | | Title: | Virtual Private Network Communication over a session layer socket protocol (SOCKS) | | Abstract: | Click here to read the abstract. | | Keywords: | VPN, SOCKS, JAVA, Socket, SSL | | Author(s): | Carl Richard Soler Avellén | | Contact: | Simin Nadjm-Tehrani |
| ID: | LIU-IDA/LITH-EX-A--11/050--SE | | Title: | A Linux-based, Web-oriented operating system designed to boot quickly | | Abstract: | Click here to read the abstract. | | Keywords: | Linux, Boot time, WebOS, Web Operating System, Netbook, Embedded systems | | Author(s): | Ulf Magnusson | | Contact: | Simin Nadjm-Tehrani |
| ID: | LIU-IDA/LITH-EX-A--09/006--SE | | Title: | Implementing Memory Protection in a Minimal OS | | Abstract: | Click here to read the abstract. | | Keywords: | MMU, Autosar, OSEK, Memory Protection, Embedded Systems | | Author(s): | Per Fagrell and Richard Eklycke | | Contact: | Simin Nadjm-Tehrani |
| ID: | LITH-IDA-EX-07/041-SE | | Title: | Adaptive Control of QoS-Priority Partitioned Real-Time Systems | | Abstract: | Click here to read the abstract. | | Keywords: | Adaptive control, Quality of Service, Real-time system | | Author(s): | Per Brännström | | Contact: | Mehdi Amirijoo |
| ID: | LITH-IDA-EX--07/031--SE | | Title: | A System for Dynamic Device Control between Linux and OSE | | Abstract: | Click here to read the abstract. | | Keywords: | Real-time, Virtualisation, Device drivers, embedded systems, hardware, OSE, Linux | | Author(s): | Erik Nordström | | Contact: | Simin Nadjm-Tehrani |
| ID: | LITH-IDA-EX--07/008--SE | | Title: | QoS-aware MAC layer protocol for wireless ad hoc networks | | Abstract: | Click here to read the abstract. | | Keywords: | MAC layer, QoS, CSMA/CA, DIFS, Contention window | | Author(s): | Muhammad Azam Akram | | Contact: | Calin Curescu |
| ID: | LITH-IDA-EX--06/048--SE | | Title: | Optimization of Data Carousels Distributing Interactive TV Based
Applications | | Abstract: | Click here to read the abstract. | | Keywords: | optimization, data carousel, data broadcast scheduling, demand
probability | | Author(s): | Anders Olsson | | Contact: | Calin Curescu |
| ID: | LiTH-IDA-Ex-05/082-SE | | Title: | Finite Horizon Prediction of Computer System State and its Applications to Reconfigurable Component-Based Real-time Systems | | Abstract: | Click here to read the abstract. | | Keywords: | real-time, feedback control, component, CBSD, aspect, AOSD,
prediction | | Author(s): | Torgny Andersson | | Contact: | Mehdi Amirijoo |
| ID: | LITH-IDA-EX--05/077--SE | | Title: | Demonstration software for the Radio Network Optimization products | | Abstract: | Click here to read the abstract. | | Keywords: | demonstration software, demo version, simulation, stubs, aspects | | Author(s): | Per Sandberg | | Contact: | Simin Nadjm-Tehrani |
| ID: | LITH-IDA-EX-05/014--SE | | Title: | Adaptive QoS Management in Dynamically Reconfigurable Real-Time Databases | | Abstract: | Click here to read the abstract. | | Keywords: | real-time databases, dynamic reconfiguration, quality of service, component-based software development, aspect-oriented software development, adaptive feedback control | | Author(s): | Daniel Nilsson and Henrik Norin | | Contact: | Jörgen Hansson |
| ID: | LITH-IDA-EX-05/055-SE | | Title: | A tool for automatic formal analysis of fault tolerance | | Abstract: | Click here to read the abstract. | | Keywords: | Dependability, Fault Tolerance, Esterel, Formal
Verification, System Safety | | Author(s): | Markus Nilsson | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-Ex-05/003--SE | | Title: | Configuration tool for component-based real-time databases | | Abstract: | Click here to read the abstract. | | Keywords: | real-time database system, worst case execution time, generic modeling environment,components, aspects | | Author(s): | Mu Peng | | Contact: | Jörgen Hansson |
| ID: | LITH-IDA-EX--04/110 | | Title: | Presence aware software using the Session Initiation Protocol | | Abstract: | Click here to read the abstract. | | Keywords: | SIP,Session Initiation Protocol,Presence,IM,client,server,subscribe,notify,event notification framework,IETF | | Author(s): | Henrik Leion | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-EX-04/072-SE | | Title: | Efficient Overload Management in Real-Time Database Systems | | Abstract: | Click here to read the abstract. | | Keywords: | real-time systems, real-time databases, overload management | | Author(s): | Tommy Strandelin | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-EX 04/071-SE | | Title: | QoS Management in Configurable Real-Time Databases | | Abstract: | Click here to read the abstract. | | Keywords: | aspect-oriented sofware development, component-based software development, real-time databases, feedback control scheduling, quality of service, freshness guarantees | | Author(s): | Mikael Björk | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-EX-04/070-SE | | Title: | Data Versioning in a Real-Time Data Repository | | Abstract: | Click here to read the abstract. | | Keywords: | real-time databases, concurrency control, relative consistency | | Author(s): | Hugo Hallqvist | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-EX-04/069-SE | | Title: | Concurrency Control in a Configurable Component-Based Real-Time Database | | Abstract: | Click here to read the abstract. | | Keywords: | concurrency control, real-time databases, aspect-oriented software development, real-time systems, aspects, components, similarity- based concurrency control, index concurrency control | | Author(s): | Kristoffer Erlandsson | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-04/064-SE | | Title: | Dynamic application download and memory
management for an IP-based set-top box | | Abstract: | Click here to read the abstract. | | Keywords: | dynamic application download, memory management, set-top box | | Author(s): | Per Andersson | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-EX-04/030--SE | | Title: | Code Generation from High-level Models of Reactive and Security Intrinsic Systems | | Abstract: | Click here to read the abstract. | | Keywords: | reactive systems, code generation, Harel statecharts, model-based development,
security intrinsic systems | | Author(s): | Anders Grahn | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-Ex-04/024-SE | | Title: | Evaluation of schedulers using the Enea Advanced Scheduling Framework and improvements of the framework software | | Abstract: | Click here to read the abstract. | | Keywords: | Real-time, Scheduling, RMA, Enea ASF, Embedded system | | Author(s): | Markus Malmgren | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-04/014--SE | | Title: | Management of QoS in Distributed MPEG Video Systems | | Abstract: | Click here to read the abstract. | | Keywords: | Quality of Service, Distributed Video Systems, Imprecise Computation, Feedback Control Scheduling, Congestion, MPEG Compression Standard | | Author(s): | Natalia Dulgheru | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-Ing-04/006-SE | | Title: | Log files analysis tools and open source software | | Abstract: | Click here to read the abstract. | | Keywords: | log file analysis, analysis tool, open source software, firewall | | Author(s): | Henrik Gränsman | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-ING-04/005-SE | | Title: | Implementing Differentiated Services in a Real-Time Database Simulator | | Abstract: | Click here to read the abstract. | | Keywords: | Quality of Service, Differentiated Services, Real-time Databases, Simulators | | Author(s): | Carl Olsson | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-03/074-SE | | Title: | Analysis of Intent Specification and System Upgrade Traceability | | Abstract: | Click here to read the abstract. | | Keywords: | Intent Specification, SpecTRM, Upgrades, Traceability, Verification, Component-Based Systems Engineering | | Author(s): | Jonas Elmqvist | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-Ex-03/33 | | Title: | Aspect Analyzer: A Tool for Automated Worst-Case Execution Time Analysis of Aspects and Components | | Keywords: | real-time systems, worst-case execution time analysis, aspects, software components | | Author(s): | Pernilla Uhlin | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-03/30 | | Title: | Structuring Aspects in Embedded Database Systems | | Abstract: | Click here to read the abstract. | | Keywords: | aspect-oriented programming, embedded database system, failure detection, synchronization, error handling | | Author(s): | Ke Sheng | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-Ing-03/017-SE | | Title: | Aspect analyser tool verification | | Abstract: | Click here to read the abstract. | | Keywords: | real-time systems, worst-case execution time analysis, aspect-oriented software development, component-based software development | | Author(s): | Joakim Bodin | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-03/13 | | Title: | Efficient Data Management in Engine Control Software for Vehicles: Development of a Real-Time Data Repository | | Abstract: | Click here to read the abstract. | | Keywords: | Real-time systems, real-time databases, real-time operating systems, concurrency control, scheduling | | Author(s): | Marcus Eriksson | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-Ing-03/008 | | Title: | Methods for presentation of statistics in Teligent Messaging System | | Abstract: | Click here to read the abstract. | | Keywords: | Diagram, statistic, database, graphical presentation | | Author(s): | Elin Andersson och Magnus Linderud | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-02/106 | | Title: | SIP-based Support for a Multimedia Mail Platform | | Abstract: | Click here to read the abstract. | | Keywords: | SIP, multimedia, UM, presence, IP telephony, VoI | | Author(s): | Johanna Gustafsson, Daniel Hellström | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-02/102 | | Title: | High-Level Development and Formal Verification of Reconfigurable Hardware | | Abstract: | Click here to read the abstract. | | Keywords: | Esterel, FPGA, Formal Verification, Safety-Critical Systems | | Author(s): | Jerker Hammarberg | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-Ex-02/83 | | Title: | Analysis of an Engine Control System in Preparation of a Real-Time Database | | Abstract: | Click here to read the abstract. | | Keywords: | Real-time database, transactions, data validity, engine control | | Author(s): | Martin Jinnelöv | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-02/47 | | Title: | Distributed simulation with HLA | | Abstract: | Click here to read the abstract. | | Keywords: | HLA, High Level Architecture, Missile, Simulation, Distributed system,Network | | Author(s): | Patrik Svensson | | Contact: | Anders Törne |
| ID: | LiTH-IDA-Ex-02/38 | | Title: | Load Control in a Radio Network Controller within UMTS | | Abstract: | Click here to read the abstract. | | Keywords: | 3G Mobile communication, load control, user traffic modelling, adaptive QoS | | Author(s): | Tomas Lingvall | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-Ex-02/23 | | Title: | Integration of real time services into a commercial relational database system | | Author(s): | David Steen | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-Ing-02/14 | | Title: | Realtidssystems- och schemaläggningssimulator med dynamiska exekveringsprofiler | | Author(s): | Tobias Forsberg | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-01/48 | | Title: | Development of Windows CE based terminal for Retail business | | Abstract: | Click here to read the abstract. | | Keywords: | databaser, replikerad databas, data synkronisering | | Author(s): | Björn Haulin | | Contact: | Jörgen Hansson |
| ID: | LiTH-IDA-Ex-00/21 | | Title: | Insamling och lagring av data från högupplösande naturresurssatelliter | | Keywords: | high-resolution satellites | | Author(s): | Erik Johansson | | Contact: | Anders Törne |
| ID: | LiTH-IDA-Ex-Ing-00/8 | | Title: | Construction of a DFS client for the operating system Linux, for the use with a DFS server in a DCE network | | Abstract: | Click here to read the abstract. | | Keywords: | Linux, DFS / DCE | | Author(s): | Tomas Berndtsson | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH-IDA-Ex-99/100 | | Title: | Assured Selection: A Relaxed Concurrency Control Mechanism | | Keywords: | assured selection, concurrency control | | Author(s): | Cinzia Foglietta | | Contact: | Anders Törne |
| ID: | LiTH-IDA-Ex-99/91 | | Title: | Interfacing Mach2 hardware with PSCAD/EMTDC simulator | | Keywords: | PSCAD/EMTDC simulator, Mach2 | | Author(s): | Magnus Carnborg | | Contact: | Anders Törne |
| ID: | LiTH-IDA-Ex-99/22 | | Title: | Realtidssimulator för digital lobformning i aktiv/passiv sonar | | Keywords: | realtidssimulator, lobformning, sonar | | Author(s): | Maria Majlöv | | Contact: | Anders Törne |
| ID: | LiTH-IDA-Ex-99/20 | | Title: | Design of a multi-object real-time simulator kernel | | Keywords: | real-time simulator | | Author(s): | Samuel Johannesson | | Contact: | Anders Törne |
| ID: | LiTH-IDA-Ex-Ing-99/14 | | Title: | Kompislista för WAP-browser | | Keywords: | WAP | | Author(s): | Pär Stegander och Magnus Wass | | Contact: | Simin Nadjm-Tehrani |
| ID: | LiTH- | | Title: | Metadata Management for Meteorological Data | | Abstract: | Click here to read the abstract. | | Keywords: | data warehouses, meterological data, hydrological data,oceanographic data, metadata model | | Author(s): | Yuan Zhang | | Contact: | Jörgen Hansson |
|
|
