TU Braunschweig


Hänsel, F.; Ständer, T.; Poliak, J.; Becker, U.; Schnieder, E.:
Concepts of formal Approaches for the Certification of Satellite Based Localisation Systems.
In: Schnieder, E.; Tarnai, G., Hrsg.: Proceedings of the 6th International Symposium FORMS/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems, S. 279 - 284, Braunschweig, 2007.


For safety related applications, not only those dealing with localisation, certification is widely required. With the upcoming European satellite based localisations system, the need arises for the certification of the corresponding applications and devices, to be used in safety related applications. This paper discusses the questions of the requirements and (following) the standards and regulations needed for such certification processes. Due to improving understandability, a formal specification of documents can be helpful.