comp.lang.ada
 help / color / mirror / Atom feed
From: robin.vowels@gmail.com
Subject: Re: Boeing 787 integer overflow
Date: Sun, 3 May 2015 16:54:03 -0700 (PDT)
Date: 2015-05-03T16:54:03-07:00	[thread overview]
Message-ID: <3e8a4ac6-b0cd-445d-8e9c-82ce8f7f9fee@googlegroups.com> (raw)
In-Reply-To: <alpine.CYG.2.11.1505031156210.3716@WIL414CHAPIN.vtc.vsc.edu>

On Monday, May 4, 2015 at 2:03:55 AM UTC+10, Peter Chapin wrote:
> On Sun, 3 May 2015, Maciej Sobczak wrote:
> 
> >> Can anyone comment on what language Boeing used for this?
> >
> > It does not matter. The ability to run continuously for 8 months was 
> > most likely not in the requirements (planes have to be switched off for 
> > maintenance more frequently than that anyway), so there was no need to 
> > implement a solution for this.
> 
> I guess it depends on if there is a *requirement* to reboot the system 
> periodically (less than 8 months) in the maintenance plan. The matter 
> should be handled somewhere and it seems like it wasn't. In other words it 
> was just "luck" that these systems have been getting restarted frequently 
> enough.
> 
> Planes obviously don't fly for 8 months straight and I'm sure they get 
> maintained, in general, more regularly than that as well. I don't know 
> precisely which system this issue is connected with, but it seems possible 
> to me that, in some cases at least, some systems would be left up and 
> running while others are being maintained. In other words a daily 
> maintenance schedule may not imply that the counter in question is getting 
> reset daily.
> 
> A software fix might be nice, such as increasing the counter to 64 bits to 
> push the overflow time out to something ridiculous,

That isn't the solution.
The solution is to have an appropriate error handler.

> but just adding an 
> item to the maintenance checklist might also be sufficient.

Things like that get overlooked.
Maybe not this year, but in 10 years, when everyone has forgotten about it.

  parent reply	other threads:[~2015-05-03 23:54 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-05-02 23:34 Boeing 787 integer overflow Robert Love
2015-05-03 11:23 ` Maciej Sobczak
2015-05-03 15:27   ` Georg Bauhaus
2015-05-03 16:03   ` Peter Chapin
2015-05-03 23:34     ` Dennis Lee Bieber
2015-05-04  0:00       ` robin.vowels
2015-05-04  0:38       ` Jeffrey R. Carter
2015-05-04  1:55         ` robin.vowels
2015-05-03 23:54     ` robin.vowels [this message]
2015-05-04  8:28       ` Georg Bauhaus
2015-05-04  8:45         ` robin.vowels
2015-05-04 11:26           ` G.B.
2015-05-04 12:17             ` Dmitry A. Kazakov
2015-05-04 12:53               ` G.B.
2015-05-04 13:28         ` Dennis Lee Bieber
2015-05-03 23:49   ` robin.vowels
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox