Testing Safety Critical Control Systems
Sean's pick this week is Testing of Safety Critical Control Systems by Yogananda Jeppu.
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:
Comments
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?
Give it a read and let us know what you think here or leave a comment for Yogananda.
评论
要发表评论，请点击 此处 登录到您的 MathWorks 帐户或创建一个新帐户。