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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,583275b6950bf4e6 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-05-31 05:45:09 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!headwall.stanford.edu!newshub.sdsu.edu!newsfeed2.earthlink.net!newsfeed.earthlink.net!stamper.news.pas.earthlink.net!stamper.news.atl.earthlink.net!harp.news.atl.earthlink.net!not-for-mail From: Marin David Condic Newsgroups: comp.lang.ada Subject: Re: Quality systems (Was: Using Ada for device drivers? (Was: the Ada mandate, and why it collapsed and died)) Date: Sat, 31 May 2003 08:45:06 -0400 Organization: MindSpring Enterprises Message-ID: <3ED8A3D2.2040300@noplace.com> References: <3ec4b1c9$1@news.wineasy.se> <9fa75d42.0305161748.1735fc32@posting.google.com> <4W%xa.28765$cK5.11964@nwrdny02.gnilink.net> <1053353256.804734@master.nyc.kbcfp.com> <3ECFF541.1010705@attbi.com> <3ED0B820.5050603@noplace.com> <3ED74584.1050007@noplace.com> NNTP-Posting-Host: d1.56.a0.7e Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Server-Date: 31 May 2003 12:45:09 GMT User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.0.1) Gecko/20020823 Netscape/7.0 (OEM-HPQ-PRS1C03) X-Accept-Language: en-us, en Xref: archiver1.google.com comp.lang.ada:38202 Date: 2003-05-31T12:45:09+00:00 List-Id: Interesting. And how many control systems have you built? :-) I've been doing this job for a while and the team of guys we have who do it seem to have a consensus going that we think the *best* accommodation to take on an overflow in our application would be to saturate the numbers. If it is a "bad design" then it is a "bad design" that is flying around in flight critical systems today. Because we think it is the best accommodation for the types of faults we might encounter, we have gone to the effort of building it ourselves. The thing is, it would be much more convenient if we didn't have to create our own packages and cobble it on to the side of the compiler. It would be easier to get it directly from the compiler. So I'm talking about a feature that is already in use and just making it more convenient for the user. MDC Dmitry A. Kazakov wrote: > > > I think it is a bad desgin. You definitely do not need a staturated > arithmetics if you control something. The type of the data sent to an actor > is not (and should not be) same as the type used in computations. In my > view it should be: > -- ====================================================================== Marin David Condic I work for: http://www.belcan.com/ My project is: http://www.jast.mil/ Send Replies To: m c o n d i c @ a c m . o r g "In general the art of government consists in taking as much money as possible from one class of citizens to give to the other." -- Voltaire ======================================================================