.png){kind=icon}
返回
Specifying quantities in software models
.png){kind=icon}
OA
AI
DOI：10.1016/j.infsof.2019.05.006.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising both measurement uncertainty and units. Although solutions exist for several programming languages and simulation frameworks, this problem has not yet been fully solved for software models. Objective: This paper shows how both measurement uncertainty and units can be effectively incorporated into software models, becoming part of their basic type systems. Method: We introduce the main concepts and mechanisms needed for representing and handling physical quantities in software models. More precisely, we describe an extension of basic type Real, called Quantity, and a set of operations defined for the values of that type, together with a ready-to-use library of dimensions and units, which can be added to any modeling project. Results: We show how our approach permits modelers to safely represent and operate with physical quantities, statically ensuring type- and unit-safe assignments and operations, prior to any simulation of the system or implementation in any programming language. Conclusion: Our approach improves the expressiveness and type-safety of software models with respect to measurement uncertainty and units of physical quantities, and its effective use in modeling projects of physical systems.
Keyword:
Model-based engineering
Modeling physical quantities
Measurement uncertainty
Dimensions
Units
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.3
论文数:
3.8K
被引数:
8.6K
机构
引用论文
Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems.png)
IEEE ACCESSOAAI
IEEE ACCESSIF3.6
OAAI分享收藏19. Paleomagnetic constraints on the Atapuerca karst development (N Spain)19。古地磁对Atapuerca岩溶发育的限制 (西班牙)
PREAI
分享收藏Design and Development of Fuzzy Expert System for Integrated Disease Management in Finger Millets
OAAI
OAAI分享收藏分享收藏Changes in the spatial distribution of the under-five mortality rate: Small-area analysis of 122 DHS surveys in 262 subregions of 35 countries in AfricaPLOS ONEOAAI
PLOS ONEIF0
OAAI分享收藏
查看更多内容