模型校验

关注1人关注

我要报错

基于有限状态机的嵌入式系统模型校验技术

对于面向控制的系统，可以采用有限状态机(FSM)定义需求和设计，这是一种得到广泛认可的抽象表示方法。当然，光靠FSM并不能对复杂的实际工业系统进行建模。我们还需要：1. 能将需求模块化并区分需求等级;2. 能合并各组成部分的需求(或设计);3. 能通过更新预先规定的变量和设备，防止可能出现的异常。

嵌入式硬件
2018-06-25

嵌入式开发嵌入式系统有限状态机模型校验