Student Computer Science, Electrical Engineering or similar: Formal Modelling of a Mission Planer for UAVs

Your mission:

The Institute of Flight Systems in Braunschweig, Germany performs research with the unmanned flight helicopter platform ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems). Unmanned Aerial Vehicles pose new challenges for  safety, since the pilot as the systems safety back up can only interact via radio link. In this context, the formal modelling of software and requirements enables systematic testing, formal analyses and formal verification methods. Errors and inconsistencies can thus be found during early phases of the software development which results in lower development costs.

The objective of this work is to develop a formal model of a Mission Planer component for the ARTIS software platform. Subsequently, the generated model should be analyzed and further assessed to what extent software development can profit from the formal modeling methodologies. Besides other tools, model checking techniques will be used. Further aspects of the work can include automatic test generation and traceability evaluation.

Your qualifications:

Wird per js gefüllt...

Your benefits:

Look forward to a fulfilling job with an employer who appreciates your commitment and supports your personal and professional development. Our unique infrastructure offers you a working environment in which you have unparalled scope to develop your creative ideas and accomplish your professional objectives. Disabled applicants with equivalent qualifications will be given preferential treatment.

Course paper / final thesis, Internship

as agreed

3-6 months

DLR Braunschweig

To location

DLR Institute of Flight Systems

To institute

Contact person :

Christoph Torens

Institute of Flight Systems Tel: +49 531 295-3221

Send message

Course paper / final thesis

Career opportunities

Exciting challenges for inquisitive people: write your thesis at DLR!

Exciting challenges for inquisitive people: write your thesis at DLR! Copyright:, Jupiterimages


Career opportunities

Out of the auditorium and straight to the major issues for humanity and the future – ideally before finishing your course!

Out of the auditorium – straight into practice