Pat Canny

MathWorks

Last seen: 9일 전 | 2016년부터 활동

Followers: 0 Following: 0

메시지

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!

통계

All

배지 보기

Feeds

제출됨

DO178_case_study
Case Study for DO-178 using MathWorks tools

2개월 전 | 다운로드 수: 12 |

5.0 / 5

제출됨

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

11개월 전 | 다운로드 수: 3 |

0.0 / 5

제출됨

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

대략 3년 전 | 다운로드 수: 6 |

5.0 / 5

제출됨

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

3년 초과 전 | 다운로드 수: 1 |

0.0 / 5

제출됨

DO_case_study_HDL
Example DO-254 project

거의 9년 전 | 다운로드 수: 3 |

5.0 / 5

제출됨

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년 초과 전 | 다운로드 수: 6 |

5.0 / 5

제출됨

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

9년 초과 전 | 다운로드 수: 1 |

0.0 / 5