Start: In alignment with student
Duration: 3 – 6 months
Educational level: Academic
Education: Technical Computer Science / Electronic Engineering /
. Embedded Systems
DEMCON designs various real-time embedded systems. These systems typically have tasks that execute a regular intervals. However, having an RTOS with many threads on a microprocessor is relatively expensive in terms of memory usage, hard to predict in real-time performance, and it is hard to define proper thread priorities. Within DEMCON, a timed task framework was developed that allows to schedule and execute an arbitrary number of chunks of code at specific intervals. From programming perspective, these chunks are ‘just spawned after some time’, without having to worry about threading, synchronization, deadlocks, and memory management.
In practice, the framework works fine. However, it cannot give formal guarantees that the memory usage is limited and the system is predictable in all cases. As the applications have many similarities to the (cyclo-static) dataflow model, guarantees about memory and performance might be given based on these models. Within this assignment, the following topics can be addressed:
- Analysis of the model of computation of applications using the timed task framework
- Analysis of the static or dynamic behaviour of such an application
- Evaluate whether and under which assumptions guarantees can be given
- If feasible, define bounds on memory usage and performance
- Develop a demonstrator to show the weakness or strength of the approach
During the assignment the following knowledge is useful:
- Formal models (e.g., KPN, CSDF, model checking with Spin)
- Real-time scheduling
The student will be supervised by engineers from the software engineering department.
If you would like to receive more information concerning the internship, you can contact Jos Vos, Software Engineer (phone: 088 115 2000). If you would like to apply for the internship, please send your motivation letter and resume to Marleen Blanckenborg, recruiter (e-mail: firstname.lastname@example.org).