以表决逻辑和模式转换逻辑为函数的自动驾驶模型Simulink设计验证器
Simulink Design Verifier applied to Auto Pilot model with Voter logic and Mode Transition Logics as Sfunctions
这是一个验证自动驾驶仪表决逻辑和模式转换使用的Simulink设计。
This is a validation of an Autopilot model with Voter Logic and Mode Transition using Simulink Design Verifier.
要求如下表所示。
The requirements are given as tables.
创建了一个等价的S函数功能块,用于表示表决逻辑和模式转换逻辑。
An equivalent Sfunction blocks are created which represents the Voter Logic and Mode Transition Logic.
表决逻辑和模式转换逻辑都通过SDV中的断言进行了验证。
Both Voter Logic and Mode Transition Logic are validated using assertion in the SDV.
更多精彩文章请关注公众号: