Pat Canny

MathWorks

Last seen: 7 jours il y a | Actif depuis 2016

Followers: 0 Following: 0

Message

I'm the Product Manager for Simulink Design Verifier and Simulink Coverage.

I have an aerospace control systems background, but decided to get an MBA. I now get to live my dream: business and controls!

Statistiques

All

Afficher les badges

Feeds

A soumis

DO178_case_study
Case Study for DO-178 using MathWorks tools

2 mois il y a | 12 téléchargements |

5.0 / 5

A soumis

Formal Functional Equivalence
This project provides a set of utilities for performing "formal functional equivalence," which is a static analysis-based techni...

11 mois il y a | 3 téléchargements |

0.0 / 5

A soumis

Requirements-Based Testing Workflow Example
This example workflow shows you how to get started with systematic, requirements-based testing using Simulink.

environ 3 ans il y a | 6 téléchargements |

5.0 / 5

A soumis

Requirements and Advanced Model Checks Getting Started
This example shows how to get started with MathWorks' Model Verification & Validation tools

plus de 3 ans il y a | 1 téléchargement |

0.0 / 5

A soumis

DO_case_study_HDL
Example DO-254 project

presque 9 ans il y a | 3 téléchargements |

5.0 / 5

A soumis

Autopilot Demo for ARP4754A, DO-178C and DO-331
Demonstration of how to use MathWorks products in a workflow for ARP-4754A, DO-178C nad DO-331

plus de 9 ans il y a | 6 téléchargements |

5.0 / 5

A soumis

Vectorizable Embedded MATLAB Function
This set of Simulink models demonstrates how to create a reusable Embedded MATLAB function for scala

plus de 9 ans il y a | 1 téléchargement |

0.0 / 5