Stateflow是有限状态机（finite state machine）的图形工具，它通过开发有限状态机和流程图扩展了Simulink的功能。Stateflow使用自然、可读和易理解的形式，可使复杂的逻辑问题变得清晰与简单，并且还与MATLAB\Simulink紧密集成，为包含控制、优先级管理、工作模式逻辑的嵌入式系统设计提供了有效的开发手段，是本书的核心内容之一。读者在5~8章将看到Stateflow应用于MCU器件的嵌入式开发，尤其显得得心应手，一些采用传统方法难于实现的算法，如果利用Stateflow建模却非常容易。大到导弹、航空航天器的控制，小到点亮一个发光二极管，Stateflow都非常称职。Stateflow状态图模型，还可利用Stateflow Coder代码生成工具，直接生成C代码。 Coder代码生成工具，直接生成C代码。