News for hackers. Stuff that matters.
Re:How Is Critical Life or Death Software Tested? by michaelt on Tuesday June 02, 2015 @05:26AM (#9644741)

  To be fair this seems to be more of a classic 
  example of a documentation or training problem.
Maybe - but if you were designing a consumer product, you wouldn't rely on the user following a checklist; the IBIT would run automatically when they turned on the ignition and sound an alarm (or even prevent takeoff) if the vehicle would be uncontrollable.

So you could also classify this as a user interface / design problem.

Re:How Is Critical Life or Death Software Tested? by dugmartin on Tuesday June 02, 2015 @01:08PM (#9647268)
SBIT & PBITs are the ones that run automatically, with SBIT running automatically at startup and PBIT running on a watchdog. The SBIT time budget and scope is usually much smaller than IBIT so time intensive tests like ones that talk to sensors on the bus aren't present in SBIT. You can think of the stages as SBIT: can I run? IBIT: should I run? PBIT: am I running right?