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, ''1 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.