On 8/31/2018 2:21 PM, tide wrote:
On Friday, 31 August 2018 at 19:50:20 UTC, Walter Bright wrote:
"Stopping all executing may not be the correct 'safe state' for an airplane though!"
Depends on the aircraft and how it is implemented. If you have a plane that is fly by wire, and you stop all executing then even the pilot no longer has control of the plane anymore, which would be very bad.

I can't even read the rest of posting after this.

Please read the following articles, then come back.

Assertions in Production Code
https://www.digitalmars.com/articles/b14.html

Safe Systems from Unreliable Parts
https://www.digitalmars.com/articles/b39.html

Designing Safe Software Systems Part 2
https://www.digitalmars.com/articles/b40.html

Reply via email to