Formally Correct Control Elemental Blocks

Version 1.0.0.0 (293 KB) von Yogananda Jeppu
This has a set of blocks which are formally correct in functionality
5.0
(2)
118 Downloads
Aktualisiert 12. Aug 2017

Lizenz anzeigen

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.

Zitieren als

Yogananda Jeppu (2025). Formally Correct Control Elemental Blocks (https://de.mathworks.com/matlabcentral/fileexchange/64088-formally-correct-control-elemental-blocks), MATLAB Central File Exchange. Abgerufen.

Kompatibilität der MATLAB-Version
Erstellt mit R2016b
Kompatibel mit allen Versionen
Plattform-Kompatibilität
Windows macOS Linux
Kategorien
Mehr zu Modeling finden Sie in Help Center und MATLAB Answers
Tags Tags hinzufügen

Community Treasure Hunt

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

Start Hunting!

Version Veröffentlicht Versionshinweise
1.0.0.0