L. Burgueño, T. Mayerhofer, M. Wimmer, A. Vallecillo: Using physical quantities in robot software models, 1st International Workshop on Robotics Software Engineering (RoSE@ICSE 2018), Gothenburg, Sweden; 28.05.2018; in: Proceedings of the 1st International Workshop on Robotics Software Engineering (RoSE@ICSE 2018), ACM, (2018), pages 23 - 28 doi: 10.1145/3196558.3196562


One of the challenges of modeling any software application that deals with real-world physical systems resides in the correct representation of numerical values and their units. This paper shows how both measurement uncertainty and units can be effectively incorporated into software models, becoming part of their basic type systems, and illustrates this approach in the particular case of a robot language. We show how our approach allows robot modelers to safely represent and manipulate units and measurement uncertainties of the robots and their elements in a natural manner, statically ensuring unit-safe assignments and operations, as well as the propagation of uncertainty in the computations of derived attributes and operations.