Formal modelling of unmanned systems
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.
Wird per js gefüllt...
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.
Duration of contract:
Institute of Flight Systems
Tel: +49 531 295-3221
Exciting challenges for inquisitive people: write your thesis at DLR!
Out of the auditorium and straight to the major issues for humanity and the future – ideally before finishing your course!