The clear and explicit description of the knowledge contained in technical standards is necessary to enable and enhance the understanding of contents and also of communication about the topic of the standard between different groups. Because of the ambiguity of the natural languages, a formal representation of the knowledge seems promising to find a basis for a common communication. This aims to the application of standards to complex systems and as well because of the increase of interoperation between different domains or professions. On the background of the application of satellite based localisation enabled by GPS and the upcoming European system GALILEO, this paper sketches an approach to describe terms and processes contained in technical standards. In addition to the description of standards, the approach is applied to the field of metrology, where, in some cases, it is also of high importance to exactly specify what is meant when doing measurements and evaluating the results especially for the safety cases. The whole approach of the ontological modelling helps for communication among groups, especially its heterogenic professions and background of their members.
An approach for formal modelling of concepts of transportation and metrology standards
Ein Verfahren zur formalen Modellierung von Konzepten für Standards im Verkehrs- und Meßwesen
2008
5 Seiten, 5 Bilder, 8 Quellen
Aufsatz (Konferenz)
Englisch
Anwendungsbeispiele , Beschreibungssprache , DIN-Norm , Eisenbahnsignaltechnik , Fachsprache , formale Spezifikation , GPS (Global Positioning System) , IEC-Norm , Informationssystem , ISO (International Organization for Standardization) , ISO-Norm , Messwesen , Modellbildung , natürliche Sprache , Sicherheitsgesetz , Sicherheitskomponente , Standard , Standardisierung , systematischer Fehler , UML (Unified Modeling Language) , Vereinheitlichung , Verkehrswesen , Wissensdarstellung , Wissensmanagement , Zusammenarbeit
Trapped ion optical frequency standards and metrology
IEEE | 2003
|Evolutionary transportation concepts
NTRS | 1990
|Comparison of Modelling Methodologies for the Formal Safety Assessment in Shipping Transportation
Springer Verlag | 2004
|Concepts of transportation economics
TIBKAT | 2016
|