基于模型的设计方法

形式化建模技术一直是一个有潜力的研究方向，但缺乏高效建模工具和大规模实际部署实践，发展一直很缓慢。博主在搜寻自动生成代码工具的过程中，发现了一个在嵌入式领域基于模型的设计工具QP（Quantum LeaPs）。基于UML类图构建状态机，状态以函数定义，可以生成可部署的代码。据称已经被NASA采用。

复现实例的过程中，感觉还是半自动的。但通过这个例子可以理解面向对象的思想，并在C语言中实现，生成特定状态机代码。

通过QP的学习，期望掌握C代码工程的工具编译链。面向对象编程，抽象建模的能力。