Operating Systems
Work description
The work plan for this scholarship includes the following main activities: - Development of a tracing tool using eBPF (with libbpf) to instrument various points of interest in the Linux kernel (e.g., system calls, VFS, among others) and collect detailed information about the state of processes and files running on the system. Through this instrumentation, it should be possible to monitor and analyze application behavior, with special attention to critical operations such as program execution, process creation and termination, and interactions with the file system. - Implementation of a specialized visualization platform capable of processing the collected data and providing clear and intuitive visualizations representing the system state and monitored activities. - Experimental evaluation of the developed solution through tests with multiple programs and different kernel interaction scenarios, aiming to validate its effectiveness and applicability. The tasks described in this work plan demand the application and development of concepts and techniques in the areas of Computer Science and Informatics Engineering, which are usually introduced in curricular units included in the curricula of MSc courses in Computer Science and Informatics Engineering.
Academic Qualifications
BSc Degree in Computer Science or Informatics Engineering Sciences.
Minimum profile required
- Solid knowledge of operating systems.- Experience with the POSIX API and system calls.- Hands-on experience with eBPF technology and the libbpf library.
Preference factors
- Experience with I/O request tracing tools (e.g., Strace). - Knowledge of visualization tools (e.g., Vue.js).
Application Period
Since 27 Jun 2025 to 10 Jul 2025
Centre
High-Assurance Software