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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!buffer2.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 13 May 2018 19:36:16 -0500 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: How to get Ada to ?cross the chasm?? Date: Sun, 13 May 2018 20:36:16 -0400 Organization: IISS Elusive Unicorn Message-ID: References: <87po27fbv9.fsf@nightsong.com> <87in7x62vw.fsf@nightsong.com> <878t8szdtk.fsf@nightsong.com> <87tvrdhl5v.fsf@nightsong.com> <874ljc1w76.fsf@nightsong.com> <8736yvzdwp.fsf@nightsong.com> User-Agent: ForteAgent/8.00.32.1272 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 108.68.179.11 X-Trace: sv3-aDv3vgLwT0qkSnZO0LacGkGBIhg1/+j6gacAfu6UjzpVy91p2IrcwM2BOR/wVSxJ26tNEQ8BvfzLGUD!grCsoY7/3K+iwKeGDuTSxIXV0MOhGyM9UnWl2eVC/Ja5sFaC+wsYpfqfYECdi84gY2O87/myr6lG!cjbXfRl3qjVKB9LmW5/BMxP5AhY= X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 3066 Xref: reader02.eternal-september.org comp.lang.ada:52340 Date: 2018-05-13T20:36:16-04:00 List-Id: On Sun, 13 May 2018 10:03:18 -0700, Paul Rubin declaimed the following: >Well I've never worked on such an application in real life (I arrived at >this subject through being interested in logic and proofs as topics in >math) so you know way more than I do about how they actually work. But >I imagine the app being something like an engine controller in a car. > >So there might be some variables counting how many anomalies of a >given type had occurred, or maybe even a log of the past N such events >for some small fixed N, and there'd be no persistent memory so you'd >have to connect the ECU up to an analyzer before powering it off, or >maybe even run your diagnostics with the analyzer connected. > >Maybe in todays cars the ECU could send log data to some centralized >logging computer constantly but the other receiving end would be >non-critical. > OBD-II defines a set of available error codes, and the ECU likely has an array defined for each code supported (not all standard codes need to be used by all vehicles). For each slot/code, a time-stamp of last occurrence, a count of repeats (and a count of non-repeats -- some codes will clear after a number of success cycles). IOWs; the log is bounded -- it is not something like a Linux syslog file that just grows based upon the amount of logged activity until some operation may rotate files... -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/