Master Thesis, 30 hp: Integrate a packet-switching traffic manager block with HOL4P4

Technology, Data & Digital · Software & Web Development · Software Engineering · Web Development

In short

This Master's thesis project involves implementing and integrating a packet-switching traffic manager with the HOL4P4 software switch, based on the P4 language. The project requires intermediate P4 programming skills and an understanding of network protocols and hardware.

Responsibilities

Implement a traffic manager (TM) in CakeML and/or Pancake languages.
Integrate the TM with the HOL4P4 software switch.
Interface the TM with ingress and egress parts via Unix raw sockets or similar mechanisms.
Optimize TM utilization of multi-core CPU architectures.
Validate the TM with an extensive test suite for compliance with IEEE 802.1Q standards.
Explore advanced TM functionality such as QoS prioritization and different scheduling algorithms (if time allows).
Demonstrate support for different architectures (e.g., ARM, RISC-V) and benchmark performance on multicore hardware (e.g., Raspberry Pi 5) (if time allows).

Requirements

Student in the final stage of a Computer Science degree programme, undertaking a 30 hp thesis project.
Specialization in Software Engineering and Management.
Intermediate level of P4 programming knowledge.
Demonstrated hands-on experience working with P4.
Understanding of the data plane implementation of common network protocols.
General knowledge about switch and router hardware.
Geographical proximity to Saab's operations in Linköping or Lindholmen is highly desirable.

Desired Qualifications

Knowledge of the P4 programming language.
Experience with interactive theorem provers is not required, but the project is based on a toolchain involving them.

Benefits

Opportunity to apply theoretical knowledge to real-world challenges.
Collaborate with experienced engineers and specialists.
Gain invaluable practical experience.
Make a tangible contribution to company growth and development.
Support and guidance to translate theoretical knowledge into practical solutions.
Opportunity to work on cutting-edge technology.
Potential to contribute to a formally verified software switch.

Skills

#thesis#master thesis#p4#networking#traffic management#hol4p4#cake ml#pancake#software switch# IEEE 802.1Q#qos#scheduling#arm#risc-v#raspberry pi 5#multicore#formally verified

About Saab

As a leading defence and security company, we offer solutions that range from the depths of the oceans to high in the sky, on land and in cyberspace, to keep people and society safe. Empowered by our 22,000 talented people, we constantly push the boundaries of technology to create a safer, more sustainable and more equitable world. We design, manufacture and maintain advanced systems in aeronautics, weapons, command and control, sensors and underwater systems. We are headquartered in Sweden and have major operations all over the world and are part of the domestic defence capability of several…

See all open jobs at Saab Read more about Saab Website