Using Physical Quantities in Robot Software Models

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.

[1]  Martin Gogolla,et al.  On OCL-based imperative languages , 2014, Sci. Comput. Program..

[2]  FEDERICO CICCOZZI,et al.  Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems , 2016, IEEE Access.

[3]  Francisco José Ortiz Zaragoza,et al.  V3CMM: a 3-view component meta-model for model-driven robotic software development , 2010 .

[4]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[5]  Antonio Vallecillo,et al.  Specifying quantities in software models , 2019, Inf. Softw. Technol..

[6]  Olivier Casse,et al.  SysML: Object Management Group (OMG) Systems Modeling Language , 2018 .

[7]  Davide Brugali,et al.  HyperFlex: a model driven toolchain for designing and configuring software control systems for autonomous robots , 2016 .

[8]  Richard F. Paige,et al.  Guest editorial to the special issue on Success Stories in Model Driven Engineering , 2014, Sci. Comput. Program..

[9]  Mark Rouncefield,et al.  Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure , 2014, Sci. Comput. Program..

[10]  Adriana Tapus,et al.  Model-driven software development approaches in robotics research , 2014, MiSE 2014.

[11]  Antonio Vallecillo,et al.  Adding uncertainty and units to quantity types in software models , 2016, SLE.

[12]  Antonio Vallecillo.  On the Combination of Domain Specific Modeling Languages , 2010, ECMFA.

[13]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[14]  Colin Atkinson,et al.  Towards a Deep, Domain Specific Modeling Framework for Robot Applications , 2014, MORSE@STAF.

[15]  Martin Gogolla,et al.  (An Example for) Formally Modeling Robot Behavior with UML and OCL , 2017, STAF Workshops.

[16]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).