论文部分内容阅读
随着嵌入式系统在各个领域的广泛应用,嵌入式系统变得越来越复杂,研究一种支持嵌入式系统从分析、设计、验证到编码这一整个过程的模型系统及建模方法变得越来越重要。用UMI对嵌入式系统进行面向对象分析与设计,并以电梯实时控制系统为例,建立系统的静态模型和动态模型。在IAR、visualSTATE、ATE环境下,分析系统状态,实现了从状态图到C代码的自动生成,这提高了软件设计和实现的效率、质量、维护性和扩展性。