Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments

Meili, Mario (2017) Development of a Modelling Procedure for the Description of Test Set-Ups with Measuring Instruments. Masters thesis, HSR Hochschule für Technik Rapperswil.

[thumbnail of PA1_Development_of_a_Modelling_Procedure_for_the_Description_of_Test_Set-Ups_with_Measuring_Instruments.pdf]

Download (4MB) | Preview
[thumbnail of PA1_Prototype_Documentation.pdf]

Download (290kB) | Preview


Measurement techniques are a highly complex field in which small technical details decide over the accuracy and therefore the success or failure of a measurement. What sensors can be used? How can noise be handled properly? These and many more are questions one has to answer when wanting to capture the measurand of interest.

Modelling a test set-up requires experience and is therefore mostly done by experts in the field. The lack of uniform modelling approaches makes this an even bigger problem, because discussing models can lead to confusion when a common language is missing. Furthermore, the validation of a model on different abstraction levels has to be done manually in the absence of the necessary tooling, which is error-prone.

This thesis provides a common formal language for describing test set-ups. It does so by proposing a modelling approach for test set-ups which allows the definition of different abstraction levels on top of a general set of rules. These rules allow the validation of the set-up. For example, it can be validated if components are configured correctly. This was achieved by defining a set of validity constraints in first-order logic. These constraints are then applied to a graph representing the test set-up. A formal specification of the model is provided and backed by an implementation in the language Prolog.

Item Type: Thesis (Masters)
Subjects: Topics > Internet Technologies and Applications > Monitoring
Area of Application > Development Tools
Depositing User: Christian Spielmann
Thesis advisor
Mehta, Farhad D.
Date Deposited: 10 Mar 2017 08:01
Last Modified: 10 Mar 2017 09:21

Actions (login required)

View Item
View Item