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 계정에 로그인하거나 계정을 새로 만드십시오.