Formalize and Validate Requirements
Overview
Incomplete and inconsistent requirements cause errors in the design phase that become exponentially more expensive to fix over time. Engineers can save time and money by formalizing requirements to validate them earlier. Formal requirements are expressed mathematically as unambiguous specifications that you execute through simulation to validate that they are complete, correct, and consistent.
In this session, you will learn about the different styles of formal requirements, how to model complete and consistent formal requirements, and how to go from stakeholder needs to formal requirements using use case diagrams and simulation.
Highlights
- Express requirements that are consistent and complete
- Go from stakeholder needs to formal requirements using use case diagrams
- Simulate requirements to validate required model behavior
About the Presenters
Pat Canny is a Product Manager on the Simulink Verification and Validation team. He has a background in helicopter flight control systems and jet engine embedded control systems. He has previously worked at Sikorsky Aircraft, GE Aviation, and Avitas Systems.
Stephan van Beek has been working for more than 15 years as a technical specialist in Systems Engineering and Embedded Systems at MathWorks in Eindhoven. He works closely with customers across Europe that want to build a bridge between Model-Based Systems Engineering (MBSE) and Model-Based Design (MBD).
Recorded: 21 Sep 2022
Related Products
Learn More
Featured Product
Requirements Toolbox
Up Next:
Related Videos:
Web サイトの選択
Web サイトを選択すると、翻訳されたコンテンツにアクセスし、地域のイベントやサービスを確認できます。現在の位置情報に基づき、次のサイトの選択を推奨します:
また、以下のリストから Web サイトを選択することもできます。
最適なサイトパフォーマンスの取得方法
中国のサイト (中国語または英語) を選択することで、最適なサイトパフォーマンスが得られます。その他の国の MathWorks のサイトは、お客様の地域からのアクセスが最適化されていません。
南北アメリカ
- América Latina (Español)
- Canada (English)
- United States (English)
ヨーロッパ
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
アジア太平洋地域
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)