Pat Canny

MathWorks

Last seen: 24 days ago | Active since 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!

Statistics

All

View badges

Feeds

Submitted

DO178_case_study
Case Study for DO-178 using MathWorks tools

4 months ago | 15 downloads |

5.0 / 5

Submitted

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

1 year ago | 1 download |

0.0 / 5

Submitted

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

3 years ago | 8 downloads |

5.0 / 5

Submitted

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

3 years ago | 8 downloads |

0.0 / 5

Submitted

DO_case_study_HDL
Example DO-254 project

9 years ago | 2 downloads |

5.0 / 5

Submitted

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

9 years ago | 3 downloads |

5.0 / 5

Submitted

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

9 years ago | 1 download |

0.0 / 5