Mostrar el registro sencillo del ítem

dc.contributor.authorBurgueño, Loli
dc.contributor.authorMayerhofer, Tanja
dc.contributor.authorWimmer, Manuel
dc.contributor.authorVallecillo-Moreno, Antonio Jesus 
dc.date.accessioned2020-06-08T09:13:27Z
dc.date.available2020-06-08T09:13:27Z
dc.date.issued2020-06-08
dc.identifier.urihttps://hdl.handle.net/10630/19578
dc.descriptionPreprint aceptado para su publicación: Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer, Antonio Vallecillo. "Specifying quantities in software models." Information and Software Technology, 113:82-97, 2019en_US
dc.description.abstractContext: 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.en_US
dc.description.sponsorshipTIN2014-52034-R EU COST Action IC1404 (MPM4CPS)en_US
dc.language.isoengen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectIncertidumbre (Teoría de la información)en_US
dc.subjectIngeniería de sistemasen_US
dc.subject.otherModel-based engineeringen_US
dc.subject.otherModeling physical quantitiesen_US
dc.subject.otherMeasurement uncertaintyen_US
dc.titleSpecifying Quantities in Software Modelsen_US
dc.typeinfo:eu-repo/semantics/preprinten_US
dc.identifier.doi10.1016/j.infsof.2019.05.006


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem