From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,FREEMAIL_FROM, INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,74b55538385b7366 X-Google-Attributes: gid103376,public From: "Vladimir Olensky" Subject: Re: Ada safety road Was: Which is right ... Date: 1999/06/13 Message-ID: <929221844.567.59@news.remarQ.com>#1/1 X-Deja-AN: 488888044 References: <928083159.436.79@news.remarQ.com> <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com> <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com> <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com> <375F6F0B.AD735B5B@praxis-cs.co.uk> <7jo1d2$kno$1@pegasus.csx.cam.ac.uk> <929128919.557.95@news.remarQ.com> <7jsdkf$v3p$1@nnrp1.deja.com> X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 X-Complaints-To: newsabuse@remarQ.com X-Trace: 929221844.567.59 K3TLTKYJOA5C9C7F8C qube-01.us-ca.remarq.com Organization: Posted via RemarQ Communities, Inc. NNTP-Posting-Date: Sat, 12 Jun 1999 21:10:44 GMT Newsgroups: comp.lang.ada Date: 1999-06-13T00:00:00+00:00 List-Id: Robert Dewar wrote in message <7jsdkf$v3p$1@nnrp1.deja.com>... >In article <929128919.557.95@news.remarQ.com>, > "Vladimir Olensky" wrote: >> I was talking exactly about such kind of document (may be more >> comprehensive though). > >I am really not sure how this document could be more >comprehensive. Perhaps you miss the point, which is that >it is VERY specifically aimed at safety critical programming >in Ada, and is not for a moment a general style document. > >In fact safety-critical programming is a rather specialized >area, so although I agree this document is very valuable, >I am not quite sure I share your view of its universal >applicability! > Please read more carefully other people posts prior to making claims that someone has missed the point. Many people have heard this more than once :-( It seems that we have here one person who thinks that he never misses the point :-) Let's join the club :-) As a matter of fact I was talking "about such kind of document " that I had in mind when I did not know about N359. To my point of view this document (N359) is extremely valuable and every self-respected engineer who has something to do with Ada (or intends to do) should have it at hand. This document could be considered as general guidance for writing reliable software in Ada (and not only in Ada). Unfortunately N350 which is a draft of N359 has not been advertised across Ada WEB sites so it seems that not too many Ada people were aware of it. Otherwise I would get Markus Kuhn response with reference to N359 from someone else next after I mentioned about "such kind of document". I could not agree that writing reliable software is specialized area. Just contrary I think that this is universal area. Remember how many people are complaining that something is unreliable for example - Windows NT. But a lot of people just forget that any OS should protect itself. If some application is doing something wrong WinNT just kills it (and no problems any more). So complains should be about badly (or not very professional) written applications. So much mentioned "blue dreaded screen" is usually cased (in 99.9%) by third party device drivers or services that have access to protected OS resources and are doing something wrong. So writing reliable software is indeed universal area and this means that person/team that is doing something should know all things that can cause unpredictable behavior (in Programming Language and used OS). This also means that they should know as much as possible about how "not to do" in order to provide reliability. This is universal law as well. In order not to make mistakes one should learn other's mistakes or summary of such experience. In real life this is of course a little bit different . Some people are not even able to learn their own mistakes. Regards, Vladimir Olensky