Examensarbete, 30 hp: Flygsäkerhetskritiska mjukvarusystem

Inom Advanced programs på Saab Aeronautics utvecklas nästa generations bemannade och obemannade flygsystem. Examensarbetet ska undersöka alternativa sätt att verifiera flygsäkerhetskritisk mjukvara med en konfidensnivå motsvarande upp till DAL-C enligt RTCA/DO-178C. Syftet är att föreslå hur en alternativ systemverifiering kan utformas och bedöma konsekvenserna av de kompromisser som krävs.

Uppgiften

• Genomföra en förstudie om alternativa verifieringsprocedurer för flygsäkerhetskritiska mjukvarusystem.
• Studera litteratur om etablerad branschpraxis och alternativa verifieringsmetoder.
• Ta fram förslag på en alternativ systemverifiering och analysera avvägningar och konsekvenser.
• Eventuellt komplettera förstudien med praktiskt arbete kring verifiering av VxWorks.

Vi söker dig som

• Du är i slutskedet av en utbildning inom datateknik, elektroteknik, systemvetenskap eller motsvarande och planerar ett examensarbete på 30 hp.
• Du har intresse för maskininlärning, aerodynamik och tillståndsestimering.
• Intresse för flygsäkerhetskritiska system och verifieringsprocedurer är meriterande, liksom god analytisk förmåga och problemlösningsförmåga.

Vi erbjuder

• Handledning och stöd av erfarna ingenjörer samt samarbete med specialister.
• Erfarenhet av avancerad teknik och möjlighet att omsätta teori i praktiskt arbete.
• En inspirerande och dynamisk arbetsmiljö med teknikintresserade kollegor.
• Möjlighet att bidra till utvecklingen av framtida flygsäkerhetskritiska system.

Praktiskt

Examensarbetet omfattar 30 hp och passar 1–2 studenter. Ort: Linköping. Urval sker löpande och platsen kan tillsättas före ansökningstidens slut. Kontakt: Per Hedberg, chef, per.hedberg@saabgroup.com, 0102785187.