Formally Correct Control Elemental Blocks

Versione 1.0.0.0 (293 KB) da Yogananda Jeppu
This has a set of blocks which are formally correct in functionality
5.0
(2)
118 download
Aggiornato 12 ago 2017

Visualizza la licenza

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.

Cita come

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

Compatibilità della release di MATLAB
Creato con R2016b
Compatibile con qualsiasi release
Compatibilità della piattaforma
Windows macOS Linux
Categorie
Scopri di più su Modeling in Help Center e MATLAB Answers
Tag Aggiungi tag

Community Treasure Hunt

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

Start Hunting!

Versione Pubblicato Note della release
1.0.0.0