Recorded Webinar: High Integrity Software Development 04: Verification of the Model Against High-Level Requirements

Complete this request form for immediate access to this webinar and other recorded webinars

Webinar Series (Part 4):

In this webinar we discuss the step of verification of the model against the textual requirements. In any requirements-based development process, the ideal situation is to have a test case for each requirement. The executable aspect of a Simulink model allows the developer to verify that the model is functionally correct before ever generating the embedded software.

This form of early verification makes use of Simulink and SystemTest, to execute the requirements-based test cases against the model, and automatically compares the model’s behavior to the expected behavior to ensure proper functional behavior.

Product Focus

SystemTest™
DO Qualification Kit

This webinar was recorded on 30 Sep 2009

Contact Information

*Country/Region

Salutation

*First Name

Middle Name

*Last Name

Job Title

Department

Mail Stop

*Company / University

Note: Please enter the official name.

*Street Address 1

Street Address 2

*City

*State

*Zip Code

*Email

*Phone

Extension

Fax

Mobile Phone

Other Information

Are you a MATLAB user?

Yes

Are you a Simulink user?

Yes

Which best describes your application?

Which best describes your industry?

Are you seeking further information on MathWorks products?

Yes

Are you seeking further information on pricing?

Yes

We will not sell or rent your personal contact information. See our privacy policy for details.