Exploring Design Verifier
A set of Simulink blocks to explore Design Verifier in Flight Controls
Al momento, stai seguendo questo contributo
- Vedrai gli aggiornamenti nel tuo feed del contenuto seguito
- Potresti ricevere delle email a seconda delle tue preferenze per le comunicazioni
This is a collection of Simulink models which can be used to explore Simulink Design Verifier. The blocks are commonly used in flight control laws. The verification utilities of SDV prove the correctness of implementation. The requirements for the blocks is given as a PDF file. Some of the blocks have mutations introduced to show the working of SDV.
Cita come
Natasha Jeppu (2026). Exploring Design Verifier (https://it.mathworks.com/matlabcentral/fileexchange/48858-exploring-design-verifier), MATLAB Central File Exchange. Recuperato .
Riconoscimenti
Ispirato da: Testing Safety Critical Control Systems, Safety Critical Control Elements Examples
Informazioni generali
- Versione 1.2.0.0 (391 KB)
Compatibilità della release di MATLAB
- Compatibile con qualsiasi release
Compatibilità della piattaforma
- Windows
- macOS
- Linux
| Versione | Pubblicato | Note della release | Action |
|---|---|---|---|
| 1.2.0.0 | I have added a Transient Free Switch block for the SDV. Please refer to http://www.mathworks.com/matlabcentral/fileexchange/39047-testing-of-safety-critical-control-systems for details of TFS block.
|
||
| 1.1.0.0 | Added a picture. |
||
| 1.0.0.0 |
