Skip to content Go to main navigation Go to language selector
Saab Global
information-technology-services-334524531.jpeg

Master Thesis, 30HP: Boolean Expressions in .Net

Linköping, Sweden
Closing date: 31 March 2024

Ready to find your path? Try new things. Share experiences. And discover what you truly enjoy.

Your Role

Information Solutions is a unit within Saab Aeronautics that creates digital information solutions for Saab's customers. These are mainly created on the .Net development platform, but we are constantly working on further development and adaptation to new technologies, as our platforms have a very long lifespan.

We offer technical challenges in many engineering disciplines and we are truly a cross-functional group where we mainly work with IT, but where the applications are in aviation and support operations. Unlike software development for embedded systems, we work with open technologies but in a limited environment where information security and traceability are of the utmost importance.

We are challenged with more assignments than we can handle and now need another software engineer for our development team as we are in expansive work with many deliveries and additional business needs that are waiting to be resolved.

Background
For the maintenance of Gripen E/F aircraft, aircraft mechanics consult instruction are provided to them via a Windows application. The data for this application is compiled and processed by Saab in an internal system written in .NET. In order to federate valid instructions for a batch of aircrafts, the instructions are labeled with boolean expressions. These expressions may become quite complex and, in some cases, a simple check may turn into multiple unnecessary checks.

The master thesis idea:

In this master thesis we expect you to create a library capable of taking our complex boolean expressions to determine if an instruction is valid and if so, give a reasonably simple boolean expression that determines when it is. This library should be written in .NET. We aim to Create a .NET library for boolean expressions capable of simplifying expressions and determining if an expression has a fixed result.

Examples

A && !B && C

This boolean expression is true if A is true, B is false and C is true.

A && B && ((C || A && B) && (!C || !A || !B))

This complex boolean expression can be simplified to A && B && !C.

A && B && (!B && C)

This boolean expression will never be true regardless of what A, B and C is.

Result

The expected result in increasing order of preference:

No library, but a report detailing what has been tried and recommendations on how to proceed A .NET library capable of solving the specific problems that are detailed here A generic .NET library for boolean expressions.

Your Profile

This Master Thesis is suitable for one or two students, with interest in software development. You are at the end of your Bachelor of Science in Adequate educational university master program and about to start your Master Thesis

This position requires that you pass a security vetting based on the current regulations around/of security protection. For positions requiring security clearance additional obligations on citizenship may apply.

What you will be part of

BU Gripen, with 2,700 employees, is a newly formed business unit with overall responsibility for JAS 39 Gripen C/D/E/F. Air Vehicle Engineering is a department within BU Gripen, with 150 employees, responsible for the systems engineering and overall design of the entire Gripen C/D/E/F aircraft. The department consists of overall systems engineering disciplines.

Contact information:
Monika Johansson Skerka, Manager
monika.johansson-skerka@saabgroup.com