Boeing 787 moet gereboot worden om te beschermen tegen integer overflow

0
447

De Boeing 787 Dreamliner heeft een tamelijk opvallende softwarebug. Er ontstaan problemen als de systemen van het vliegtuig niet eens per 248 dagen worden ‘gereboot’. Als dat niet gebeurt kunnen de elektrische generators uitvallen.

The Guardian meldt dat de Amerikaanse luchtvaartautoriteiten een waarschuwing hebben uitgegeven. Er zit namelijk een probleem in de vier elektrische generators die de Boeing 787 aan boord heeft. Als zij meer dan 248 dagen achter elkaar ingeschakeld staan kunnen ze naar een ‘failsafe mode’ overschakelen en dat betekent dat alle elektriciteit in het vliegtuig uit kan vallen. Uiteraard kan dat catastrofale gevolgen hebben als het vliegtuig op dat moment in de lucht hangt.

Dat er na 248 dagen problemen optreden heeft waarschijnlijk te maken met een 32-bit-integer overflow. Omgerekend naar het aantal honderdsten van seconden wordt bij 248,55 dagen namelijk het aantal van 231 overschreden. Overigens heeft Boeing niet bevestigd dat een integer overflow de oorzaak van het probleem is.

Er is een tijdelijke oplossing, en die is tamelijk simpel: het systeem moet namelijk gereboot worden. Zolang er af en toe opnieuw opgestart wordt is de Dreamliner veilig om te gebruiken, zo luidt het oordeel van de luchtvaartautoriteiten. Boeing meldt dat het zijn vliegtuigen inmiddels allemaal een keer uit en weer aan heeft gezet.

Tot het vierde kwartaal van dit jaar moeten vliegtuigmaatschappijen hun Dreamliners nog rebooten. Daarna moet een softwareupdate uitkomen die het probleem permanent repareert. Of die update over-the-air binnenkomt is niet duidelijk.