comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Chapin <PChapin@vtc.vsc.edu>
Subject: Re: Boeing 787 integer overflow
Date: Sun, 3 May 2015 12:03:51 -0400
Date: 2015-05-03T12:03:51-04:00	[thread overview]
Message-ID: <alpine.CYG.2.11.1505031156210.3716@WIL414CHAPIN.vtc.vsc.edu> (raw)
In-Reply-To: <9f20f713-d65c-471d-ab7c-d314a14fdcd0@googlegroups.com>

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, but just adding an 
item to the maintenance checklist might also be sufficient.

Peter

  parent reply	other threads:[~2015-05-03 16:03 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 [this message]
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
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