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-Thread: 103376,7e8cebf09cf80560 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news1.google.com!goblin2!goblin1!goblin.stu.neva.ru!uio.no!news.tele.dk!news.tele.dk!small.news.tele.dk!feed118.news.tele.dk!dotsrc.org!filter.dotsrc.org!news.dotsrc.org!not-for-mail Content-Type: text/plain; charset=utf-8; format=flowed; delsp=yes Newsgroups: comp.lang.ada Subject: Re: How would Ariane 5 have behaved if overflow checking werenotturned off? References: <4d80b140$0$43832$c30e37c6@exi-reader.telstra.net> <4d81491c$0$43833$c30e37c6@exi-reader.telstra.net> Date: Sun, 20 Mar 2011 18:11:45 +0100 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit From: "Martin Krischik" Organization: Martin Krischik, Softwareentwicklung Message-ID: User-Agent: Opera Mail/11.01 (MacIntel) NNTP-Posting-Host: 95.174.233.211 X-Trace: news.sunsite.dk DXC=LU^QbWlKSNDc8biIGL=c`GYSB=nbEKnkK3LlDMZ4XbVIS5daR30PdPEV:_8RJBabHMIU99bZ;cKlFQSi65h\UR8J4SmVcSZDb6B4>6B]=RkIgG X-Complaints-To: staff@sunsite.dk Xref: g2news2.google.com comp.lang.ada:19301 Date: 2011-03-20T18:11:45+01:00 List-Id: Am 17.03.2011, 00:39 Uhr, schrieb robin : > In a real-time system, EVERY possibility must be tested for. It is my upstanding that the test was (consciously) removed because the time needed to perform the check would have broken real time requirements. Martin -- Martin Krischik mailto://krischik@users.sourceforge.net https://sourceforge.net/users/krischik