With the loss of the SpaceX Falcon 9 last week it seems like an appropriate time to read through Yogananda's compilation of many possible failures and mitigations in a control system. The cause of the failure for the SpaceX Falcon is not yet publicly known so it will be interesting to hear what their engineers discover.
In this document, Yogananda has covered a wide variety of accidents and their causes, possible failures in specific parts of a control system, how to identify and circumvent these potential failures and tips from his experiences.
The most recent update to this slide deck, includes a bit on Simulink Design Verifier and formal methods. I'll be curious to see if he extends it to include examples using Polyspace Code Prover which uses formal methods and static analysis to prove the lack (or presence!) of run-time errors in C/C++ code. For example:
Do you design, test, or research failures in safety critical control systems? If so, are there any other insights that you would like to share?
To leave a comment, please click here to sign in to your MathWorks Account or create a new one.