Formally Correct Control Elemental Blocks
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.
Cite As
Yogananda Jeppu (2024). 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 Compatibility
Windows macOS LinuxTags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
Version | Published | Release Notes | |
---|---|---|---|
1.0.0.0 |