嵌入式软件目前有广阔的应用背景, 一种基于Statechart的嵌入式软件设计方法适用于中小型嵌入式系统的开发。该方法从功能需求开始, 逐步求精, 并在层次化的分析过程中对结果进行形式化验证, 保证系统设计的可靠性, 能有效地完成嵌入式软件设计中从需求到代码分析的设计过程。
