Re:FAA: Reboot 787 power once in a while
by grogenaut on Saturday December 03, 2016 @04:24AM
(#13095076)
Show me a piece of software by "Software manufacturers" without a bug and I'll show you a piece of software with not enough users.
Re:FAA: Reboot 787 power once in a while
by raverbashing on Saturday December 03, 2016 @07:00PM
(#13098089)
Good, now search windows uptime bugs, zune leap year bug.
No, there aren't systems without bugs, but some companies make it worse. I know, I have "worked" for some of them
Re:FAA: Reboot 787 power once in a while
by grogenaut on Sunday December 04, 2016 @06:49PM
(#13102428)
I wasn't picking on linux, I was using it as an example of what people consider stable and pointing long term uptime bugs like the airliner is suffering from.
Re:FAA: Reboot 787 power once in a while
by thelambentonion on Saturday December 03, 2016 @04:24PM
(#13097562)
The software on these planes is written by software engineering companies. This is less of an issue of hardware manufacturers doing software wrong, and more of an issue with how monumentally complex, high assurance systems are currently implemented in software.
I know, crap happens, but gosh darn it.
And here's the thing: bureaucracy doesn't help because it prevents people from raising issues unless they're big enough.
Every monotonically increasing counter needs to be reviewed for overflow behaviour and time to overflow