基于模型的系统工程使用仿真和形式化方法确认需求
MathWorks中国 龚小平
在基于模型的系统工程实施过程中，如何获取单一可靠的事实来源、创建贯穿设计过程的数字化主线以及实现从系统工程到详细设计的无缝对接是行业面临的挑战。本演讲将介绍如何通过使用模型来维护需求作为贯穿整个产品设计过程的可靠事实来源，并利用仿真和形式化方法进行确认，包括对需求的分析和追溯、基于RFLP框架的复杂度管理和从系统架构到软件架构的接口控制以及基于架构模型的故障注入仿真和安全分析等。
出版年份: 2024 年 10 月 15 日
