DO331 talks about element blocks. I have put a set of element blocks that I had developed in 2005. These blocks are now validated formally using Simulink Design Verifier. This is added to help understand the concepts and to demonstrate a way in which you can formally test your company specific blocks. This will, I believe, help the students to understand the concept pf safety critical blocks. I will be very happy if students could take some of these blocks and extent it to certain components in their projects.
Yogananda Jeppu (2021). Formally Correct Control Elemental Blocks (https://www.mathworks.com/matlabcentral/fileexchange/64088-formally-correct-control-elemental-blocks), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform CompatibilityWindows macOS Linux
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!Start Hunting!