论文部分内容阅读
时间触发系统是针对关键性安全控制系统应用的首选,文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上,阐述了针对时间控制触发系统的UML表述,并通过无缝结合UML序列图与状态图的方法,建立可通过UML虚拟机执行的模型,避免了模型设计说明与实现分离的问题,模型的可移植性也获得了增强。