A Survey of Physical Unit Handling Techniques in Ada

Grein, Christoph; Kazakov, D. A.; Wilson, Fraser

doi:10.1007/3-540-44947-7_19

Cited by 5 publications

(5 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, it lacks a special syntax, which we argue to be an important feature of a dimensional analysis system, and requires more in-depth programming knowledge to use for some features, such as defining a new dimension. Grein et al (2003) discussed the requirements of a dimensional analysis system, and in particular pointed out the difficulty in satisfying all of them. This suggests that a simplified approach in a limited programming domain may be effective, where some of the requirements can be dropped without significantly reducing the usefulness of the system.…”

Section: Dimensional Analysismentioning

confidence: 99%

“…Support for this approach is taken from Brown's (1998) SIunits package, which provides the unique facilities required in scientific physics simulations, and Grein et al's (2003) discussion on the difficulties of satisfying all the requirements of a complete dimensional analysis system. Moving dimensioned data into a primitive data type separate from other types in the system helps provide this simplicity.…”

Section: Primitive Dimensioned Data Typementioning

confidence: 99%

See 1 more Smart Citation

A pragmatic approach to dimensional analysis for mobile robotic programming

Biggs

MacDonald

2008

Auton Robot

View full text Add to dashboard Cite

An application-specific approach to the design of a robot programming language may allow for a language better suited to the unique challenges found when programming in this domain. One area of robotics programming that can be supported by an application-specific approach is dimensioned data. Robot programs typically manage a substantial amount of dimensioned data. However, existing robot programming tools do not directly support the description and manipulation of dimensioned quantities. A new system is presented for managing dimensioned data in robot software. The design provides a new primitive data type to support dimensioned data. Its unique syntax improves program readability and writability. Dimensional consistency is automatically checked by the system and any errors are reported, significantly easing the debugging of dimensioned data and improving the reliability of robot software. The data type is evaluated by common criteria for evaluating programming languages and a small user study, and is found to be an improvement.

show abstract

Section: Dimensional Analysismentioning

confidence: 99%

Section: Primitive Dimensioned Data Typementioning

confidence: 99%

A pragmatic approach to dimensional analysis for mobile robotic programming

Biggs

MacDonald

2008

Auton Robot

View full text Add to dashboard Cite

show abstract

“…A comprehensive summary of the history of the problem is given in [1]. The naive approach consists in defining a new type for each dimensioned quantity, The type system will then reject dimension-incorrect assignments, but this approach leads to an unwieldy proliferation of multiplication operators for each pair of dimensioned quantities, and becomes rapidly unworkable, Most sensible proposals involve discriminants for records that wrap a numeric quantity.…”

Section: Introductionmentioning

confidence: 99%

Implementation of a simple dimensionality checking system in Ada 2012

Schonberg¹,

Pucci²

2012

Proceedings of the 2012 ACM Conference on High Integrity Language Technology

View full text Add to dashboard Cite

show abstract

“…As special kinds of real-world constraints, dimensional analysis and unit checking have been explored in many programming languages [15,30,82]. Previous research focused on extending programming languages to allow checking these constraints on dimensions of equations are not broken.…”

Section: Check Real-world Constraintsmentioning

confidence: 99%

“…Extensions to support dimensional and unit analysis have been developed for several programming languages. For the most part, previous research focused on checking dimensions of equations and validating unit correctness [5,19,30,37,44,68]. Nevertheless, these efforts are limited to basic rules derived from dimensions or combinations of entities with different units.…”

Section: Check Real-world Constraintsmentioning

confidence: 99%

Interpreted Formalism: Towards System Assurance and the Real-World Semantics of Software

Xiang¹

View full text Add to dashboard Cite

Software systems, especially cyber-physical systems, sense and influence realworld entities under the control of software logic in order to realize desired real-world behaviors. Such software systems are based upon three essential components: (1) a computing platform, (2) a set of physical entities with which the computing platform interacts, and (3) the relationship between the first two components. These three components seem familiar, and the third component seems trivial. In fact, the third component, the relationship, is crucial, because it defines how logical values read and produced by the computing platform will be affected by and will affect the various physical entities. Formally, the relationship between real-world entities and a computer system's logic is the interpretation of the logic. Software logic is necessarily formal, but, in practice, interpretations are usually documented informally and incompletely, and programmers treat elements in software logic as if they were the real-world entities themselves. As a result, faults are introduced into systems due to unrecognized discrepancies, and executions end up violating constraints inherited from the real world. The results are software and system failures and adverse downstream consequences. IIThis dissertation argues that, to mitigate such risks, software engineers should produce not just traditional software, but a new engineering structure, the interpreted formalism. The structure combines software logic with an explicitly documented interpretation. Among other things, an interpretation documents differences that arise inevitably between real-world values and corresponding logic values. An interpreted formalism provides centralized documentation of a system's software and its intended relationship to the real world in an analyzable form, facilitating fault detection.An implementation of the interpretation, real-world type, is introduced. For a specific software system, an interpretation is composed of a set of real-world types, and an interpreted formalism is implemented as a real-world type system combined with a software system.

show abstract

A Survey of Physical Unit Handling Techniques in Ada

Cited by 5 publications

References 2 publications

A pragmatic approach to dimensional analysis for mobile robotic programming

A pragmatic approach to dimensional analysis for mobile robotic programming

Implementation of a simple dimensionality checking system in Ada 2012

Interpreted Formalism: Towards System Assurance and the Real-World Semantics of Software

Contact Info

Product

Resources

About