Pat Canny

MathWorks

Last seen: 9 días hace | Con actividad desde 2016

Followers: 0 Following: 0

Mensaje

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!

Estadística

All

Ver insignias

Feeds

Enviada

DO178_case_study
Case Study for DO-178 using MathWorks tools

2 meses hace | 12 descargas |

5.0 / 5

Enviada

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

11 meses hace | 3 descargas |

0.0 / 5

Enviada

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

alrededor de 3 años hace | 6 descargas |

5.0 / 5

Enviada

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

más de 3 años hace | 1 descarga |

0.0 / 5

Enviada

DO_case_study_HDL
Example DO-254 project

casi 9 años hace | 3 descargas |

5.0 / 5

Enviada

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

más de 9 años hace | 6 descargas |

5.0 / 5

Enviada

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

más de 9 años hace | 1 descarga |

0.0 / 5