image thumbnail

Formally Correct Control Elemental Blocks

version (293 KB) by Yogananda Jeppu
This has a set of blocks which are formally correct in functionality


Updated 12 Aug 2017

View License

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 (2021). Formally Correct Control Elemental Blocks (, MATLAB Central File Exchange. Retrieved .

MATLAB Release Compatibility
Created with R2016b
Compatible with any release
Platform Compatibility
Windows macOS Linux

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!