RE: Units of Measure (was: Re: Disallowing Pre-Defined Operations)

["Robert C. Leif, Ph.D." <rleif@rleif.com>]

From: Bob Leif
To: Christop Grein et al.
I listed the two documents covering ABBET. I believe that I have copies of
Bill Whitaker's Ada sources from a slightly later version. I have played
with the sources and made the fundamental data type tagged. I believe that I
added the optimize_part

type Unit_W_optimize_type is tagged record
          Value_Part : real := 0.0;
          M   : Unit_Power;
          Kg  : Unit_Power;
          S   : Unit_Power;
          A   : Unit_Power;
          K   : Unit_Power;
          Mol : Unit_Power;
          Cd  : Unit_Power;
          Optimize_Part : Boolean := False;
          end record;
From: www.IEEE.ORG

1226.1-1993 IEEE ABBET� Trial-Use Standard for Common Ada Packages for A
Broad-Based Environment for Test (ABBET�) 1993
Ada packages that specify general purpose test support data types and
services for A Broad-Based Environment for Test (ABBET) are defined. They
are to be used to support the specification, implementation, and use of the
other IEEE ABBET component standards. ABBET uses the features of Ada to
specify a comprehensive environment for integrating product design data,
test requirements/strategies, and test results management in the
implementation of automated test systems and test control programs.
1993/ /104pp
  List Price: $76.00
  IEEE Member Price: $61.00
  ISBN 1-5593-7360-1
  IEEE Product No. SH16709-TBR
  IEEE Standard No.:1226.1-1993
  Availability: Available to Ship
-----------------------------------------------------
1226.2-1993 IEEE ABBET� Trial-Use Standard for Ada-Based ATLAS-Level Test
Procedure Interface for A Broad-Based Environment for Test (ABBET�) 1993
Ada packages that specify data types and services for the Ada-based
ATLAS-level test procedure interface for a broad-based environment for test
(ABBET) are defined. They are to be used to support the development of
Ada-based, UUT-directed, signal-oriented test programs. IEEE ABBET uses the
features of Ada to specify a comprehensive environment for integrating
product design data, test requirements/strategies, and test results
management in the implementation of automated test systems and test control
programs.

1993/ /448pp
  List Price: $89.00
  IEEE Member Price: $71.00
  ISBN 1-5593-7386-5
  IEEE Product No. SH16949-TBR
  IEEE Standard No.:1226.2-1993
  Availability: Available to Ship



--------------------------------------------------------------

-----Original Message-----
From: Christoph Grein [mailto:christoph.grein@eurocopter.de]
Sent: Wednesday, March 15, 2000 10:43 PM
To: comp.lang.ada@ada.eu.org
Subject: Units of Measure (was: Re: Disallowing Pre-Defined Operations)


[I think this should become a new discussion thread.]

Although this has already been discussed to death and there are a plethora
of
ways how to deal with dimensions, this is a vivid point of interest.

I also strongly feel that such a feature in the language is necessary.
(Would
this have prevented the latest NASA Mars mission form failing?)

[Just a side note: There are engineers with a queer inclination to
dimensions.
In our project, one of our system engineers on the implementing side
complained
at an engineer on the requirements side about a formula that from a units
point
of view could not be correct - the answer: "This is not a school test..."
and
refusal
to reconsider the equation.]