Hauptinhalt
Completed Theses at DAES Group (Bachelor, Master, PhD)
2019
- Kuan-Hsun Chen:
Optimization and analysis for dependable application software on unreliable hardware platforms.
2019, PhD thesis, Adviser: Prof. Dr. Jian-Jia Chen
[BibTeX][Link][Abstract]@phdthesis { khchenPhd,
title = {Optimization and analysis for dependable application software on unreliable hardware platforms},
author = {Chen, Kuan-Hsun},
school = {TU Dortmund},
year = {2019},
url = {https://eldorado.tu-dortmund.de/handle/2003/38110},
keywords = {Real-time systems, Fault tolerance, Embedded systems},
confidential = {n},
abstract = {As chip technology keeps on shrinking towards higher densities and lower operating voltages, memory and logic components are now vulnerable to electromagnetic inference and radiation, leading to transient faults in the underlying hardware, which may jeopardize the correctness of software execution and cause so-called soft errors. To mitigate threats of soft errors, embedded-software developers have started to deploy Software-Implemented Hardware Fault Tolerance (SIHFT) techniques. However, the main cost is the significant amount of time due to the additional computation of using SIHFT techniques. To support safety critical systems, e.g., computing systems in automotive and avionic devices, real-time system technology has been primarily used and been widely studied. While considering hardware transient faults and SIHFT techniques with real-time system technology, novel scheduling approaches and schedulability analyses are desired to provide a less pessimistic o -line guarantee for timeliness or at least to provide a certain degree of performance for new application models. Moreover, reliability
optimizations also need to be designed thoughtfully while considering different resource constraints.
In this dissertation, we present three treatments for soft errors. Firstly, we study how to allow erroneous computations without deadline misses by modeling inherent safety margins and noise tolerance in control applications as (m; k) constraints. We further discuss how a given (m; k) requirement can be satisfied by individual error detection and flexible compensations while satisfying the given hard real-time constraints. Secondly, we
analyze the probability of deadline misses and the deadline miss rate in soft real-time systems, which allow to have occasional deadline misses without erroneous computations. Thirdly, we consider how to deploy redundant multi-threading techniques to improve the system reliability under two different system models for multi-core systems: 1) Under core-to-core frequency variations, we address the reliability-aware task-mapping problem.
2) We decide on redundancy levels for each task while satisfying the given real-time constraints and the limited redundant cores even under multi-tasking. Finally, an enhancement for real time operating systems is also provided to maintain the strict periodicity for task overruns due to potential transient faults, especially on one popular platform named Real-Time Executive for Multiprocessor Systems (RTEMS).},
adviser = {Prof. Dr. Jian-Jia Chen},
}
As chip technology keeps on shrinking towards higher densities and lower operating voltages, memory and logic components are now vulnerable to electromagnetic inference and radiation, leading to transient faults in the underlying hardware, which may jeopardize the correctness of software execution and cause so-called soft errors. To mitigate threats of soft errors, embedded-software developers have started to deploy Software-Implemented Hardware Fault Tolerance (SIHFT) techniques. However, the main cost is the significant amount of time due to the additional computation of using SIHFT techniques. To support safety critical systems, e.g., computing systems in automotive and avionic devices, real-time system technology has been primarily used and been widely studied. While considering hardware transient faults and SIHFT techniques with real-time system technology, novel scheduling approaches and schedulability analyses are desired to provide a less pessimistic o -line guarantee for timeliness or at least to provide a certain degree of performance for new application models. Moreover, reliability
optimizations also need to be designed thoughtfully while considering different resource constraints.
In this dissertation, we present three treatments for soft errors. Firstly, we study how to allow erroneous computations without deadline misses by modeling inherent safety margins and noise tolerance in control applications as (m; k) constraints. We further discuss how a given (m; k) requirement can be satisfied by individual error detection and flexible compensations while satisfying the given hard real-time constraints. Secondly, we
analyze the probability of deadline misses and the deadline miss rate in soft real-time systems, which allow to have occasional deadline misses without erroneous computations. Thirdly, we consider how to deploy redundant multi-threading techniques to improve the system reliability under two different system models for multi-core systems: 1) Under core-to-core frequency variations, we address the reliability-aware task-mapping problem.
2) We decide on redundancy levels for each task while satisfying the given real-time constraints and the limited redundant cores even under multi-tasking. Finally, an enhancement for real time operating systems is also provided to maintain the strict periodicity for task overruns due to potential transient faults, especially on one popular platform named Real-Time Executive for Multiprocessor Systems (RTEMS).
- Sebastian Schwitalla:
Priority-Preserving Optimization of Hardware Filter Efficiency for Broadcast Buses.
June 2019, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Lea Schönberger, M.Sc.
[BibTeX][PDF]@bachelorthesis { schwitalla2019,
title = {Priority-Preserving Optimization of Hardware Filter Efficiency for Broadcast Buses},
author = {Schwitalla, Sebastian},
school = {TU Dortmund University},
year = {2019},
month = {June},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schwitalla-2019-bachelor.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen and Lea Sch\"onberger, M.Sc.},
}
- Iryna Denysenko:
Exploring the Performance of Hardware Message Filtering in Controller Area Network.
April 2019, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Lea Schönberger, M.Sc.
[BibTeX][PDF]@mastersthesis { denysenko2019,
title = {Exploring the Performance of Hardware Message Filtering in Controller Area Network},
author = {Denysenko, Iryna},
school = {TU Dortmund University},
year = {2019},
month = {April},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/2019-denysenko-diplomathesis.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen and Lea Sch\"onberger, M.Sc.},
}
2018
- Andreas Lang:
Ablaufplanungsverfahren zur effizienten Ressourcennutzung bei der Algorithmenkonfiguration von maschinellen Lernverfahren.
2018, M.Sc. thesis
[BibTeX]@mastersthesis { Land/2018,
title = {Ablaufplanungsverfahren zur effizienten Ressourcennutzung bei der Algorithmenkonfiguration von maschinellen Lernverfahren},
author = {Lang, Andreas},
school = {TU Dortmund},
year = {2018},
confidential = {n},
}
- Niklas Ueter:
Reservation-Based Federated Scheduling for Parallel Real-Time Tasks.
2018, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dipl. Inf. Georg von der Brüggen
[BibTeX][PDF]@mastersthesis { Ueter:2018,
title = {Reservation-Based Federated Scheduling for Parallel Real-Time Tasks},
author = {Ueter, Niklas},
school = {TU Dortmund},
year = {2018},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/ueter.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen and Dipl. Inf. Georg von der Br\"uggen},
}
- Juri Wenner:
Qualitätsoptimierung für digitale Bildverarbeitungsaufgaben in eingebetteten Systemen.
2018, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr.-Ing. Anas Toma
[BibTeX][PDF]@bachelorthesis { Wenner:2018,
title = {Qualit\"atsoptimierung f\"ur digitale Bildverarbeitungsaufgaben in eingebetteten Systemen},
author = {Wenner, Juri},
school = {TU Dortmund},
year = {2018},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/wenner.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen and Dr.-Ing. Anas Toma},
}
- Patrick Trockel:
Recognition of Attackers in the Context of Honeypots.
2018, M.Sc. thesis, Adviser: Prof. Dr. Peter Martini and Prof. Dr. Jian-Jia Chen
[BibTeX][PDF][Abstract]@mastersthesis { Trockel:2018,
title = {Recognition of Attackers in the Context of Honeypots},
author = {Trockel, Patrick},
school = {TU Dortmund},
year = {2018},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/trockel.pdf},
confidential = {n},
abstract = {According to the definition of a honeypot, any connection to or from this resource can
be considered as malicious and therefore as an attack. After detection, in particular, the
recognition of attackers or targeted attacks is a serious problem: Several sessions of pos-
sibly multiple attackers must be linked reliably.
For this purpose, an approach for targeted attacks is presented in this thesis which uses a
transparent proxy and a high-interaction honeypot as a foundation. These are integrated
into a complex architecture and allow an attacker to reach an isolated network segment
- the HoneyLab. Apart from the architecture active and passive measures are used to
recognize the attacker. Some of these include injection of unique credentials and URLs,
client and browser fingerprinting and a comprehensive data recording.
The main concept is to let the attacker build up a unique and compromised knowledge. If
the attacker uses this knowledge in several attacks or sessions, it will be used against him
which leads to recognition.
The implemented approach is evaluated with security professionals and random real-world
attackers. The security professionals were asked to behave as if they were participating
in a Capture the Flag (CTF) event and were reliably recognized by the approach. The
random real-world attackers could be detected but not recognized because they only used
automatic scans without any human interaction or malicious activities. Since targeted
attacks and not automatic scanners were focused, this can nevertheless be considered a
success.
},
adviser = {Prof. Dr. Peter Martini and Prof. Dr. Jian-Jia Chen},
}
According to the definition of a honeypot, any connection to or from this resource can
be considered as malicious and therefore as an attack. After detection, in particular, the
recognition of attackers or targeted attacks is a serious problem: Several sessions of pos-
sibly multiple attackers must be linked reliably.
For this purpose, an approach for targeted attacks is presented in this thesis which uses a
transparent proxy and a high-interaction honeypot as a foundation. These are integrated
into a complex architecture and allow an attacker to reach an isolated network segment
- the HoneyLab. Apart from the architecture active and passive measures are used to
recognize the attacker. Some of these include injection of unique credentials and URLs,
client and browser fingerprinting and a comprehensive data recording.
The main concept is to let the attacker build up a unique and compromised knowledge. If
the attacker uses this knowledge in several attacks or sessions, it will be used against him
which leads to recognition.
The implemented approach is evaluated with security professionals and random real-world
attackers. The security professionals were asked to behave as if they were participating
in a Capture the Flag (CTF) event and were reliably recognized by the approach. The
random real-world attackers could be detected but not recognized because they only used
automatic scans without any human interaction or malicious activities. Since targeted
attacks and not automatic scanners were focused, this can nevertheless be considered a
success.
- Siddharth Chithadka:
A PLC based real time material flow controller/calculator in warehouse management system.
2018, M.Sc. thesis, Adviser: Prof. Dr-Ing. Bernd Noche and Prof. Dr. Jian Jia Chen and M.Sc Cyril Alias
[BibTeX][PDF][Abstract]@mastersthesis { Chithadka:2018,
title = {A PLC based real time material flow controller/calculator in warehouse management system},
author = {Chithadka, Siddharth},
school = {TU Dortmund},
year = {2018},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/chithadka.pdf},
confidential = {n},
abstract = {The thesis involves developing the software architecture for material flow cal-
culator (Material Fluss Rechner: MFR) in small warehouse systems, which
not only helps in automating the process in semi automated or manual ware-
house conveyor line, but also increases the productivity of the same by auto-
matically scanning and updating the database. It further leads to systematic
representation of data in a warehouse thereby reducing the error in various
stages of material in warehouse and eventually reducing the turnaround time.
The proposed software model and architecture guides the material on con-
veyor line to the required destination in warehouse and it updates the datalog
file cyclically. The main emphasis on developing the Material flow calcula-
tor software model is laid on the algorithm which guides the material to the
required destination as early as possible by combining the ideas from vari-
ous optimisation algorithms like Improved Djikstra’s method and Disjunctive
Branch and Bound. Furthermore a brief working algorithm model to syn-
chronise the material flow with the database is also developed. In this thesis
work we propose a routing algorithm by modelling the material flow as a job
shop problem considering all the constraints and by having makespan as an
objective function. The above proposed heuristic algorithm tends to counter
problems seen like blocking or deadlocks and schedules the flow of material
in a optimised manner on a conveyor line. In order to quantify the algorithm
the logic is written in a PLC programming language (IEC 61131-3), similar
to ANSI C language which is realised through B\&R Automation Studio soft-
ware ® and the data during material flow is recorded by a Bar code reader
which is later synchronized cyclically with the SQL server database. To val-
idate the algorithm, the proposed software model was simulated on a B\&R
PLC PC 2100, which identified MFR’s performance under various scenarios.
},
adviser = {Prof. Dr-Ing. Bernd Noche and Prof. Dr. Jian Jia Chen and M.Sc Cyril Alias},
}
The thesis involves developing the software architecture for material flow cal-
culator (Material Fluss Rechner: MFR) in small warehouse systems, which
not only helps in automating the process in semi automated or manual ware-
house conveyor line, but also increases the productivity of the same by auto-
matically scanning and updating the database. It further leads to systematic
representation of data in a warehouse thereby reducing the error in various
stages of material in warehouse and eventually reducing the turnaround time.
The proposed software model and architecture guides the material on con-
veyor line to the required destination in warehouse and it updates the datalog
file cyclically. The main emphasis on developing the Material flow calcula-
tor software model is laid on the algorithm which guides the material to the
required destination as early as possible by combining the ideas from vari-
ous optimisation algorithms like Improved Djikstra’s method and Disjunctive
Branch and Bound. Furthermore a brief working algorithm model to syn-
chronise the material flow with the database is also developed. In this thesis
work we propose a routing algorithm by modelling the material flow as a job
shop problem considering all the constraints and by having makespan as an
objective function. The above proposed heuristic algorithm tends to counter
problems seen like blocking or deadlocks and schedules the flow of material
in a optimised manner on a conveyor line. In order to quantify the algorithm
the logic is written in a PLC programming language (IEC 61131-3), similar
to ANSI C language which is realised through B&R Automation Studio soft-
ware ® and the data during material flow is recorded by a Bar code reader
which is later synchronized cyclically with the SQL server database. To val-
idate the algorithm, the proposed software model was simulated on a B&R
PLC PC 2100, which identified MFR’s performance under various scenarios.
- Nils Hölscher:
Nested Preemption Fixed-Priority Scheduler for EV3OSEK.
2018, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Kuan-Hsun Chen
[BibTeX][Abstract]@bachelorthesis { Hoelscher:2018,
title = {Nested Preemption Fixed-Priority Scheduler for EV3OSEK},
author = {H\"olscher, Nils},
school = {TU Dortmund},
year = {2018},
keywords = {kuan},
confidential = {n},
abstract = {Lego Mindstorms Robots are a popular platform for graduate level researches and college education purposes. As a portation of nxtOSEK, an OSEK standard compatible real-time operation system, EV3OSEK inherits the advantages of nxtOSEK for experiments on EV3, the latest generation of Mindstorms robots. Unfortunately, the current version of EV3OSEK still has some critical issues. In this work I address task preemption, a common feature desired in every RTOS. But before relevant ARM specifications, parts of the OSEK standard and the historical background of EV3OSEK with nxtOSEK are explained. With this I reveal the related issues in the current design and propose corresponding solutions for EV3OSEK that fix the issues in the IRQ-Handler and the task dispatching properly, thus enabling real multi-tasking on EV3OSEK. My evaluations show that the current design flaws are solved. Along with this work, I checked the current usability of EV3OSEK and proposed some future work to enhance EV3OSEK further, to make it an alternative to
other OS’s for the EV3 devices. },
adviser = {Prof. Dr. Jian-Jia Chen and Kuan-Hsun Chen},
}
Lego Mindstorms Robots are a popular platform for graduate level researches and college education purposes. As a portation of nxtOSEK, an OSEK standard compatible real-time operation system, EV3OSEK inherits the advantages of nxtOSEK for experiments on EV3, the latest generation of Mindstorms robots. Unfortunately, the current version of EV3OSEK still has some critical issues. In this work I address task preemption, a common feature desired in every RTOS. But before relevant ARM specifications, parts of the OSEK standard and the historical background of EV3OSEK with nxtOSEK are explained. With this I reveal the related issues in the current design and propose corresponding solutions for EV3OSEK that fix the issues in the IRQ-Handler and the task dispatching properly, thus enabling real multi-tasking on EV3OSEK. My evaluations show that the current design flaws are solved. Along with this work, I checked the current usability of EV3OSEK and proposed some future work to enhance EV3OSEK further, to make it an alternative to
other OS’s for the EV3 devices.
- Rajith Hebbal Ravikumar:
Improvement of Vehicle Motion Information by Visual Odometry.
2018, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr. Holger Faisst
[BibTeX][PDF][Abstract]@mastersthesis { Ravikumar:2018,
title = {Improvement of Vehicle Motion Information by Visual Odometry},
author = {Ravikumar, Rajith Hebbal},
school = {TU Dortmund},
year = {2018},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/ravikumar.pdf},
confidential = {n},
abstract = {A driver-less vehicle and Vehicle-to-Anything (V2X) systems highly rely on accurate and
reliable motion information of the vehicle when it travels around the surrounding (inside
and outside) environment. As a consequence, it is essential to maintain the precise vehi-
cle’s information such as pose of the vehicle (position and direction) for its navigation.
Further, the most important dispute in autonomous application is to obtain good estima-
tion of position and orientation values for improving its performance. For accomplishing
this, the conventional localization approach seen in [1] use the measurements from Global
Navigation Satellite System (GNSS) and Inertial measurement unit (IMU).
The major drawback of that conventional approach is :
1 The errors will get accumulated over the time because of the drift present in the
IMU measurement data, and
2 The signal from GNSS will not be fully available or not reliable i.e. sometime the
strength of the GNSS signal will be diminished in some region, for instance, in
dense urban city, inside the tunnel, etc.
Thereby, it is very difficult to get good estimation of localization information from those
sensor measurements.
In this thesis work, we propose a stereo-vision based vehicle localization method to over-
come the drawback of above mentioned traditional approach. In the proposed method,
we use visual odometry technique [2] together with IMU, GNSS, and wheel odometry for
estimating the pose of the vehicle in GPS denied environment. The measurement data
from multiple sensors are fused together using Extended Kalman Filter(EKF) approach
[3][4] to provide more accurate and reliable motion information for autonomous vehicle
navigation. The proposed method can perform with, or independently of GNSS system,
thereby it can be used as a backup to GNSS system. And also we have tested the developed algorithm on both simulated and real data.
},
adviser = {Prof. Dr. Jian-Jia Chen and Dr. Holger Faisst},
}
A driver-less vehicle and Vehicle-to-Anything (V2X) systems highly rely on accurate and
reliable motion information of the vehicle when it travels around the surrounding (inside
and outside) environment. As a consequence, it is essential to maintain the precise vehi-
cle’s information such as pose of the vehicle (position and direction) for its navigation.
Further, the most important dispute in autonomous application is to obtain good estima-
tion of position and orientation values for improving its performance. For accomplishing
this, the conventional localization approach seen in [1] use the measurements from Global
Navigation Satellite System (GNSS) and Inertial measurement unit (IMU).
The major drawback of that conventional approach is :
1 The errors will get accumulated over the time because of the drift present in the
IMU measurement data, and
2 The signal from GNSS will not be fully available or not reliable i.e. sometime the
strength of the GNSS signal will be diminished in some region, for instance, in
dense urban city, inside the tunnel, etc.
Thereby, it is very difficult to get good estimation of localization information from those
sensor measurements.
In this thesis work, we propose a stereo-vision based vehicle localization method to over-
come the drawback of above mentioned traditional approach. In the proposed method,
we use visual odometry technique [2] together with IMU, GNSS, and wheel odometry for
estimating the pose of the vehicle in GPS denied environment. The measurement data
from multiple sensors are fused together using Extended Kalman Filter(EKF) approach
[3][4] to provide more accurate and reliable motion information for autonomous vehicle
navigation. The proposed method can perform with, or independently of GNSS system,
thereby it can be used as a backup to GNSS system. And also we have tested the developed algorithm on both simulated and real data.
- Olaf Neugebauer:
Efficient Implementation of Resource-Constrained Cyber-Physical Systems using Multi-Core Parallelism.
2018, PhD thesis
[BibTeX][Link]@phdthesis { neugebauer/2018,
title = {Efficient Implementation of Resource-Constrained Cyber-Physical Systems using Multi-Core Parallelism},
author = {Neugebauer, Olaf},
school = {TU Dortmund},
year = {2018},
url = {http://dx.doi.org/10.17877/DE290R-18927},
confidential = {n},
}
- Shabnam Tabatabaian:
Real-Time Synchronization on Multiprocessors through Suspension or Spinning?.
2018, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dipl.-Inf. Georg von der Brüggen
[BibTeX][PDF][Abstract]@mastersthesis { Tabatabaian:2018,
title = {Real-Time Synchronization on Multiprocessors through Suspension or Spinning?},
author = {Tabatabaian, Shabnam},
school = {TU Dortmund},
year = {2018},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/tabatabaian.pdf},
confidential = {n},
abstract = {For many real-time applications, it is often too restrictive to assume that tasks are executed only
in a uniprocessor system and all of them are completely independent, because tasks will often
compete for shared resources. The access to the shared resource, called critical section of the task
execution, is mutually exclusive to prevent race conditions. In fact, it is not possible that two jobs
access the shared resource at the same time. As shared resources must be serially executed to
achieve mutual exclusion, the execution of critical sections inevitably causes some delay due to
priority inversion, which means, a task is prevented from executing due to another task with a
lower priority that holds a shared resource, also called pi-blocking. To avoid unnecessary blocking
of high-priority tasks due to unrelated shared resources, there exists some locking protocols. Two
well-known of these locking protocols for systems with one processor, also called uniprocessor
systems, are Priority Inheritance Protocol (PIP) [1] and the Priority Ceiling Protocol (PCP) [1].
Although the PIP could solve the problem of priority inversion, it might cause a deadlock if there
are multiple resources. Through the use of PCP proposed by Sha et. al [1], deadlock can never
occur.
Resource sharing becomes more complex when considering multiprocessor platforms instead of
uniprocessor platforms, because in multiprocessor systems the task-suspending and task-spinning
may come into play. Under spinning approach, tasks busy-wait in a tight loop or called “spin” to
the processor, while it is waiting for accessing a shared resource. Under suspending approach,
tasks relinquish their processor and suspend during the time waiting for a shared resource
accessing. There exist some protocols, which support both mechanisms, e.g. Multiprocessor Slack
Resource Policy (MSRP) [2] as a spin-based multiprocessor locking protocol as well as Distributed
Priority Ceiling Protocol (DPCP) [3] and Multiprocessor Priority Ceiling Protocol (MPCP) [4]
under suspending approach. Although, many suspension-based and spin-based locking protocols
have been designed and analyzed in the last years, it has been relatively little investigated, that
under which settings which one of the suspension-based and the spin-based locking protocols are
in general preferable. Therefore, this tradeoff has to be analyzed and some break-even
configurations should be determined. The only result in this area is published in [5], which
concludes that “blocking by suspending is rarely preferable to spinning (provided spinning can be
done in-cache, which we assume)”. However, the analysis in [5] is conducted only considering the
Flexible Multiprocessor Locking Protocol (FMLP).
In this thesis other locking protocols than FMLP will be taken into consideration and finally the
conditions that favor spin-based locking protocols over suspension-based locking protocols and
the other way around, will be specified. To this end, first a test-bed based on the platform
LITMUSRT [6] [7] will be set up and then those protocols will be tested under different settings of
properties such as number of processors, number of resource accesses per task, period of each task
and etc. to find the break-even configurations.
},
adviser = {Prof. Dr. Jian-Jia Chen and Dipl.-Inf. Georg von der Br\"uggen},
}
For many real-time applications, it is often too restrictive to assume that tasks are executed only
in a uniprocessor system and all of them are completely independent, because tasks will often
compete for shared resources. The access to the shared resource, called critical section of the task
execution, is mutually exclusive to prevent race conditions. In fact, it is not possible that two jobs
access the shared resource at the same time. As shared resources must be serially executed to
achieve mutual exclusion, the execution of critical sections inevitably causes some delay due to
priority inversion, which means, a task is prevented from executing due to another task with a
lower priority that holds a shared resource, also called pi-blocking. To avoid unnecessary blocking
of high-priority tasks due to unrelated shared resources, there exists some locking protocols. Two
well-known of these locking protocols for systems with one processor, also called uniprocessor
systems, are Priority Inheritance Protocol (PIP) [1] and the Priority Ceiling Protocol (PCP) [1].
Although the PIP could solve the problem of priority inversion, it might cause a deadlock if there
are multiple resources. Through the use of PCP proposed by Sha et. al [1], deadlock can never
occur.
Resource sharing becomes more complex when considering multiprocessor platforms instead of
uniprocessor platforms, because in multiprocessor systems the task-suspending and task-spinning
may come into play. Under spinning approach, tasks busy-wait in a tight loop or called “spin” to
the processor, while it is waiting for accessing a shared resource. Under suspending approach,
tasks relinquish their processor and suspend during the time waiting for a shared resource
accessing. There exist some protocols, which support both mechanisms, e.g. Multiprocessor Slack
Resource Policy (MSRP) [2] as a spin-based multiprocessor locking protocol as well as Distributed
Priority Ceiling Protocol (DPCP) [3] and Multiprocessor Priority Ceiling Protocol (MPCP) [4]
under suspending approach. Although, many suspension-based and spin-based locking protocols
have been designed and analyzed in the last years, it has been relatively little investigated, that
under which settings which one of the suspension-based and the spin-based locking protocols are
in general preferable. Therefore, this tradeoff has to be analyzed and some break-even
configurations should be determined. The only result in this area is published in [5], which
concludes that “blocking by suspending is rarely preferable to spinning (provided spinning can be
done in-cache, which we assume)”. However, the analysis in [5] is conducted only considering the
Flexible Multiprocessor Locking Protocol (FMLP).
In this thesis other locking protocols than FMLP will be taken into consideration and finally the
conditions that favor spin-based locking protocols over suspension-based locking protocols and
the other way around, will be specified. To this end, first a test-bed based on the platform
LITMUSRT [6] [7] will be set up and then those protocols will be tested under different settings of
properties such as number of processors, number of resource accesses per task, period of each task
and etc. to find the break-even configurations.
- Helena Kotthaus:
Methods for Efficient Resource Utilization in Statistical Machine Learning Algorithms.
Department of Computer Science XII, TU Dortmund University, June 2018, PhD thesis, Adviser: Prof. Dr. Peter Marwedel
[BibTeX][Link][Abstract]@phdthesis { kotthaus/2018b,
title = {Methods for Efficient Resource Utilization in Statistical Machine Learning Algorithms},
author = {Kotthaus, Helena},
school = {TU Dortmund University},
year = {2018},
address = {Department of Computer Science XII, TU Dortmund University},
month = {June},
url = {https://eldorado.tu-dortmund.de/bitstream/2003/36929/1/Dissertation_Kotthaus.pdf},
confidential = {n},
abstract = {In recent years, statistical machine learning has emerged as a key technique for tackling problems that elude a classic algorithmic approach. One such problem, with a major impact on human life, is the analysis of complex biomedical data. Solving this problem in a fast and efficient manner is of major importance, as it enables, e.g., the prediction of the efficacy of different drugs for therapy selection. While achieving the highest possible prediction quality appears desirable, doing so is often simply infeasible due to resource constraints. Statistical learning algorithms for predicting the health status of a patient or for finding the best algorithm configuration for the prediction require an excessively high amount of resources. Furthermore, these algorithms are often implemented with no awareness of the underlying system architecture, which leads to sub-optimal resource utilization. This thesis presents methods for efficient resource utilization of statistical learning applications. The goal is to reduce the resource demands of these algorithms to meet a given time budget while simultaneously preserving the prediction quality. As a first step, the resource consumption characteristics of learning algorithms are analyzed, as well as their scheduling on underlying parallel architectures, in order to develop optimizations that enable these algorithms to scale to larger problem sizes. For this purpose, new profiling mechanisms are incorporated into a holistic profiling framework. The results show that one major contributor to the resource issues is memory consumption. To overcome this obstacle, a new optimization based on dynamic sharing of memory is developed that speeds up computation by several orders of magnitude in situations when available main memory is the bottleneck, leading to swapping out memory. One important application that can be applied for automated parameter tuning of learning algorithms is model-based optimization. Within a huge search space, algorithm configurations are evaluated to find the configuration with the best prediction quality. An important step towards better managing this search space is to parallelize the search process itself. However, a high runtime variance within the configuration space can cause inefficient resource utilization. For this purpose, new resource-aware scheduling strategies are developed that efficiently map evaluations of configurations to the parallel architecture, depending on their resource demands. In contrast to classical scheduling problems, the new scheduling interacts with the configuration proposal mechanism to select configurations with suitable resource demands. With these strategies, it becomes possible to make use of the full potential of parallel architectures. Compared to established parallel execution models, the results show that the new approach enables model-based optimization to converge faster to the optimum within a given time budget.},
adviser = {Prof. Dr. Peter Marwedel},
}
In recent years, statistical machine learning has emerged as a key technique for tackling problems that elude a classic algorithmic approach. One such problem, with a major impact on human life, is the analysis of complex biomedical data. Solving this problem in a fast and efficient manner is of major importance, as it enables, e.g., the prediction of the efficacy of different drugs for therapy selection. While achieving the highest possible prediction quality appears desirable, doing so is often simply infeasible due to resource constraints. Statistical learning algorithms for predicting the health status of a patient or for finding the best algorithm configuration for the prediction require an excessively high amount of resources. Furthermore, these algorithms are often implemented with no awareness of the underlying system architecture, which leads to sub-optimal resource utilization. This thesis presents methods for efficient resource utilization of statistical learning applications. The goal is to reduce the resource demands of these algorithms to meet a given time budget while simultaneously preserving the prediction quality. As a first step, the resource consumption characteristics of learning algorithms are analyzed, as well as their scheduling on underlying parallel architectures, in order to develop optimizations that enable these algorithms to scale to larger problem sizes. For this purpose, new profiling mechanisms are incorporated into a holistic profiling framework. The results show that one major contributor to the resource issues is memory consumption. To overcome this obstacle, a new optimization based on dynamic sharing of memory is developed that speeds up computation by several orders of magnitude in situations when available main memory is the bottleneck, leading to swapping out memory. One important application that can be applied for automated parameter tuning of learning algorithms is model-based optimization. Within a huge search space, algorithm configurations are evaluated to find the configuration with the best prediction quality. An important step towards better managing this search space is to parallelize the search process itself. However, a high runtime variance within the configuration space can cause inefficient resource utilization. For this purpose, new resource-aware scheduling strategies are developed that efficiently map evaluations of configurations to the parallel architecture, depending on their resource demands. In contrast to classical scheduling problems, the new scheduling interacts with the configuration proposal mechanism to select configurations with suitable resource demands. With these strategies, it becomes possible to make use of the full potential of parallel architectures. Compared to established parallel execution models, the results show that the new approach enables model-based optimization to converge faster to the optimum within a given time budget.
- Filip Chocholak:
Usefulness of Model-Based Testing Within Simulink Platform.
March 2018, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr. Stefan Schneider
[BibTeX][PDF][Abstract]@mastersthesis { Chocholak:2018,
title = {Usefulness of Model-Based Testing Within Simulink Platform},
author = {Chocholak, Filip},
school = {TU Dortmund},
year = {2018},
month = {March},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/chocholak.pdf},
confidential = {n},
abstract = {The trends of drastic increase of software features in relation to popular electric and self-
driving cars pushes the industry to think more vast. To think more software features
in vehicles, require more attention, towards safety and high product quality error-free
aspects. To ensure such manners, more effort regarding testing must be considered. To
test as early as possible, starting from the component Level through the integration Level
up to the system Level while performing Model-Based Development (MBD). One of the
approaches that has gained attention in the context of the Model-Based Development is
the Model-Based Testing (MBT).
In this Thesis, an overview of the usefulness of Model-Based Testing within a standard
Model-Based Development platform Simulink for automotive applications will be intro-
duced. Firstly, a detailed investigation regarding MBT approaches covering functional
perspective will be performed by exploring two MBT tools: the Simulink Design Verifier
from Mathworks Inc. and the TPT from PikeTec GmbH. The objectives are to look deeply
inside of the MBT methods used for each tool by analyzing the modeling, execution and
evaluation of the test cases from the different system levels as well as from the different
requirement categories points of view. For these reasons, the categorization of require-
ments based on the concurrent level of the system as well as based on its characteristics
have to be established. Moreover, based on these investigations, conclusions regarding
the testing activities performing at various system level will be conducted. Secondly, the
analysis based on the model complexity, scalability and applicability for each tool will be
performed.
To fulfill these objectives a case study model was selected. The model introduced basic
functionality for Power Window Control System in vehicles modeled using Simulink Func-
tional Block Diagrams. Due to the simplicity of the case study model, the results are
limited with respect to its applicability.
},
adviser = {Prof. Dr. Jian-Jia Chen and Dr. Stefan Schneider},
}
The trends of drastic increase of software features in relation to popular electric and self-
driving cars pushes the industry to think more vast. To think more software features
in vehicles, require more attention, towards safety and high product quality error-free
aspects. To ensure such manners, more effort regarding testing must be considered. To
test as early as possible, starting from the component Level through the integration Level
up to the system Level while performing Model-Based Development (MBD). One of the
approaches that has gained attention in the context of the Model-Based Development is
the Model-Based Testing (MBT).
In this Thesis, an overview of the usefulness of Model-Based Testing within a standard
Model-Based Development platform Simulink for automotive applications will be intro-
duced. Firstly, a detailed investigation regarding MBT approaches covering functional
perspective will be performed by exploring two MBT tools: the Simulink Design Verifier
from Mathworks Inc. and the TPT from PikeTec GmbH. The objectives are to look deeply
inside of the MBT methods used for each tool by analyzing the modeling, execution and
evaluation of the test cases from the different system levels as well as from the different
requirement categories points of view. For these reasons, the categorization of require-
ments based on the concurrent level of the system as well as based on its characteristics
have to be established. Moreover, based on these investigations, conclusions regarding
the testing activities performing at various system level will be conducted. Secondly, the
analysis based on the model complexity, scalability and applicability for each tool will be
performed.
To fulfill these objectives a case study model was selected. The model introduced basic
functionality for Power Window Control System in vehicles modeled using Simulink Func-
tional Block Diagrams. Due to the simplicity of the case study model, the results are
limited with respect to its applicability.
- Timo Gojowczyk:
Efficient Timer Mechanism in Real Time Operating Systems.
January 2018, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, M.Sc. Kuan-Hsun Chen
[BibTeX]@bachelorthesis { Timo:2018,
title = {Efficient Timer Mechanism in Real Time Operating Systems},
author = {Gojowczyk, Timo},
school = {TU Dortmund},
year = {2018},
month = {January},
keywords = {kuan},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, M.Sc. Kuan-Hsun Chen},
}
2017
- Marco Dürr:
Analysis and Optimisation of Signal-Flows in Real-Time Embedded Parallel Software Applications.
2017, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr. Matthias Freier
[BibTeX][PDF][Abstract]@mastersthesis { Dürr:2017,
title = {Analysis and Optimisation of Signal-Flows in Real-Time Embedded Parallel Software Applications},
author = {D\"urr, Marco},
school = {TU Dortmund},
year = {2017},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/duerr.pdf},
confidential = {n},
abstract = {Over the last decades, the real-time system community has developed useful approaches for timing and scheduling analysis of different processor types and buses. These days, more in-depth topics like end-to-end timing gain in importance. The purpose of this thesis is to present a workflow to determine important end-to-end paths (signal-flows) and to analyse them with respect to their timing behaviour. Therefore, fundamental concepts of graph theory and real-time systems are used to develop specific end-to-end timing models that are general applicable
to industrial software applications. Furthermore, different communication and response time semantics are investigated, which are required to obtain a tight end-to-end timing analysis for signal-flows. The evaluation of the influence of an increasing system utilisation to the response time of a signal-flow shows the importance to distinguish between the various semantics. },
adviser = {Prof. Dr. Jian-Jia Chen and Dr. Matthias Freier},
}
Over the last decades, the real-time system community has developed useful approaches for timing and scheduling analysis of different processor types and buses. These days, more in-depth topics like end-to-end timing gain in importance. The purpose of this thesis is to present a workflow to determine important end-to-end paths (signal-flows) and to analyse them with respect to their timing behaviour. Therefore, fundamental concepts of graph theory and real-time systems are used to develop specific end-to-end timing models that are general applicable
to industrial software applications. Furthermore, different communication and response time semantics are investigated, which are required to obtain a tight end-to-end timing analysis for signal-flows. The evaluation of the influence of an increasing system utilisation to the response time of a signal-flow shows the importance to distinguish between the various semantics.
- Abubakar Sanaullah:
Model based Tolerance and Error Analysis of Inertial Sensor based Measurement System of an Excavator.
2017, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr.-Ing. Philip Nagel
[BibTeX][PDF][Abstract]@mastersthesis { Sanaullah:2017,
title = {Model based Tolerance and Error Analysis of Inertial Sensor based Measurement System of an Excavator},
author = {Sanaullah, Abubakar},
school = {TU Dortmund},
year = {2017},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/sanaullah.pdf},
confidential = {n},
abstract = {The thesis investigates the applicability of the current state of art in mobile excavators to semi-automate the digging function which not only helps the operator in controlling the tool inclination but also adds to the safety and reduces work load. The developed model estimates the position of an end-effector of an excavator with certain accuracy, having limited or no information about the critical system parameters that contribute to the estimation error. In this study, various sources of error such as sensor errors, calibration errors and mechanical/geometric errors are identified. Analytical models are derived for the selected parameters and their inclusion to the existing process is shown. In order to quantify the impact of each parameter on system accuracy, a detailed error analysis is performed. Two test cases are studied, and the error is recorded for the typical and maximum variations in each case. A variance based global sensitivity analysis method is employed to measure not only the main effect of a parameter but all the interactions in the model involving that parameter. The variations in parameters are represented by probability distributions and error is propagated using Monte Carlo simulations. The parameters are then ranked based on their contribution to the total output variance. Although it depends on test cases, filters used for estimation and parameter tolerances; the results of both individual error analysis and Sobol analysis have illustrated that sensitive parameters remained the same.
},
adviser = {Prof. Dr. Jian-Jia Chen and Dr.-Ing. Philip Nagel},
}
The thesis investigates the applicability of the current state of art in mobile excavators to semi-automate the digging function which not only helps the operator in controlling the tool inclination but also adds to the safety and reduces work load. The developed model estimates the position of an end-effector of an excavator with certain accuracy, having limited or no information about the critical system parameters that contribute to the estimation error. In this study, various sources of error such as sensor errors, calibration errors and mechanical/geometric errors are identified. Analytical models are derived for the selected parameters and their inclusion to the existing process is shown. In order to quantify the impact of each parameter on system accuracy, a detailed error analysis is performed. Two test cases are studied, and the error is recorded for the typical and maximum variations in each case. A variance based global sensitivity analysis method is employed to measure not only the main effect of a parameter but all the interactions in the model involving that parameter. The variations in parameters are represented by probability distributions and error is propagated using Monte Carlo simulations. The parameters are then ranked based on their contribution to the total output variance. Although it depends on test cases, filters used for estimation and parameter tolerances; the results of both individual error analysis and Sobol analysis have illustrated that sensitive parameters remained the same.
- Rico Endern:
Power Management in heterogenen Multiprocessing-Systemen.
August 2017, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr. Anas Toma
[BibTeX][PDF]@bachelorthesis { Rico:2017,
title = {Power Management in heterogenen Multiprocessing-Systemen},
author = {Endern, Rico},
year = {2017},
month = {August},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2017_van-endern.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen and Dr. Anas Toma},
}
- Alexander Starinow:
Saving Energy in Embedded Systems Using Nearby Resources.
August 2017, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr. Anas Toma
[BibTeX][PDF][Abstract]@bachelorthesis { Alexander:2017,
title = {Saving Energy in Embedded Systems Using Nearby Resources},
author = {Starinow, Alexander},
year = {2017},
month = {August},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2017_starinow.pdf},
confidential = {n},
abstract = {This thesis evaluates the energy consumption of a device that executes tasks locally and uses auxiliary resources. Mobile embedded systems are widespread in today’s society and are used for all kinds of purposes whatsoever. However, these embedded systems have limitations with respect to processing power and battery life, due to the requirement of being mobile. To overcome these limitations these systems communicate with servers to save energy and increase computation speed. In the setup in this thesis, the remote execution of a task on a server can theoretically reduce the consumption of energy by 99%.
But there are some challenges when communicating with a server. A network can be overloaded and therefore have a low bandwidth or being not reachable. This thesis proposes a new model that uses Nearby Resources as Auxiliary Resources. This model will be evaluated on real hardware using different tasks as examples for real-life applications. Using Nearby Resources can save up to 98% per task and also reduce the workload on remote servers and the relieve the bandwidth.},
adviser = {Prof. Dr. Jian-Jia Chen and Dr. Anas Toma},
}
This thesis evaluates the energy consumption of a device that executes tasks locally and uses auxiliary resources. Mobile embedded systems are widespread in today’s society and are used for all kinds of purposes whatsoever. However, these embedded systems have limitations with respect to processing power and battery life, due to the requirement of being mobile. To overcome these limitations these systems communicate with servers to save energy and increase computation speed. In the setup in this thesis, the remote execution of a task on a server can theoretically reduce the consumption of energy by 99%.
But there are some challenges when communicating with a server. A network can be overloaded and therefore have a low bandwidth or being not reachable. This thesis proposes a new model that uses Nearby Resources as Auxiliary Resources. This model will be evaluated on real hardware using different tasks as examples for real-life applications. Using Nearby Resources can save up to 98% per task and also reduce the workload on remote servers and the relieve the bandwidth.
- Nadzeya Liabiodka:
Analyzing and evaluating resource synchronization protocols in RTEMS on multi-core systems.
June 2017, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, M.Sc. Kuan-Hsun Chen
[BibTeX][PDF]@bachelorthesis { Liabiodka:2017,
title = {Analyzing and evaluating resource synchronization protocols in RTEMS on multi-core systems},
author = {Liabiodka, Nadzeya},
school = {TU Dortmund},
year = {2017},
month = {June},
keywords = {kuan},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/liabiodka.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, M.Sc. Kuan-Hsun Chen},
}
- Lea Schönberger:
Multicore Systems with Dynamic Real-Time Guarantees.
May 2017, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, Dipl.-Inf. Georg von der Brüggen
[BibTeX][PDF][Link]@mastersthesis { schoenberger2017,
title = {Multicore Systems with Dynamic Real-Time Guarantees},
author = {Sch\"onberger, Lea},
school = {TU Dortmund},
year = {2017},
month = {May},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/schoenberger20170530.pdf},
keywords = {lea},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/schoenberger20170530.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, Dipl.-Inf. Georg von der Br\"uggen},
}
- Benjamin Gläser:
Resource-Aware Optimization by Trading Locality, Redundancy and Parallelism.
April 2017, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dipl.-Inf. Ingo Korb
[BibTeX][PDF][Abstract]@bachelorthesis { Glaeser:2017,
title = {Resource-Aware Optimization by Trading Locality, Redundancy and Parallelism},
author = {Gl\"aser, Benjamin},
year = {2017},
month = {April},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2017_glaeser.pdf},
confidential = {n},
abstract = {This thesis analyses the possibility and shortcomings of automated resource-aware optimization by making use of locality, redundancy and parallelism. It is to be expected that different platforms and hardware will see benefits and drawbacks depending on the strategy used.
To study these effects further, a field of application is required, where the three aforementioned approaches can be utilized. Due to its nature and scalability, image processing represents an ideal candidate for this. The choice of image processing is the focus of this work, as it is also a domain that has been extensively researched and gaining importance in recent years.
Whilst most research on image processing acceleration mainly focuses on the ease of implementation and optimization for a specific platform, the thesis at hand aims to investigate the newest development in automatic resource-aware optimization.
This requires the identification of patterns and subsets within the possible hardware configurations and image processing pipelines that exhibit similar behavior, when faced with the challenge of trading locality, redundancy and parallelism. Using these characteristics as a basis, this thesis aims to study their effect on automatically generated schedules.},
adviser = {Prof. Dr. Jian-Jia Chen and Dipl.-Inf. Ingo Korb},
}
This thesis analyses the possibility and shortcomings of automated resource-aware optimization by making use of locality, redundancy and parallelism. It is to be expected that different platforms and hardware will see benefits and drawbacks depending on the strategy used.
To study these effects further, a field of application is required, where the three aforementioned approaches can be utilized. Due to its nature and scalability, image processing represents an ideal candidate for this. The choice of image processing is the focus of this work, as it is also a domain that has been extensively researched and gaining importance in recent years.
Whilst most research on image processing acceleration mainly focuses on the ease of implementation and optimization for a specific platform, the thesis at hand aims to investigate the newest development in automatic resource-aware optimization.
This requires the identification of patterns and subsets within the possible hardware configurations and image processing pipelines that exhibit similar behavior, when faced with the challenge of trading locality, redundancy and parallelism. Using these characteristics as a basis, this thesis aims to study their effect on automatically generated schedules.
- Osama Maqbool:
System Optimization of Hybrid Marine Systems.
April 2017, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr.-Ing. Philip Nagel
[BibTeX][PDF][Abstract]@mastersthesis { Maqbool:2017,
title = {System Optimization of Hybrid Marine Systems},
author = {Maqbool, Osama},
year = {2017},
month = {April},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2017_maqbool.pdf},
confidential = {n},
abstract = {Dynamic Programming is a highly effective technique for the offline optimization of power trains, as it guarantees a globally optimal solution. This study investigates the two major problems associated with the application of dynamic programming for the optimization of hybrid marine power trains.
The first issue is the high number of computations, which increases exponentially with the size of the problem. In order to reduce the number of computations, a variant of dynamic programming is investigated, called the iterative dynamic programming. The implementation problems with iterative dynamic programming have also been investigated and solutions are proposed to tackle the problems.
The second issue is the loss of optimality due to the discretization of the continuous power train model. The introduction of different errors and their propagation through the optimization process is investigated. Multiple solutions are proposed in this area that aim to reduce the discretization errors without increasing the number of computations.
In order to test and experimentally verify the investigations, two test cases of hybrid power trains are defined. The regular dynamic programming algorithm, as well as the proposed methodologies for improving the performance of the algorithm are implemented and tested for the two test cases. The performance of the test cases for different algorithms is presented in a comparative fashion.},
adviser = {Prof. Dr. Jian-Jia Chen and Dr.-Ing. Philip Nagel},
}
Dynamic Programming is a highly effective technique for the offline optimization of power trains, as it guarantees a globally optimal solution. This study investigates the two major problems associated with the application of dynamic programming for the optimization of hybrid marine power trains.
The first issue is the high number of computations, which increases exponentially with the size of the problem. In order to reduce the number of computations, a variant of dynamic programming is investigated, called the iterative dynamic programming. The implementation problems with iterative dynamic programming have also been investigated and solutions are proposed to tackle the problems.
The second issue is the loss of optimality due to the discretization of the continuous power train model. The introduction of different errors and their propagation through the optimization process is investigated. Multiple solutions are proposed in this area that aim to reduce the discretization errors without increasing the number of computations.
In order to test and experimentally verify the investigations, two test cases of hybrid power trains are defined. The regular dynamic programming algorithm, as well as the proposed methodologies for improving the performance of the algorithm are implemented and tested for the two test cases. The performance of the test cases for different algorithms is presented in a comparative fashion.
- Vincent Meyers:
Evaluation of Multi-Mode Tasks under Rate-Monotonic and Earliest-Deadline-First Scheduling in Real-Time Systems.
April 2017, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen and Dr. Anas Toma
[BibTeX][PDF]@bachelorthesis { Vincent:2017,
title = {Evaluation of Multi-Mode Tasks under Rate-Monotonic and Earliest-Deadline-First Scheduling in Real-Time Systems},
author = {Meyers, Vincent},
year = {2017},
month = {April},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2017_meyers.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen and Dr. Anas Toma},
}
- Wen-Hung Huang:
Scheduling algorithms and timing analysis for hard real-time systems.
Dortmund, Germany, April 2017, PhD thesis, Adviser: Prof. Dr. Jian-Jia Chen , Examiner: Prof. Dr. Jan Reineke (Uni Saarland)
[BibTeX][PDF][Link][Abstract]@phdthesis { dissertation-Kevin-Huang-2017,
title = {Scheduling algorithms and timing analysis for hard real-time systems},
author = {Huang, Wen-Hung},
school = {TU Dortmund},
year = {2017},
type = {Dissertation},
address = {Dortmund, Germany},
month = {April},
url = {https://eldorado.tu-dortmund.de/bitstream/2003/35984/1/Dissertation_Huang_pdfa.pdf},
keywords = {Hartes Echtzeitsystem, Worst-Case-Laufzeit, Scheduling},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2017-Huang-Dissertation.pdf},
confidential = {n},
abstract = {Real-time systems are designed for applications in which response time is critical. As timing is a major property of such systems, proving timing correctness is of utter importance. To achieve this, a two-fold approach of timing analysis is traditionally involved: (i) worst-case execution time (WCET) analysis, which computes an upper bound on the execution time of a single job of a task running in isolation; and (ii) schedulability analysis using the WCET as the input, which determines whether multiple tasks are guaranteed to meet their deadlines. Formal models used for representing recurrent real-time tasks have traditionally been characterized by a collection of independent jobs that are released periodically. However, such a modeling may result in resource under-utilization in systems whose behaviors are not entirely periodic or independent. Examples are (i) multicore platforms where tasks share a communication fabric, like bus, for accesses to a shared memory beside processors; (ii) tasks with synchronization, where no two concurrent access to one shared resource are allowed to be in their critical section at the same time; and (iii) automotive systems, where tasks are linked to rotation (e.g., of the crankshaft, gears, or wheels). There, their activation rate is proportional to the angular velocity of a specific device. This dissertation presents multiple approaches towards designing scheduling algorithms and schedulability analysis for a variety of real-time systems with different characteristics. Specifically, we look at those design problems from the perspective of speedup factor — a metric that quantifies both the pessimism of the analysis and the non-optimality of the scheduling algorithm. The proposed solutions are shown promising by means of not only speedup factor but also extensive evaluations.},
adviser = {Prof. Dr. Jian-Jia Chen , Examiner: Prof. Dr. Jan Reineke (Uni Saarland)},
}
Real-time systems are designed for applications in which response time is critical. As timing is a major property of such systems, proving timing correctness is of utter importance. To achieve this, a two-fold approach of timing analysis is traditionally involved: (i) worst-case execution time (WCET) analysis, which computes an upper bound on the execution time of a single job of a task running in isolation; and (ii) schedulability analysis using the WCET as the input, which determines whether multiple tasks are guaranteed to meet their deadlines. Formal models used for representing recurrent real-time tasks have traditionally been characterized by a collection of independent jobs that are released periodically. However, such a modeling may result in resource under-utilization in systems whose behaviors are not entirely periodic or independent. Examples are (i) multicore platforms where tasks share a communication fabric, like bus, for accesses to a shared memory beside processors; (ii) tasks with synchronization, where no two concurrent access to one shared resource are allowed to be in their critical section at the same time; and (iii) automotive systems, where tasks are linked to rotation (e.g., of the crankshaft, gears, or wheels). There, their activation rate is proportional to the angular velocity of a specific device. This dissertation presents multiple approaches towards designing scheduling algorithms and schedulability analysis for a variety of real-time systems with different characteristics. Specifically, we look at those design problems from the perspective of speedup factor — a metric that quantifies both the pessimism of the analysis and the non-optimality of the scheduling algorithm. The proposed solutions are shown promising by means of not only speedup factor but also extensive evaluations.
- Mikail Yayla:
Deep Investigation for Fault Tolerance and Soft-Error Handling on Control Application.
March 2017, The enhancement of the thesis has been added in the downloadable version., B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, M.Sc. Kuan-Hsun Chen
[BibTeX][PDF]@bachelorthesis { yayla:2017,
title = {Deep Investigation for Fault Tolerance and Soft-Error Handling on Control Application},
author = {Yayla, Mikail},
year = {2017},
month = {March},
note = {The enhancement of the thesis has been added in the downloadable version.},
keywords = {kuan},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/yayla.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, M.Sc. Kuan-Hsun Chen},
}
- Pascal Libuschewski:
Exploration of Cyber-Physical Systems for GPGPU Computer Vision-Based Detection of Biological Viruses.
Dortmund, Germany, March 2017, PhD thesis, Adviser: Prof. Dr. Peter Marwedel
[BibTeX][PDF][Link][Abstract]@phdthesis { Libuschewski:2017:phdthesis,
title = {Exploration of Cyber-Physical Systems for GPGPU Computer Vision-Based Detection of Biological Viruses},
author = {Libuschewski, Pascal},
school = {TU Dortmund, Department of Computer Science},
year = {2017},
type = {Dissertation},
address = {Dortmund, Germany},
month = {March},
url = {http://dx.doi.org/10.17877/DE290R-17952},
keywords = {Biological viruses;Computer vision;Cyber-Physical Systems;Design space exploration;DSE;Embedded Systems;Energy-aware;GPGPU;GPU;medical image processing;Mobile sensor;Multi-objective;Optimization;Virus Detection},
file = {https://eldorado.tu-dortmund.de/bitstream/2003/35929/1/Dissertation_Libuschewski.pdf},
confidential = {n},
abstract = {This work presents a method for a computer vision-based detection of biological viruses in PAMONO sensor images and, related to this, methods to explore cyber-physical systems such as those consisting of the PAMONO sensor, the detection software, and processing hardware. The focus is especially on an exploration of Graphics Processing Units (GPU) hardware for ``General-Purpose computing on Graphics Processing Units'' (GPGPU) software and the targeted systems are high performance servers, desktop systems, mobile systems, and hand-held systems.},
adviser = {Prof. Dr. Peter Marwedel},
}
This work presents a method for a computer vision-based detection of biological viruses in PAMONO sensor images and, related to this, methods to explore cyber-physical systems such as those consisting of the PAMONO sensor, the detection software, and processing hardware. The focus is especially on an exploration of Graphics Processing Units (GPU) hardware for "General-Purpose computing on Graphics Processing Units" (GPGPU) software and the targeted systems are high performance servers, desktop systems, mobile systems, and hand-held systems.
2016
- Junjie Shi:
Implementation and Evaluation of Real-Time Multiprocessor Scheduling Algorithms on LITMUS-RT.
December 2016, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, M. Ing. Kevin Wen-Hung Huang
[BibTeX][PDF][Link]@mastersthesis { junjie2016,
title = {Implementation and Evaluation of Real-Time Multiprocessor Scheduling Algorithms on LITMUS-RT},
author = {Shi, Junjie},
school = {TU Dortmund},
year = {2016},
month = {December},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/junjie2016.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/junjie2016.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, M. Ing. Kevin Wen-Hung Huang},
}
- Andreas Lang:
Ressourcengewahre Ablaufplanungsverfahren für modellbasierte Optimierungen.
September 2016, B.Sc. thesis, Adviser: Helena Kotthaus
[BibTeX]@bachelorthesis { lang:2016,
title = {Ressourcengewahre Ablaufplanungsverfahren f\"ur modellbasierte Optimierungen},
author = {Lang, Andreas},
year = {2016},
month = {September},
confidential = {n},
adviser = {Helena Kotthaus},
}
- Thomas Richter:
Automated Vehicle Telematic Data Acquisition and Information Transformation.
August 2016, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, Prof. Dr. Kristian Kersting
[BibTeX][PDF][Link]@mastersthesis { Thomas2016,
title = {Automated Vehicle Telematic Data Acquisition and Information Transformation},
author = {Richter, Thomas},
school = {TU Dortmund},
year = {2016},
month = {August},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/automatedvehicletelematicdataacquisitionandinformationtransformation.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/automatedvehicletelematicdataacquisitionandinformationtransformation.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, Prof. Dr. Kristian Kersting},
}
- Dragana Popovic:
Saving Energy for Mobile Biosensors by Offloading.
May 2016, B.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, M. Ing. Kevin Wen-Hung Huang
[BibTeX][PDF][Link]@bachelorthesis { Dragana2016,
title = {Saving Energy for Mobile Biosensors by Offloading},
author = {Popovic, Dragana},
school = {TU Dortmund},
year = {2016},
month = {May},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/savingenergyformobilebiosensorsbyoffloading.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/savingenergyformobilebiosensorsbyoffloading.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, M. Ing. Kevin Wen-Hung Huang},
}
- Sebastian Struwe:
Optimierung der Energieeffizienz von Real-Time Wireless Communications.
February 2016, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, Dipl. Inf. Ingo Korb
[BibTeX][PDF][Link]@mastersthesis { Sebastian2016,
title = {Optimierung der Energieeffizienz von Real-Time Wireless Communications},
author = {Struwe, Sebastian},
school = {TU Dortmund},
year = {2016},
month = {February},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/sebastian2016.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/sebastian2016.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, Dipl. Inf. Ingo Korb},
}
2015
- Vasco Fachin:
Approximated Timing Analysis in Real-Time Calculus.
November 2015, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, M. Ing. Kevin Wen-Hung Huang
[BibTeX][PDF][Link]@mastersthesis { Vasco2015,
title = {Approximated Timing Analysis in Real-Time Calculus},
author = {Fachin, Vasco},
school = {TU Dortmund},
year = {2015},
month = {November},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/vasco2015.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/vasco2015.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, M. Ing. Kevin Wen-Hung Huang},
}
- Huan Tian:
Design and Implementation of Computation Offloading Mechanism in Real-Time System.
July 2015, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen
[BibTeX][PDF][Link]@mastersthesis { Huan2015,
title = {Design and Implementation of Computation Offloading Mechanism in Real-Time System},
author = {Tian, Huan},
school = {TU Dortmund},
year = {2015},
month = {July},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/huan2015.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/huan2015.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen},
}
- Venkata Rama Prasad Donda:
Stereo camera de-calibration detection based on observing kinematic attributes of detected objects and the camera rig.
July 2015, M.Sc. thesis, Adviser: Prof. Dr. Jian-Jia Chen, Marcel de Jong
[BibTeX][PDF][Link]@mastersthesis { Venkata2015,
title = {Stereo camera de-calibration detection based on observing kinematic attributes of detected objects and the camera rig},
author = {Donda, Venkata Rama Prasad},
school = {TU Dortmund},
year = {2015},
month = {July},
url = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/venkata2015.pdf},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/venkata2015.pdf},
confidential = {n},
adviser = {Prof. Dr. Jian-Jia Chen, Marcel de Jong},
}
- Martin Scholten:
Softwareredundanz zur Erkennung transienter Fehler.
March 2015, B.Sc. thesis, Adviser: Florian Schmoll
[BibTeX][PDF]@bachelorthesis { Scholten2015,
title = {Softwareredundanz zur Erkennung transienter Fehler},
author = {Scholten, Martin},
school = {Technische Universtit\"at Dortmund},
year = {2015},
month = {March},
keywords = {error detection, instruction duplication},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/scholten.pdf},
confidential = {n},
adviser = {Florian Schmoll},
}
- Timon Kelter:
WCET Analysis and Optimization for Multi-Core Real-Time Systems.
March 2015, PhD thesis, Adviser: Prof. Dr. Peter Marwedel
[BibTeX][PDF]@phdthesis { kelter:2015:phdthesis,
title = {WCET Analysis and Optimization for Multi-Core Real-Time Systems},
author = {Kelter, Timon},
school = {TU Dortmund, Department of Computer Science},
year = {2015},
month = {March},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kelter-phd.pdf},
confidential = {n},
adviser = {Prof. Dr. Peter Marwedel},
}
2013
- Tim Harde:
Vergleichende Studie von Arbitrierungsverfahren für Kommunikationsstrukturen in eingebetteten Multicoresystemen.
2013, B.Sc. thesis, Adviser: Timon Kelter
[BibTeX][PDF]@bachelorthesis { harde:2013,
title = {Vergleichende Studie von Arbitrierungsverfahren f\"ur Kommunikationsstrukturen in eingebetteten Multicoresystemen},
author = {Harde, Tim},
school = {TU Dortmund},
year = {2013},
keywords = {wcet simulation},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/harde.pdf},
confidential = {n},
adviser = {Timon Kelter},
}
- Daniel A. Cordes:
Automatic Parallelization for Embedded Multi-Core Systems using High-Level Cost Models.
2013, PhD thesis
[BibTeX][Link]@phdthesis { Cordes:2013,
title = {Automatic Parallelization for Embedded Multi-Core Systems using High-Level Cost Models},
author = {Cordes, Daniel A.},
school = {TU Dortmund University},
year = {2013},
url = {http://hdl.handle.net/2003/31796},
confidential = {n},
}
- Christian Günter:
Unterstützung modularer WCET-Analyse durch annotierte Binärobjekte.
2013, B.Sc. thesis, Adviser: Timon Kelter
[BibTeX][PDF]@bachelorthesis { guenter:2013,
title = {Unterst\"utzung modularer WCET-Analyse durch annotierte Bin\"arobjekte},
author = {G\"unter, Christian},
school = {TU Dortmund},
year = {2013},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/guenter.pdf},
confidential = {n},
adviser = {Timon Kelter},
}
- Hendrik Borghorst:
Schedulingverfahren zur WCET-Reduktion in eingebetteten Multicore-Systemen.
2013, M.Sc. thesis, Adviser: Timon Kelter
[BibTeX][PDF]@mastersthesis { borghorst:2013,
title = {Schedulingverfahren zur WCET-Reduktion in eingebetteten Multicore-Systemen},
author = {Borghorst, Hendrik},
school = {TU Dortmund},
year = {2013},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/borghorst-ma.pdf},
confidential = {n},
adviser = {Timon Kelter},
}
2012
- Constantin Timm:
Resource Efficient Processing and Communication in Sensor/Actuator Environments.
2012, PhD thesis
[BibTeX][PDF][Link][Abstract]@phdthesis { ,
title = {Resource Efficient Processing and Communication in Sensor/Actuator Environments},
author = {Timm, Constantin},
school = {TU Dortmund, Department of Computer Science},
year = {2012},
type = {Dissertation},
url = {http://hdl.handle.net/2003/29731},
file = {https://eldorado.tu-dortmund.de/bitstream/2003/29731/1/Dissertation.pdf},
confidential = {n},
abstract = {The future of computer systems will not be dominated by personal computer like hardware platforms but by embedded and cyber-physical systems assisting humans in a hidden but omnipresent manner. These pervasive computing devices can, for example, be utilized in the home automation sector to create sensor/ actuator networks supporting the inhabitants of a house in everyday life. The efficient usage of resources is an important topic at design time and operation time of mobile embedded and cyber-physical systems. Therefore, this thesis presents methods which allow an efficient use of energy and processing resources in sensor/actuator networks. These networks comprise different nodes cooperating for a “smart” joint control function. Sensor/actuator nodes are typical cyber-physical systems comprising sensors/actuators and processing and communication components. Processing components of today’s sensor nodes can comprise many-core chips. This thesis introduces new methods for optimizing the code and the application mapping of the aforementioned systems and presents novel results with regard to design space explorations for energy-efficient and embedded many-core systems. The considered many-core systems are graphics processing units. The application code for these graphics processing units is optimized for a particular platform variant with the objectives of minimal energy consumption and/or of minimal runtime. These two objectives are targeted with the utilization of multi-objective optimization techniques. The mapping optimizations are realized by means of multi-objective design space explorations. Furthermore, this thesis introduces new techniques and functions for a resource-efficient middleware design employing service-oriented architectures. Therefore, a service-oriented architecture based middleware framework is presented which comprises a lightweight service orchestration. In addition to that, a flexible resource management mechanism will be introduced. This resource management adapts resource utilization and services to an environmental context and provides methods to reduce the energy consumption of sensor nodes.},
}
The future of computer systems will not be dominated by personal computer like hardware platforms but by embedded and cyber-physical systems assisting humans in a hidden but omnipresent manner. These pervasive computing devices can, for example, be utilized in the home automation sector to create sensor/ actuator networks supporting the inhabitants of a house in everyday life. The efficient usage of resources is an important topic at design time and operation time of mobile embedded and cyber-physical systems. Therefore, this thesis presents methods which allow an efficient use of energy and processing resources in sensor/actuator networks. These networks comprise different nodes cooperating for a “smart” joint control function. Sensor/actuator nodes are typical cyber-physical systems comprising sensors/actuators and processing and communication components. Processing components of today’s sensor nodes can comprise many-core chips. This thesis introduces new methods for optimizing the code and the application mapping of the aforementioned systems and presents novel results with regard to design space explorations for energy-efficient and embedded many-core systems. The considered many-core systems are graphics processing units. The application code for these graphics processing units is optimized for a particular platform variant with the objectives of minimal energy consumption and/or of minimal runtime. These two objectives are targeted with the utilization of multi-objective optimization techniques. The mapping optimizations are realized by means of multi-objective design space explorations. Furthermore, this thesis introduces new techniques and functions for a resource-efficient middleware design employing service-oriented architectures. Therefore, a service-oriented architecture based middleware framework is presented which comprises a lightweight service orchestration. In addition to that, a flexible resource management mechanism will be introduced. This resource management adapts resource utilization and services to an environmental context and provides methods to reduce the energy consumption of sensor nodes.
- Ingo Korb:
A Cross-Layer Analysis of Error Impact on the Instruction Execution in an 8-bit Microprocessor.
2012, Diplomarbeit, M.Sc. thesis, Adviser: Michael Engel
[BibTeX][PDF]@mastersthesis { Kor12,
title = {A Cross-Layer Analysis of Error Impact on the Instruction Execution in an 8-bit Microprocessor},
author = {Korb, Ingo},
school = {TU Dortmund},
year = {2012},
note = {Diplomarbeit},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2012-korb.pdf},
confidential = {n},
adviser = {Michael Engel},
}
- Dennis Nahberger:
Fehlerbehandlung in echtzeitfähigen Steueranwendungen.
2012, Diplomarbeit, M.Sc. thesis, Adviser: Andreas Heinig
[BibTeX][PDF]@mastersthesis { Nah12,
title = {Fehlerbehandlung in echtzeitf\"ahigen Steueranwendungen},
author = {Nahberger, Dennis},
school = {TU Dortmund},
year = {2012},
note = {Diplomarbeit},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/2012-nahberger.pdf},
confidential = {n},
adviser = {Andreas Heinig},
}
- Daniel Wippler:
Hochparallele echtzeitkonforme Datenextraktion aus QR-Markern.
2012, Diplomarbeit, M.Sc. thesis, Adviser: Constantin Timm
[BibTeX]@mastersthesis { wippler:2012,
title = {Hochparallele echtzeitkonforme Datenextraktion aus QR-Markern},
author = {Wippler, Daniel},
school = {TU Dortmund},
year = {2012},
note = {Diplomarbeit},
confidential = {n},
adviser = {Constantin Timm},
}
- Sascha Plazar:
Memory-based Optimization Techniques for Real-Time Systems.
Dortmund, Germany, July 2012, PhD thesis
[BibTeX][PDF][Link][Abstract]@phdthesis { plazar:12:diss,
title = {Memory-based Optimization Techniques for Real-Time Systems},
author = {Plazar, Sascha},
school = {TU Dortmund, Department of Computer Science},
year = {2012},
type = {Dissertation},
address = {Dortmund, Germany},
month = {jul},
url = {https://eldorado.tu-dortmund.de/handle/2003/29500},
keywords = {wcet},
file = {https://eldorado.tu-dortmund.de/bitstream/2003/29500/1/Dissertation.pdf},
confidential = {n},
abstract = {Embedded/Cyber-physical systems have become popular in a wide range of application scenarios. Such systems are called real-time systems if they underlie strict timing constraints. To verify if such systems can meet their deadlines, the knowledge of an upper bound for a program's execution time is mandatory. This upper bound is also called worst-case execution time (WCET) and is estimated by static timing analyzers. Established optimizing compilers are not aware of the WCET as objective since they focus on the minimization of the average-case execution time (ACET). To overcome this obstacle, this thesis presents memory-based optimization techniques which focus on the reduction of the WCET of programs. All presented optimizations are integrated into the WCET-aware C Compiler (WCC) framework. Since the memory interface of a system often turns out to be a bottleneck which limits the performance of a system, the presented optimizations are applied to different levels of the memory hierarchy of a system. Starting within a CPU core, the instruction fetch buffer is the most tightly coupled memory which tries to provide the next few instructions to be executed. Optimization techniques are presented improving the efficiency of this buffer w.r.t. the WCET of a system. Instruction caches placed between the CPU core and the main memory try to speed up accesses to the main memory by storing local copies in fast small cache memories. In order to improve the efficiency of this part of the memory hierarchy, a memory content selection approach is introduced which improves the WCET of a program by improving the cache performance. Due to the fact that multi-task systems are employed in almost all domains, this thesis presents elaborate extensions to a compiler supporting the compilation and WCET-aware optimization of multi-task systems. These extensions are exploited to develop a number of novel optimizations for systems running multiple tasks. As first optimization, a WCET-driven software-based cache partitioning demonstrates the effectiveness of considering the WCET for the optimization of a set of tasks. Furthermore, many embedded systems integrate so-called scratchpad memories (SPM) as tightly coupled memories. An optimization approach for SPM allocation in a multi-task scenario is proposed. Besides, a holistic view of memory architecture compilation considers a number of memory-based WCET optimizations and presents approaches for a combined application. Existing compiler frameworks which are able to consider the WCET during optimization are limited to a particular hardware platform. In order to support multiple platforms, this thesis presents techniques to extend an existing WCET-aware compiler framework. Based on these extensions, a novel static cache locking optimization selects memory blocks which are statically locked into the instruction cache driven by WCET reductions. Applying these optimizations, the WCET of real-time applications can be reduced by about 35% to 48%. These results underline the need for specialized WCET-driven optimization techniques integrated into a sophisticated compiler framework. Otherwise, immense optimization potential would remain unused resulting in oversized and thus costly Embedded/Cyber-physical systems.
},
}
Embedded/Cyber-physical systems have become popular in a wide range of application scenarios. Such systems are called real-time systems if they underlie strict timing constraints. To verify if such systems can meet their deadlines, the knowledge of an upper bound for a program's execution time is mandatory. This upper bound is also called worst-case execution time (WCET) and is estimated by static timing analyzers. Established optimizing compilers are not aware of the WCET as objective since they focus on the minimization of the average-case execution time (ACET). To overcome this obstacle, this thesis presents memory-based optimization techniques which focus on the reduction of the WCET of programs. All presented optimizations are integrated into the WCET-aware C Compiler (WCC) framework. Since the memory interface of a system often turns out to be a bottleneck which limits the performance of a system, the presented optimizations are applied to different levels of the memory hierarchy of a system. Starting within a CPU core, the instruction fetch buffer is the most tightly coupled memory which tries to provide the next few instructions to be executed. Optimization techniques are presented improving the efficiency of this buffer w.r.t. the WCET of a system. Instruction caches placed between the CPU core and the main memory try to speed up accesses to the main memory by storing local copies in fast small cache memories. In order to improve the efficiency of this part of the memory hierarchy, a memory content selection approach is introduced which improves the WCET of a program by improving the cache performance. Due to the fact that multi-task systems are employed in almost all domains, this thesis presents elaborate extensions to a compiler supporting the compilation and WCET-aware optimization of multi-task systems. These extensions are exploited to develop a number of novel optimizations for systems running multiple tasks. As first optimization, a WCET-driven software-based cache partitioning demonstrates the effectiveness of considering the WCET for the optimization of a set of tasks. Furthermore, many embedded systems integrate so-called scratchpad memories (SPM) as tightly coupled memories. An optimization approach for SPM allocation in a multi-task scenario is proposed. Besides, a holistic view of memory architecture compilation considers a number of memory-based WCET optimizations and presents approaches for a combined application. Existing compiler frameworks which are able to consider the WCET during optimization are limited to a particular hardware platform. In order to support multiple platforms, this thesis presents techniques to extend an existing WCET-aware compiler framework. Based on these extensions, a novel static cache locking optimization selects memory blocks which are statically locked into the instruction cache driven by WCET reductions. Applying these optimizations, the WCET of real-time applications can be reduced by about 35% to 48%. These results underline the need for specialized WCET-driven optimization techniques integrated into a sophisticated compiler framework. Otherwise, immense optimization potential would remain unused resulting in oversized and thus costly Embedded/Cyber-physical systems.
2011
- Christian Wessel:
GPU-basierte Generierung von Fräsbahnen im Kontext dentaler Anwendungsszenarien unter Beachtung multipler Ressourcenlimitierungen.
2011, M.Sc. thesis, Adviser: Constantin Timm
[BibTeX]@mastersthesis { wessel:2011,
title = {GPU-basierte Generierung von Fr\"asbahnen im Kontext dentaler Anwendungsszenarien unter Beachtung multipler Ressourcenlimitierungen},
author = {Wessel, Christian},
school = {TU Dortmund},
year = {2011},
confidential = {n},
adviser = {Constantin Timm},
}
- Patrick Vorlicek:
Ressourcenmodellierung und effiziente Ressourcennutzung im Kontext dezentraler Steuerungsprozesse in der Intralogistik.
2011, B.Sc. thesis, Adviser: Constantin Timm
[BibTeX]@bachelorthesis { Vorlicek:2011,
title = {Ressourcenmodellierung und effiziente Ressourcennutzung im Kontext dezentraler Steuerungsprozesse in der Intralogistik},
author = {Vorlicek, Patrick},
school = {TU Dortmund},
year = {2011},
confidential = {n},
adviser = {Constantin Timm},
}
- Markus Görlich:
Untersuchung und Verbesserung der Speicherzugriffsverteilung in GPGPU-Programmen unter Nutzung adaptiver Schedulingmethoden.
2011, M.Sc. thesis, Adviser: Constantin Timm
[BibTeX]@mastersthesis { goerlich:2011,
title = {Untersuchung und Verbesserung der Speicherzugriffsverteilung in GPGPU-Programmen unter Nutzung adaptiver Schedulingmethoden},
author = {G\"orlich, Markus},
school = {TU Dortmund},
year = {2011},
confidential = {n},
adviser = {Constantin Timm},
}
- Hendrik Borghorst:
WCET bewusste Scratchpad-Speicherallokation von Code und Daten für Multi-Task Systeme.
2011, B.Sc. thesis, Adviser: Sascha Plazar
[BibTeX][PDF]@bachelorthesis { Borghorst:2011,
title = {WCET bewusste Scratchpad-Speicherallokation von Code und Daten f\"ur Multi-Task Systeme},
author = {Borghorst, Hendrik},
school = {TU Dortmund},
year = {2011},
keywords = {wcet optimizations},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/borghorst.pdf},
confidential = {n},
adviser = {Sascha Plazar},
}
- Lars Rademacher:
Vergleich und Analyse von Checkpointing-Verfahren als Fehlerkorrekturmaßnahme in eingebetteten Systemen.
October 2011, B.Sc. thesis, Adviser: Florian Schmoll
[BibTeX]@bachelorthesis { Rademacher2011,
title = {Vergleich und Analyse von Checkpointing-Verfahren als Fehlerkorrekturma\"snahme in eingebetteten Systemen},
author = {Rademacher, Lars},
school = {Technische Universtit\"at Dortmund},
year = {2011},
month = {October},
keywords = {error correction},
confidential = {n},
adviser = {Florian Schmoll},
}
- Jens Möllmer:
WCET Optimierung unter Beachtung der Speicherhierarchie.
August 2011, B.Sc. thesis, Adviser: Sascha Plazar
[BibTeX][PDF]@bachelorthesis { Moellmer2011,
title = {WCET Optimierung unter Beachtung der Speicherhierarchie},
author = {M\"ollmer, Jens},
school = {Technische Universit\"at Dortmund},
year = {2011},
month = {August},
keywords = {wcet optimizations},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/moellmer.pdf},
confidential = {n},
adviser = {Sascha Plazar},
}
- Arthur Pyka:
Multikriterielle Exploration von Compileroptimierungen und Cacheparametern.
February 2011, M.Sc. thesis, Adviser: Sascha Plazar
[BibTeX][PDF]@mastersthesis { Pyka2011,
title = {Multikriterielle Exploration von Compileroptimierungen und Cacheparametern},
author = {Pyka, Arthur},
school = {Technische Universtit\"at Dortmund},
year = {2011},
month = {February},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/pyka.pdf},
confidential = {n},
adviser = {Sascha Plazar},
}
- Kyrill Risto:
Scratchpad-Allokation zur Reduktion der größtmöglichen Laufzeit von Multitask-Systemen.
January 2011, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX]@mastersthesis { Risto2011,
title = {Scratchpad-Allokation zur Reduktion der gr\"o\"stm\"oglichen Laufzeit von Multitask-Systemen},
author = {Risto, Kyrill},
school = {Technische Universtit\"at Dortmund},
year = {2011},
month = {January},
keywords = {wcet},
confidential = {n},
adviser = {Heiko Falk},
}
- Helena Kotthaus:
Cache-bewusste Code-Positionierung zur Reduktion der maximalen Programmlaufzeit (WCET).
January 2011, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX]@mastersthesis { Kotthaus2011,
title = {Cache-bewusste Code-Positionierung zur Reduktion der maximalen Programmlaufzeit (WCET)},
author = {Kotthaus, Helena},
school = {Technische Universtit\"at Dortmund},
year = {2011},
month = {January},
keywords = {wcet},
confidential = {n},
adviser = {Heiko Falk},
}
2010
- Andreas Koch:
Entwurf einer variablen Bildverarbeitungspipeline für Biosensoren auf FPGAs.
2010, B.Sc. thesis, Adviser: Peter Marwedel
[BibTeX]@bachelorthesis { Koch:2010,
title = {Entwurf einer variablen Bildverarbeitungspipeline f\"ur Biosensoren auf FPGAs},
author = {Koch, Andreas},
school = {TU Dortmund},
year = {2010},
confidential = {n},
adviser = {Peter Marwedel},
}
- Richard Hellwig:
Nutzbarkeitsanalyse von Schleifenparallelisierer für GPGPU-Anwendungen in Eingebetteten Systemen.
2010, B.Sc. thesis, Adviser: Constantin Timm
[BibTeX]@bachelorthesis { hellwig:2010,
title = {Nutzbarkeitsanalyse von Schleifenparallelisierer f\"ur GPGPU-Anwendungen in Eingebetteten Systemen},
author = {Hellwig, Richard},
school = {TU Dortmund},
year = {2010},
confidential = {n},
adviser = {Constantin Timm},
}
- Shen Lu:
High-Level Scratchpad-Memory Allokation für Programmcode mittels Clustering.
November 2010, M.Sc. thesis, Adviser: Florian Schmoll
[BibTeX]@mastersthesis { Lu2010,
title = {High-Level Scratchpad-Memory Allokation f\"ur Programmcode mittels Clustering},
author = {Lu, Shen},
school = {Technische Universtit\"at Dortmund},
year = {2010},
month = {November},
keywords = {spm},
confidential = {n},
adviser = {Florian Schmoll},
}
- Lutz Krumme:
Dynamische Scratchpad-Allokation von Code und Daten zur WCET-Minimierung.
August 2010, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Krumme2010,
title = {Dynamische Scratchpad-Allokation von Code und Daten zur WCET-Minimierung},
author = {Krumme, Lutz},
school = {Technische Universtit\"at Dortmund},
year = {2010},
month = {August},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/krumme.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Norman Schmitz:
ILP-basierte Registerallokation zur Worst-Case Execution Time Minimierung.
June 2010, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Schmitz2010,
title = {ILP-basierte Registerallokation zur Worst-Case Execution Time Minimierung},
author = {Schmitz, Norman},
school = {Technische Universtit\"at Dortmund},
year = {2010},
month = {June},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schmitz.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Andre Smolarczyk:
Instruction Scheduling-Verfahren zur Minimierung der WCET.
May 2010, M.Sc. thesis, Adviser: Paul Lokuciejewski
[BibTeX][PDF]@mastersthesis { Smolarczyk2010,
title = {Instruction Scheduling-Verfahren zur Minimierung der WCET},
author = {Smolarczyk, Andre},
school = {Technische Universtit\"at Dortmund},
year = {2010},
month = {May},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/smolarczyk.pdf},
confidential = {n},
adviser = {Paul Lokuciejewski},
}
- Igor Ionov:
Design und Realisierung von Konzepten für retargierbare, multikriterielle Optimierungen im WCET-fähigen Compiler.
March 2010, M.Sc. thesis, Adviser: Sascha Plazar
[BibTeX][PDF]@mastersthesis { Ionov2010,
title = {Design und Realisierung von Konzepten f\"ur retargierbare, multikriterielle Optimierungen im WCET-f\"ahigen Compiler},
author = {Ionov, Igor},
school = {Technische Universtit\"at Dortmund},
year = {2010},
month = {March},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/ionov.pdf},
confidential = {n},
adviser = {Sascha Plazar},
}
2009
- Timon Kelter:
Superblock-basierte High-Level WCET-Optimierungen.
September 2009, M.Sc. thesis, Adviser: Paul Lokuciejewski
[BibTeX][PDF]@mastersthesis { Kelter2009,
title = {Superblock-basierte High-Level WCET-Optimierungen},
author = {Kelter, Timon},
school = {Technische Universtit\"at Dortmund},
year = {2009},
month = {September},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kelter.pdf},
confidential = {n},
adviser = {Paul Lokuciejewski},
}
- Thomas Pucyk:
Lokale und Globale Instruction Scheduling-Verfahren für den TriCore Prozessor.
June 2009, M.Sc. thesis, Adviser: Paul Lokuciejewski
[BibTeX][PDF]@mastersthesis { Pucyk2009,
title = {Lokale und Globale Instruction Scheduling-Verfahren f\"ur den TriCore Prozessor},
author = {Pucyk, Thomas},
school = {Technische Universtit\"at Dortmund},
year = {2009},
month = {June},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/pucyk.pdf},
confidential = {n},
adviser = {Paul Lokuciejewski},
}
2008
- Kui Zhang:
Efficient HD content Display Export from Mobile Devices to HD Displays.
2008, M.Sc. thesis, Adviser: Constantin Timm
[BibTeX]@mastersthesis { zhang:2008,
title = {Efficient HD content Display Export from Mobile Devices to HD Displays},
author = {Zhang, Kui},
school = {TU Dortmund},
year = {2008},
confidential = {n},
adviser = {Constantin Timm},
}
- Sebastian Hanloh:
Analyse des Einflusses der Zeitscheibenl¨ange beim RoundRobin-Scheduling in Cache- und Scratchpadbasierten Systemen.
December 2008, M.Sc. thesis, Adviser: Olivera Jovanovic
[BibTeX][PDF]@mastersthesis { Hanloh2008,
title = {Analyse des Einflusses der Zeitscheibenl¨ange beim RoundRobin-Scheduling in Cache- und Scratchpadbasierten Systemen},
author = {Hanloh, Sebastian},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {December},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/hanloh.pdf},
confidential = {n},
adviser = {Olivera Jovanovic},
}
- Stefan Wonneberger:
Kopplung von Scheduling- und Speicherallokationsstrategien zur Energieverbrauchsminimierung.
November 2008, M.Sc. thesis, Adviser: Robert Pyka
[BibTeX][PDF]@mastersthesis { Wonneberger2008,
title = {Kopplung von Scheduling- und Speicherallokationsstrategien zur Energieverbrauchsminimierung},
author = {Wonneberger, Stefan},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {November},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/wonneberger.pdf},
confidential = {n},
adviser = {Robert Pyka},
}
- Fatih Gedikli:
Transformation und Ausnutzung von WCET-Informationen für High-Level Optimierungen.
September 2008, M.Sc. thesis, Adviser: Paul Lokuciejewski
[BibTeX][PDF]@mastersthesis { Gedikli2008,
title = {Transformation und Ausnutzung von WCET-Informationen f\"ur High-Level Optimierungen},
author = {Gedikli, Fatih},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {September},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/gedikli.pdf},
confidential = {n},
adviser = {Paul Lokuciejewski},
}
- Florian Schmoll:
ILP-basierte Registerallokation unter Ausnutzung von WCET-Daten.
September 2008, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Schmoll2008,
title = {ILP-basierte Registerallokation unter Ausnutzung von WCET-Daten},
author = {Schmoll, Florian},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {September},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schmoll.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Jan Christopher Kleinsorge:
WCET-centric code allocation for scratchpad memories.
September 2008, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Kleinsorge2008,
title = {WCET-centric code allocation for scratchpad memories},
author = {Kleinsorge, Jan Christopher},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {September},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kleinsorge.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Felix Rotthowe:
Scratchpad-Allokation von Daten zur Worst-Case Execution Time Minimierung.
August 2008, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Rotthowe2008,
title = {Scratchpad-Allokation von Daten zur Worst-Case Execution Time Minimierung},
author = {Rotthowe, Felix},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {August},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/rotthowe.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Alexander Katriniok:
Speicherhierarchie Design-Space-Exploration für den MPARM System-on-Chip Simulator.
June 2008, M.Sc. thesis, Adviser: Robert Pyka
[BibTeX][PDF]@mastersthesis { Katriniok2008,
title = {Speicherhierarchie Design-Space-Exploration f\"ur den MPARM System-on-Chip Simulator},
author = {Katriniok, Alexander},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {June},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/katriniok.pdf},
confidential = {n},
adviser = {Robert Pyka},
}
- Daniel Cordes:
Schleifenanalyse für einen WCET-optimierenden Compiler basierend auf Abstrakter Interpretation und Polylib.
April 2008, M.Sc. thesis, Adviser: Paul Lokuciejewski
[BibTeX][PDF]@mastersthesis { Cordes2008,
title = {Schleifenanalyse f\"ur einen WCET-optimierenden Compiler basierend auf Abstrakter Interpretation und Polylib},
author = {Cordes, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2008},
month = {April},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/cordes.pdf},
confidential = {n},
adviser = {Paul Lokuciejewski},
}
2007
- Da He:
Automatisierung des Integratiostests bei eingebetteten Systemen.
November 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { He2007,
title = {Automatisierung des Integratiostests bei eingebetteten Systemen},
author = {He, Da},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {November},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Mike Duhm:
Modellbasierte Auswertung des Tests verteilter KFZ-Infotainmentsysteme im mobilen Einsatz.
October 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Duhm2007,
title = {Modellbasierte Auswertung des Tests verteilter KFZ-Infotainmentsysteme im mobilen Einsatz},
author = {Duhm, Mike},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {October},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Harald Günther:
Simulationsbasierte Bewertung der \"Ubertragungssicherheit von KFZ-Bussystemen unter Berücksichtigung von Parameterstreuungen.
October 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Guenther2007,
title = {Simulationsbasierte Bewertung der \"Ubertragungssicherheit von KFZ-Bussystemen unter Ber\"ucksichtigung von Parameterstreuungen},
author = {G\"unther, Harald},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {October},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Michael Schaten:
Barrierefreiheit eines interaktiven Glossars.
September 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Schaten2007,
title = {Barrierefreiheit eines interaktiven Glossars},
author = {Schaten, Michael},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {September},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Judith Ackermann:
Analyse der Zuverlässigkeit von KFZ-Motorsteuerungen mit der Fehlerbaumtechnik.
August 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Ackermann2007,
title = {Analyse der Zuverl\"assigkeit von KFZ-Motorsteuerungen mit der Fehlerbaumtechnik},
author = {Ackermann, Judith},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {August},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Rene Zeglin:
Echtzeitfähigkeit eines Testsystems zur Konformitätsprüfung von Flexray Kommunikationscontrollern.
July 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Zeglin2007,
title = {Echtzeitf\"ahigkeit eines Testsystems zur Konformit\"atspr\"ufung von Flexray Kommunikationscontrollern},
author = {Zeglin, Rene},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {July},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Mirko Sykorra:
Lösung partieller Differentialgleichungen mit gemischter Genauigkeit auf field programmable gate arrays (FPGAs).
July 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Sykorra2007,
title = {L\"osung partieller Differentialgleichungen mit gemischter Genauigkeit auf field programmable gate arrays (FPGAs)},
author = {Sykorra, Mirko},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {July},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Nina Grau:
Energieeffiziente kooperative Scheduling- und Speicherallokationstechniken für Multiprozess-Systeme.
June 2007, M.Sc. thesis, Adviser: Robert Pyka
[BibTeX]@mastersthesis { Grau2007,
title = {Energieeffiziente kooperative Scheduling- und Speicherallokationstechniken f\"ur Multiprozess-Systeme},
author = {Grau, Nina},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {June},
confidential = {n},
adviser = {Robert Pyka},
}
- Thorsten Pannenbäcker:
Beispielhafte Erarbeitung eines BITE-Konzeptes für künftige Avioniksysteme.
June 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Pannenbaecker2007,
title = {Beispielhafte Erarbeitung eines BITE-Konzeptes f\"ur k\"unftige Avioniksysteme},
author = {Pannenb\"acker, Thorsten},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {June},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Thorsten Koch:
Energy-efficient and dynamic resource management for mobile devices.
May 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Koch2007,
title = {Energy-efficient and dynamic resource management for mobile devices},
author = {Koch, Thorsten},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {May},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Tobias Wegner:
Einsatz von Standard Hard- und Software im zeitkritischen Unternehmenrbetrieb am Beispiel von Windows XP in Kombination mit Profinet.
May 2007, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Wegner2007,
title = {Einsatz von Standard Hard- und Software im zeitkritischen Unternehmenrbetrieb am Beispiel von Windows XP in Kombination mit Profinet},
author = {Wegner, Tobias},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {May},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Daniel Höcker:
Effiziente Darstellung und Nutzung von WCET Pfad Analysen.
May 2007, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX]@mastersthesis { Hoecker2007,
title = {Effiziente Darstellung und Nutzung von WCET Pfad Analysen},
author = {H\"ocker, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {May},
keywords = {wcet},
confidential = {n},
adviser = {Heiko Falk},
}
- Daniel Schulte:
Modellierung und Transformation von Flow Facts in einem WCET-optimierenden Compiler.
May 2007, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Schulte2007,
title = {Modellierung und Transformation von Flow Facts in einem WCET-optimierenden Compiler},
author = {Schulte, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {May},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schulte.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Sascha Plazar:
Einfluss von statischem Cache Locking auf Worst Case Execution Times.
January 2007, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Plazar2007,
title = {Einfluss von statischem Cache Locking auf Worst Case Execution Times},
author = {Plazar, Sascha},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {January},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/plazar.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Martin Schwarzer:
Untersuchung des Einflusses von Compiler-Optimierungen auf die Maximale Programm-Laufzeit (WCET).
January 2007, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Schwarzer2007,
title = {Untersuchung des Einflusses von Compiler-Optimierungen auf die Maximale Programm-Laufzeit (WCET)},
author = {Schwarzer, Martin},
school = {Technische Universtit\"at Dortmund},
year = {2007},
month = {January},
keywords = {wcet},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schwarzer.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
2006
- Monika Enns:
Konzeption und Realisierung einer geschlossenen Toolchain zur entwicklungsbegleitenden Testautomatisierung von KFZ-Infotainmentsystemen.
2006, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Enns2006,
title = {Konzeption und Realisierung einer geschlossenen Toolchain zur entwicklungsbegleitenden Testautomatisierung von KFZ-Infotainmentsystemen},
author = {Enns, Monika},
school = {Technische Universtit\"at Dortmund},
year = {2006},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Olivera Jovanovic:
Dynamic Voltage Selection for energy efficient real-time multiprocessors.
November 2006, M.Sc. thesis, Adviser: Prof. Dr. Marwedel, Prof. Dr. Petru Eles
[BibTeX][PDF]@mastersthesis { Jovanovic2006,
title = {Dynamic Voltage Selection for energy efficient real-time multiprocessors},
author = {Jovanovic, Olivera},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {November},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/jovanovic.pdf},
confidential = {n},
adviser = {Prof. Dr. Marwedel, Prof. Dr. Petru Eles},
}
- Christoph Faßbach:
Energieoptimierende, betriebssystemunterstützte, online Scratchpad-Allokation für Multiprozess-Applikationen.
September 2006, M.Sc. thesis, Adviser: Robert Pyka
[BibTeX][PDF]@mastersthesis { Fassbach2006,
title = {Energieoptimierende, betriebssystemunterst\"utzte, online Scratchpad-Allokation f\"ur Multiprozess-Applikationen},
author = {Fa\"sbach, Christoph},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {September},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/fassbach.pdf.gz},
confidential = {n},
adviser = {Robert Pyka},
}
- Dirk Foersterling:
Interaktive Visualisierung der Medienzugriffskontrolle beim FlexRay-Protokoll.
September 2006, M.Sc. thesis, Adviser: Birgit Sirocic
[BibTeX][PDF]@mastersthesis { Foersterling2006,
title = {Interaktive Visualisierung der Medienzugriffskontrolle beim FlexRay-Protokoll},
author = {Foersterling, Dirk},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {September},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/foersterling.pdf.gz},
confidential = {n},
adviser = {Birgit Sirocic},
}
- Andreas Volgmann:
Evaluation von Performance Parametern in einem ZigBee Netzwerke.
August 2006, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Volgmann2006,
title = {Evaluation von Performance Parametern in einem ZigBee Netzwerke},
author = {Volgmann, Andreas},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {August},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Thomas Kindler:
Entwicklung von Hardware und Software für einen zweibeinigen Roboter.
April 2006, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Kindler2006,
title = {Entwicklung von Hardware und Software f\"ur einen zweibeinigen Roboter},
author = {Kindler, Thomas},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {April},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Oliver Grätz:
Konzeption eines internetbasierten Audio-\"Ubertragungssystems auf der Basis Fragmentierter \"Ubertragung.
March 2006, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Graetz2006,
title = {Konzeption eines internetbasierten Audio-\"Ubertragungssystems auf der Basis Fragmentierter \"Ubertragung},
author = {Gr\"atz, Oliver},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {March},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Alexandra Nolte-Spicker:
Interaktive Visualisierung von Weg-Zeit-Diagrammen.
March 2006, M.Sc. thesis, Adviser: Birgit Sirocic
[BibTeX]@mastersthesis { Nolte-Spicker2006,
title = {Interaktive Visualisierung von Weg-Zeit-Diagrammen},
author = {Nolte-Spicker, Alexandra},
school = {Technische Universtit\"at Dortmund},
year = {2006},
month = {March},
confidential = {n},
adviser = {Birgit Sirocic},
}
2005
- Paul Lokuciejewski:
Design and Realization of Concepts for WCET Compiler Optimization.
Decmber 2005, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX]@mastersthesis { Lokuciejewski2005,
title = {Design and Realization of Concepts for WCET Compiler Optimization},
author = {Lokuciejewski, Paul},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {Decmber},
keywords = {wcet},
confidential = {n},
adviser = {Heiko Falk},
}
- Lei Yao:
Vergleich von Bereichs- und Bitwertanalyse auf Registerebene.
November 2005, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX]@mastersthesis { Yao2005,
title = {Vergleich von Bereichs- und Bitwertanalyse auf Registerebene},
author = {Yao, Lei},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {November},
confidential = {n},
adviser = {Jens Wagner},
}
- Holger Bihr:
Entwicklung einer plattformunabhängigen, kontext-sensitiven Aliasanalyse für das ICD-C Compiler-Framework.
November 2005, M.Sc. thesis, Adviser: Robert Pyka
[BibTeX]@mastersthesis { Bihr2005,
title = {Entwicklung einer plattformunabh\"angigen, kontext-sensitiven Aliasanalyse f\"ur das ICD-C Compiler-Framework},
author = {Bihr, Holger},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {November},
confidential = {n},
adviser = {Robert Pyka},
}
- Thorsten Wilmer:
Energieeffiziente Belegung von Scratchpad-Speichern mit Code und Arrays durch Loop-Tiling.
November 2005, M.Sc. thesis, Adviser: Lars Wehmeyer
[BibTeX][PDF]@mastersthesis { Wilmer2005,
title = {Energieeffiziente Belegung von Scratchpad-Speichern mit Code und Arrays durch Loop-Tiling},
author = {Wilmer, Thorsten},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {November},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/wilmer.pdf.gz},
confidential = {n},
adviser = {Lars Wehmeyer},
}
- Martin Piayda:
Entwicklung eines Gateways zwischen UPnP und EIB unter Verwendung von OSGI.
October 2005, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Piayda2005,
title = {Entwicklung eines Gateways zwischen UPnP und EIB unter Verwendung von OSGI},
author = {Piayda, Martin},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {October},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Daniel Barisic:
Konzipierung und Aufbau eines Entwicklungsframework für Softwarekomponenten Smarter UPnP Transceiver.
October 2005, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Barisic2005,
title = {Konzipierung und Aufbau eines Entwicklungsframework f\"ur Softwarekomponenten Smarter UPnP Transceiver},
author = {Barisic, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {October},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Sebastian Schmidt Pedram Hadjian:
Voxelerator - a FPGA-based Volume Visualization Pipeline.
October 2005, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { PedramHadjian2005,
title = {Voxelerator - a FPGA-based Volume Visualization Pipeline},
author = {Pedram Hadjian, Sebastian Schmidt},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {October},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Désirée Kraus:
Definition und Integration einer Teilmenge von C++ als Zwischendarstellung in einer Compiler-Umgebung für eingebettete Systeme.
September 2005, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX]@mastersthesis { Kraus2005,
title = {Definition und Integration einer Teilmenge von C++ als Zwischendarstellung in einer Compiler-Umgebung f\"ur eingebettete Systeme},
author = {Kraus, D\'esir\'ee},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {September},
confidential = {n},
adviser = {Jens Wagner},
}
- Daniel Fengler:
Evaluierung des Publish/Subscribe Messaging Paradigmas zur Kommunikation in OSGi Frameworks im Automobilumfeld.
September 2005, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Fengler2005,
title = {Evaluierung des Publish/Subscribe Messaging Paradigmas zur Kommunikation in OSGi Frameworks im Automobilumfeld},
author = {Fengler, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {September},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Michael Engel:
Advancing Operating Systems via Aspect-Oriented Programming.
July 2005, PhD thesis
[BibTeX][PDF]@phdthesis { engel:05:diss,
title = {Advancing Operating Systems via Aspect-Oriented Programming},
author = {Engel, Michael},
school = {Philipps-Universit{\"a}t Marburg, Fachbereich Mathematik und Informatik},
year = {2005},
type = {Dissertation},
month = {July},
file = {http://archiv.ub.uni-marburg.de/diss/z2006/0138/pdf/dme.pdf},
confidential = {n},
}
- Vedran Divkovic:
Visuell rückgekoppelte ergometrische Belastungsprozesse: Entwurf, Realisierung und Test von geeigneten Geräten.
June 2005, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Divkovic2005,
title = {Visuell r\"uckgekoppelte ergometrische Belastungsprozesse: Entwurf, Realisierung und Test von geeigneten Ger\"aten},
author = {Divkovic, Vedran},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {June},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- David Hec:
Evaluierung von Postpassoptimierungen.
May 2005, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX]@mastersthesis { Hec2005,
title = {Evaluierung von Postpassoptimierungen},
author = {Hec, David},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {May},
confidential = {n},
adviser = {Jens Wagner},
}
- Duy Khuong Nguyen:
Evaluierung von Fehlererkennungs-, Fehlerbehandlungs- und Redundanzmechanismen für concubiNet.
April 2005, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Nguyen2005,
title = {Evaluierung von Fehlererkennungs-, Fehlerbehandlungs- und Redundanzmechanismen f\"ur concubiNet},
author = {Nguyen, Duy Khuong},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {April},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- André Schaefer:
Performance-Optimierung in Eingebetteten Systemen durch automatische Ausnutzung von Prozessor-Merkmalen auf Quellcode-Ebene.
March 2005, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Schaefer2005,
title = {Performance-Optimierung in Eingebetteten Systemen durch automatische Ausnutzung von Prozessor-Merkmalen auf Quellcode-Ebene},
author = {Schaefer, Andr\'e},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {March},
keywords = {sco},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schaefer.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Jinglu Han:
Interaktive Visualisierung von Real-Time Scheduling-Algorithmen.
January 2005, M.Sc. thesis, Adviser: Birgit Sirocic
[BibTeX]@mastersthesis { Han2005,
title = {Interaktive Visualisierung von Real-Time Scheduling-Algorithmen},
author = {Han, Jinglu},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {January},
confidential = {n},
adviser = {Birgit Sirocic},
}
- André Kernchen:
Compilergestütze Energiereduktion für SDRAM- und Flash-basierte Speichertechnologien.
January 2005, M.Sc. thesis, Adviser: Lars Wehmeyer
[BibTeX][PDF]@mastersthesis { Kernchen2005,
title = {Compilergest\"utze Energiereduktion f\"ur SDRAM- und Flash-basierte Speichertechnologien},
author = {Kernchen, Andr\'e},
school = {Technische Universtit\"at Dortmund},
year = {2005},
month = {January},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kernchen.pdf.gz},
confidential = {n},
adviser = {Lars Wehmeyer},
}
2004
- Mark Rzepka:
Methodik der Konfiguration von wiederverwendbarer Lenksäulenapplikations-Software.
December 2004, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX]@mastersthesis { Rzepka2004,
title = {Methodik der Konfiguration von wiederverwendbarer Lenks\"aulenapplikations-Software},
author = {Rzepka, Mark},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {December},
confidential = {n},
adviser = {Stefan Steinke},
}
- Till Buchwald:
Plattformabhängigkeit der Effizienz von Schleifentransformationen auf der Quellcodeebene.
December 2004, M.Sc. thesis, Adviser: Sergej Schwenk
[BibTeX]@mastersthesis { Buchwald2004,
title = {Plattformabh\"angigkeit der Effizienz von Schleifentransformationen auf der Quellcodeebene},
author = {Buchwald, Till},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {December},
confidential = {n},
adviser = {Sergej Schwenk},
}
- Tobias Stricker:
Optimierung und Simulation dichter WLAN-Netzwerke mit QoS-Anforderungen.
December 2004, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Stricker2004,
title = {Optimierung und Simulation dichter WLAN-Netzwerke mit QoS-Anforderungen},
author = {Stricker, Tobias},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {December},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Mario Wallmeyer:
Entwicklung eines Navigationsverfahrens für Reinigungsroboter auf Basis von Transpondern.
December 2004, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Wallmeyer2004,
title = {Entwicklung eines Navigationsverfahrens f\"ur Reinigungsroboter auf Basis von Transpondern},
author = {Wallmeyer, Mario},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {December},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Markus Pilz:
Interaktive Visualisierung von Prozessnetzwerken.
November 2004, M.Sc. thesis, Adviser: Birgit Sirocic
[BibTeX]@mastersthesis { Pilz2004,
title = {Interaktive Visualisierung von Prozessnetzwerken},
author = {Pilz, Markus},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {November},
confidential = {n},
adviser = {Birgit Sirocic},
}
- Björn Elmar Schmidt:
Verteilte Datenhaltung in einem Location Based Service-System.
November 2004, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Schmidt2004,
title = {Verteilte Datenhaltung in einem Location Based Service-System},
author = {Schmidt, Bj\"orn Elmar},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {November},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Babak Davani:
EKG-Auswertung auf Mobilfunkgeräten.
October 2004, M.Sc. thesis, Adviser: Prof. Dr. Igel, Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Davani2004,
title = {EKG-Auswertung auf Mobilfunkger\"aten},
author = {Davani, Babak},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {October},
confidential = {n},
adviser = {Prof. Dr. Igel, Prof. Dr. Marwedel},
}
- Klaus Petzold:
Scratchpad-Allokations-Strategien für Multiprozess-Systeme.
October 2004, M.Sc. thesis, Adviser: Manish Verma, Lars Wehmeyer
[BibTeX][PDF]@mastersthesis { Petzold2004,
title = {Scratchpad-Allokations-Strategien f\"ur Multiprozess-Systeme},
author = {Petzold, Klaus},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {October},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/petzold.pdf.gz},
confidential = {n},
adviser = {Manish Verma, Lars Wehmeyer},
}
- Gregor Standers:
Entwurf eines Entwicklungsprozesses für sicherheitskritische Steuergeräte im Automobil.
October 2004, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX]@mastersthesis { Standers2004,
title = {Entwurf eines Entwicklungsprozesses f\"ur sicherheitskritische Steuerger\"ate im Automobil},
author = {Standers, Gregor},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {October},
confidential = {n},
adviser = {Stefan Steinke},
}
- Michael Vogt:
Plattformabhängige Eliminierung gemeinsamer Teilausdrücke auf Quellcode-Ebene.
September 2004, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Vogt2004,
title = {Plattformabh\"angige Eliminierung gemeinsamer Teilausdr\"ucke auf Quellcode-Ebene},
author = {Vogt, Michael},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {September},
keywords = {sco},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/vogt.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Heiko Falk:
Source Code Optimization Techniques for Data Flow Dominated Embedded Software.
June 2004, PhD thesis
[BibTeX][PDF]@phdthesis { Falk:04:phd,
title = {Source Code Optimization Techniques for Data Flow Dominated Embedded Software},
author = {Falk, Heiko},
school = {TU Dortmund, Faculty of Computer Science 12},
year = {2004},
month = {June},
keywords = {sco},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/phd-falk.pdf},
confidential = {n},
}
- Rafael König:
Entwicklung und Implementierung eines Routing-Protokolls für Bluetooth Ad-Hoc Netzwerke.
May 2004, M.Sc. thesis, Adviser: Prof. Dr. Marwedel
[BibTeX]@mastersthesis { Koenig2004,
title = {Entwicklung und Implementierung eines Routing-Protokolls f\"ur Bluetooth Ad-Hoc Netzwerke},
author = {K\"onig, Rafael},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {May},
confidential = {n},
adviser = {Prof. Dr. Marwedel},
}
- Katharina Kutyniok:
Optimierung zur Ausnutzung von SIMD Operationen und Festkommadatentypen unter Benutzung bitgenauer Datenflussanalyse.
April 2004, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX]@mastersthesis { Kutyniok2004,
title = {Optimierung zur Ausnutzung von SIMD Operationen und Festkommadatentypen unter Benutzung bitgenauer Datenflussanalyse},
author = {Kutyniok, Katharina},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {April},
confidential = {n},
adviser = {Jens Wagner},
}
- Daniel Smolinski:
Benefits from revirtualization of Infineon TriCore registers.
April 2004, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX]@mastersthesis { Smolinski2004,
title = {Benefits from revirtualization of Infineon TriCore registers},
author = {Smolinski, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {April},
confidential = {n},
adviser = {Jens Wagner},
}
- Urs Helmig:
Compilergestützte Optimierung von Zugriffen auf partitionierte Speicher.
March 2004, M.Sc. thesis, Adviser: Lars Wehmeyer
[BibTeX][PDF]@mastersthesis { Helmig2004,
title = {Compilergest\"utzte Optimierung von Zugriffen auf partitionierte Speicher},
author = {Helmig, Urs},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {March},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/helmig.pdf.gz},
confidential = {n},
adviser = {Lars Wehmeyer},
}
- Jörg Kamphausen:
Entwicklung eines generischen Codegenerators für RISC-Architekturen.
January 2004, M.Sc. thesis, Adviser: Markus Lorenz
[BibTeX][PDF]@mastersthesis { Kamphausen2004,
title = {Entwicklung eines generischen Codegenerators f\"ur RISC-Architekturen},
author = {Kamphausen, J\"org},
school = {Technische Universtit\"at Dortmund},
year = {2004},
month = {January},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kamphausen.pdf.gz},
confidential = {n},
adviser = {Markus Lorenz},
}
2003
- Robert Pyka:
Retargierbare Bitlevel Optimierungen für den Infineon Tricore Prozessor.
August 2003, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX]@mastersthesis { Pyka2003,
title = {Retargierbare Bitlevel Optimierungen f\"ur den Infineon Tricore Prozessor},
author = {Pyka, Robert},
school = {Technische Universtit\"at Dortmund},
year = {2003},
month = {August},
confidential = {n},
adviser = {Jens Wagner},
}
- Peter Imhoff:
Codegrößenreduktion eingebetteter Systeme durch kombiniertes In- und Exlining.
August 2003, M.Sc. thesis, Adviser: Jens Wagner
[BibTeX][PDF]@mastersthesis { Imhoff2003,
title = {Codegr\"o\"senreduktion eingebetteter Systeme durch kombiniertes In- und Exlining},
author = {Imhoff, Peter},
school = {Technische Universtit\"at Dortmund},
year = {2003},
month = {August},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/imhoff.pdf.gz},
confidential = {n},
adviser = {Jens Wagner},
}
2002
- Michael Engel:
Entwurf und Implementierung eines ad-hoc Netzwerks für Mobilgeräte.
2002, M.Sc. thesis
[BibTeX]@mastersthesis { engel:02:informatik,
title = {Entwurf und Implementierung eines ad-hoc Netzwerks f{\"u}r Mobilger{\"a}te},
author = {Engel, Michael},
school = {Universit{\"a}t Siegen, Fachbereich Elektrotechnik und Informatik},
year = {2002},
type = {Diplomarbeit},
confidential = {n},
}
- Nils Grunwald:
Energieminimierung eingebetteter Programme durch die dynamische Nutzung eines Scratchpad-Speichers.
April 2002, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Grunwald2002,
title = {Energieminimierung eingebetteter Programme durch die dynamische Nutzung eines Scratchpad-Speichers},
author = {Grunwald, Nils},
school = {Technische Universtit\"at Dortmund},
year = {2002},
month = {April},
keywords = {ecc},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/grunwald.pdf.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- Jacek Jakubowski:
Architekturunabhängige Quellcodeoptimierung durch Mustererkennung.
April 2002, M.Sc. thesis, Adviser: Heiko Falk
[BibTeX][PDF]@mastersthesis { Jakubowski2002,
title = {Architekturunabh\"angige Quellcodeoptimierung durch Mustererkennung},
author = {Jakubowski, Jacek},
school = {Technische Universtit\"at Dortmund},
year = {2002},
month = {April},
keywords = {sco},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/jakubowski.pdf},
confidential = {n},
adviser = {Heiko Falk},
}
- Thomas Hüls:
Energieoptimierung einer MPEG-Applikation.
March 2002, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Huels2002,
title = {Energieoptimierung einer MPEG-Applikation},
author = {H\"uls, Thomas},
school = {Technische Universtit\"at Dortmund},
year = {2002},
month = {March},
keywords = {ecc},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/huels.pdf.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- Sergej Schwenk:
Entwicklung eines Energiemodells fuer den LEON Prozessor.
March 2002, M.Sc. thesis, Adviser: Lars Wehmeyer
[BibTeX]@mastersthesis { Schwenk2002,
title = {Entwicklung eines Energiemodells fuer den LEON Prozessor},
author = {Schwenk, Sergej},
school = {Technische Universtit\"at Dortmund},
year = {2002},
month = {March},
confidential = {n},
adviser = {Lars Wehmeyer},
}
2001
- Martin Horst:
Schleifenoptimierungen zur Ausnutzung paralleler Rechenwerke von Prozessoren der M3-DSP Plattform.
Novermber 2001, M.Sc. thesis, Adviser: Markus Lorenz
[BibTeX][PDF]@mastersthesis { Horst2001,
title = {Schleifenoptimierungen zur Ausnutzung paralleler Rechenwerke von Prozessoren der M3-DSP Plattform},
author = {Horst, Martin},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {Novermber},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/horst.pdf.gz},
confidential = {n},
adviser = {Markus Lorenz},
}
- Markus Fiesel:
http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/fiesel.ps.gz.
December 2001, M.Sc. thesis, Adviser: Markus Lorenz
[BibTeX][PDF]@mastersthesis { Fiesel2001,
title = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/fiesel.ps.gz},
author = {Fiesel, Markus},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {December},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/fiesel.ps.gz},
confidential = {n},
adviser = {Markus Lorenz},
}
- Lars Hornbach:
Generische Low-Level Optimierungen für RISC-Architekturen.
November 2001, M.Sc. thesis, Adviser: Lars Wehmeyer
[BibTeX][PDF]@mastersthesis { Hornbach2001,
title = {Generische Low-Level Optimierungen f\"ur RISC-Architekturen},
author = {Hornbach, Lars},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {November},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/hornbach.ps.gz},
confidential = {n},
adviser = {Lars Wehmeyer},
}
- Bo-Sik Lee:
Vergleich des Energieverbrauchs von Cache- und Scratch-Pad-Speichern für den ARM7-Prozessor.
October 2001, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Lee2001,
title = {Vergleich des Energieverbrauchs von Cache- und Scratch-Pad-Speichern f\"ur den ARM7-Prozessor},
author = {Lee, Bo-Sik},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {October},
keywords = {ecc},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/lee.ps.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- Christoph Zobiegala:
Energieeinsparung durch compilergesteuerte Nutzung des On-Chip-Speichers.
September 2001, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Zobiegala2001,
title = {Energieeinsparung durch compilergesteuerte Nutzung des On-Chip-Speichers},
author = {Zobiegala, Christoph},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {September},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/zobiegala.ps.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- Markus Knauer:
Codierungsverfahren zur Reduktion des Energiebedarfs von Programmen.
July 2001, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Knauer2001,
title = {Codierungsverfahren zur Reduktion des Energiebedarfs von Programmen},
author = {Knauer, Markus},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {July},
keywords = {ecc},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/knauer.ps.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- Gregory Sapsford:
Messung des Energieverbrauchs von Caches am Beispiel des StrongARM-Prozessors (Studienarbeit).
March 2001, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Sapsford2001,
title = {Messung des Energieverbrauchs von Caches am Beispiel des StrongARM-Prozessors (Studienarbeit)},
author = {Sapsford, Gregory},
school = {Technische Universtit\"at Dortmund},
year = {2001},
month = {March},
keywords = {ecc},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/sapsford.ps.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
2000
- Michael Theokharidis:
Energiemessung von ARM7TDMI Prozessor-Instruktionen.
November 2000, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { Theokharidis2000,
title = {Energiemessung von ARM7TDMI Prozessor-Instruktionen},
author = {Theokharidis, Michael},
school = {Technische Universtit\"at Dortmund},
year = {2000},
month = {November},
keywords = {ecc},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/theokharidis.ps.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- Ruediger Schwarz:
Reduktion des Energiebedarfs von Programmen für den ARM-Prozessor durch Registerpipelining.
September 2000, M.Sc. thesis, Adviser: Stefan Steinke
[BibTeX][PDF]@mastersthesis { schwarz:00:thesis,
title = {Reduktion des Energiebedarfs von Programmen f\"ur den ARM-Prozessor durch Registerpipelining},
author = {Schwarz, Ruediger},
school = {TU Dortmund, Faculty of Computer Science 12},
year = {2000},
month = {sep},
file = {media/documents/theses/schwarz.pdf.gz},
confidential = {n},
adviser = {Stefan Steinke},
}
- David Kottmann:
Adresszuweisung fuer den M3-DSP.
June 2000, M.Sc. thesis, Adviser: Markus Lorenz
[BibTeX][PDF]@mastersthesis { Kottmann2000,
title = {Adresszuweisung fuer den M3-DSP},
author = {Kottmann, David},
school = {Technische Universtit\"at Dortmund},
year = {2000},
month = {June},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kottmann.ps.gz},
confidential = {n},
adviser = {Markus Lorenz},
}
- Frank Jagla:
Uebersetzung und Optimierung objektorientierter Programmiersprachen unter besonderer Beruecksichtigung eingebetteter Systeme.
May 2000, M.Sc. thesis, Adviser: Steven Bashrod
[BibTeX][PDF]@mastersthesis { Jagla2000,
title = {Uebersetzung und Optimierung objektorientierter Programmiersprachen unter besonderer Beruecksichtigung eingebetteter Systeme},
author = {Jagla, Frank},
school = {Technische Universtit\"at Dortmund},
year = {2000},
month = {May},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/jagla.pdf},
confidential = {n},
adviser = {Steven Bashrod},
}
- Daniel Kotte:
Speicherpartitionierung in DSP-Compilern.
April 2000, M.Sc. thesis, Adviser: Rainer Leupers
[BibTeX][PDF]@mastersthesis { Kotte2000,
title = {Speicherpartitionierung in DSP-Compilern},
author = {Kotte, Daniel},
school = {Technische Universtit\"at Dortmund},
year = {2000},
month = {April},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/kotte.ps.gz},
confidential = {n},
adviser = {Rainer Leupers},
}
1999
- Michael Engel:
Lösung von Finite-Elemente-Problemen mit MODULEF.
1999, M.Sc. thesis
[BibTeX]@mastersthesis { engel:99:mathe,
title = {L{\"o}sung von Finite-Elemente-Problemen mit MODULEF},
author = {Engel, Michael},
school = {Universit{\"a}t Siegen, Fachbereich Mathematik},
year = {1999},
type = {Diplomarbeit},
confidential = {n},
}
- Torsten Menne:
Vergleich von CLP und ILP basierten Optimierungsstrategien am Beispiel der Codegenerierung fuer DSPs.
September 1999, M.Sc. thesis, Adviser: Steven Bashrod
[BibTeX][PDF]@mastersthesis { Menne1999,
title = {Vergleich von CLP und ILP basierten Optimierungsstrategien am Beispiel der Codegenerierung fuer DSPs},
author = {Menne, Torsten},
school = {Technische Universtit\"at Dortmund},
year = {1999},
month = {September},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/menne.ps.gz},
confidential = {n},
adviser = {Steven Bashrod},
}
- Thomas Barschdorf:
Codeerzeugung fuer den digitalen Signalprozessor TI TMS320C5x.
September 1999, M.Sc. thesis, Adviser: Rainer Leupers
[BibTeX][PDF]@mastersthesis { Barschdorf1999,
title = {Codeerzeugung fuer den digitalen Signalprozessor TI TMS320C5x},
author = {Barschdorf, Thomas},
school = {Technische Universtit\"at Dortmund},
year = {1999},
month = {September},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/barschdorf.ps.gz},
confidential = {n},
adviser = {Rainer Leupers},
}
- Björn Franke:
Analysen und Methoden optimierender Compiler zur Steigerung der Effizienz von Speicherzugriffen in eingebetteten Systemen.
August 1999, M.Sc. thesis, Adviser: Steven Bashrod
[BibTeX][PDF]@mastersthesis { Franke1999,
title = {Analysen und Methoden optimierender Compiler zur Steigerung der Effizienz von Speicherzugriffen in eingebetteten Systemen},
author = {Franke, Bj\"orn},
school = {Technische Universtit\"at Dortmund},
year = {1999},
month = {August},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/franke.pdf},
confidential = {n},
adviser = {Steven Bashrod},
}
- Stefan Rave:
Entwurf und Realisierung eines skalierbaren FPGA-Prototypenboards.
April 1999, M.Sc. thesis, Adviser: Birger Landwehr
[BibTeX][PDF]@mastersthesis { Rave1999,
title = {Entwurf und Realisierung eines skalierbaren FPGA-Prototypenboards},
author = {Rave, Stefan},
school = {Technische Universtit\"at Dortmund},
year = {1999},
month = {April},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/rave.ps.gz},
confidential = {n},
adviser = {Birger Landwehr},
}
1998
- Christian Schaefer:
Interface-Synthese fuer inkompatible Protokolle.
1998, M.Sc. thesis, Adviser: Ralf Niemann
[BibTeX][PDF]@mastersthesis { Schaefer1998,
title = {Interface-Synthese fuer inkompatible Protokolle},
author = {Schaefer, Christian},
school = {Technische Universtit\"at Dortmund},
year = {1998},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/schaefer_1998.pdf},
confidential = {n},
adviser = {Ralf Niemann},
}
- Heiko Falk:
Hardware-Partitionierung für Prototypen-Boards.
August 1998, M.Sc. thesis, Adviser: Ralf Niemann
[BibTeX][PDF]@mastersthesis { Falk1998,
title = {Hardware-Partitionierung f\"ur Prototypen-Boards},
author = {Falk, Heiko},
school = {Technische Universtit\"at Dortmund},
year = {1998},
month = {August},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/falk.pdf},
confidential = {n},
adviser = {Ralf Niemann},
}
1997
- Markus Lorenz:
Mikroarchitektur-Synthese mit genetischen Algorithmen.
November 1997, M.Sc. thesis, Adviser: Birger Landwehr
[BibTeX][PDF]@mastersthesis { Lorenz1997,
title = {Mikroarchitektur-Synthese mit genetischen Algorithmen},
author = {Lorenz, Markus},
school = {Technische Universtit\"at Dortmund},
year = {1997},
month = {November},
file = {http://ls12-www.cs.tu-dortmund.de/daes/media/documents/theses/lorenz.ps.gz},
confidential = {n},
adviser = {Birger Landwehr},
}
1974
- Peter Marwedel:
Entwicklung und Anwendung von methoden zur stochastischen Behandlung von linearen und nichtlinearen Systemen am Beispiel eines Radiofrequenzspektrometers.
1974, PhD thesis
[BibTeX]@phdthesis { marw:74:phd,
title = {Entwicklung und Anwendung von methoden zur stochastischen Behandlung von linearen und nichtlinearen Systemen am Beispiel eines Radiofrequenzspektrometers},
author = {Marwedel, Peter},
school = {Institut f\"ur Angewandte Physik der Universit\"at Kiel},
year = {1974},
confidential = {n},
}
Forschung