loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Author: Steve McKeever

Affiliation: Department of Informatics and Media, Uppsala University, Sweden

ISBN: 978-989-758-487-9

ISSN: 2184-4348

Keyword(s): Units of Measurement, Quantity Pattern, Libraries, Component based Checking, Testing.

Abstract: In scientific and engineering applications, physical quantities expressed as units of measurement (UoM) are used regularly. If the algebraic properties of a system’s UoM information are incorrectly handled at run-time then catastrophic problems can arise. Much work has gone into creating libraries, languages and tools to ensure developers can leverage UoM information in their designs and codes. While there are technical solutions that allow units of measurement to be specified at both the model and code level, a broader assessment of their strengths and weaknesses has not been undertaken. Inspired by a survey of practitioners, we review four competing methods that support unit checking of code bases. The most straightforward solution is for the programming language to Natively support UoM as this allows for efficient unit conversion and static checking. Alas, none of the mainstream languages provide such support. Libraries might seem compelling, and all popular programming languages h ave a myriad of options, but they’re cumbersome in practice and have specific performance costs. Libraries are best suited to applications in which UoM checking is desirable at run-time. Lightweight methods, such as Component based checking or Black Box testing, provide many benefits of UoM libraries with minimal overheads but sacrifice coverage and thus robustness. By separating and analysing the various options, we hope to enable scientific developers to select the most appropriate approach to transferring UoM information from their software models to their programs. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 100.26.179.251

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
McKeever, S. (2021). From Quantities in Software Models to Implementation. In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-487-9 ISSN 2184-4348, pages 199-206. DOI: 10.5220/0010247201990206

@conference{modelsward21,
author={Steve McKeever.},
title={From Quantities in Software Models to Implementation},
booktitle={Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2021},
pages={199-206},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010247201990206},
isbn={978-989-758-487-9},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - From Quantities in Software Models to Implementation
SN - 978-989-758-487-9
IS - 2184-4348
AU - McKeever, S.
PY - 2021
SP - 199
EP - 206
DO - 10.5220/0010247201990206

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.