Q: Ravenscar Guide

Q: Ravenscar Guide

[Georg Bauhaus]

Looking for the

  "Guide for the use of the Ada Ravenscar Profile
   in high integrity systems", ISO/IEC 24718,

I noticed that the German title on the quite official
DIN/Beuth site is different.  It says "highly-integrated
systems" for "high integrity systems", in German:

  "Leitfaden zu Verwendung des Ada Ravenscar Profils in
  hoch-integrierten Systemen" [c&p]

That's not the same thing, is it?

Assuming they sell the English original, there is no
issue.  (I think the high officials have asked for the
report to be made freely available.)

An English report by Burns, Dobbing, and Vardanega
is freely available here and there (York, Karlsruhe).

Re: Q: Ravenscar Guide

[Colin Paul Gloster]

On Sat, 7 Nov 2009, Georg Bauhaus wrote:

|--------------------------------------------------------|
|"Looking for the                                        |
|                                                        |
| "Guide for the use of the Ada Ravenscar Profile        |
|  in high integrity systems", ISO/IEC 24718,            |
|                                                        |
|I noticed that the German title on the quite official   |
|DIN/Beuth site is different.  It says "highly-integrated|
|systems" for "high integrity systems", in German:       |
|                                                        |
| "Leitfaden zu Verwendung des Ada Ravenscar Profils in  |
| hoch-integrierten Systemen" [c&p]                      |
|                                                        |
|That's not the same thing, is it?                       |
|                                                        |
|Assuming they sell the English original, there is no    |
|issue.  (I think the high officials have asked for the  |
|report to be made freely available.)                    |
|                                                        |
|An English report by Burns, Dobbing, and Vardanega      |
|is freely available here and there (York, Karlsruhe)."  |
|--------------------------------------------------------|

That is not a correct translation. This would not be the only
mistranslation from English to German. For example, "real-time"
(fixed-time, Festzeit-) is often mistranslated as "Echtzeit"
(actual-time). From Dict.org :
"[..]
5. (Law) Pertaining to things fixed, permanent, or immovable,
        as to lands and tenements; as, real property, in
        distinction from personal or movable property.
        [1913 Webster]
[..]
 9: (of property) fixed or immovable; "real property consists of
          land and buildings; real estate"
[..]"