时间触发控制系统模型的构建与执行  

Building Executable Model of Time-Triggered Control Systems

作　　者：廖晓文[1] 廖京盛[1] 

机构地区：[1]茂名学院自动化系,广东茂名525000

出　　处：《组合机床与自动化加工技术》2008年第7期66-68,共3页Modular Machine Tool & Automatic Manufacturing Technique

基　　金：茂名学院科研基金项目资助(203345)

摘　　要：时间触发系统是针对关键性安全控制系统应用的首选,文章在分析传统UML方法在时间触发控制系统上的应用缺陷的基础上,阐述了针对时间控制触发系统的UML表述,并通过无缝结合UML序列图与状态图的方法,建立可通过UML虚拟机执行的模型,避免了模型设计说明与实现分离的问题,模型的可移植性也获得了增强。Time-triggered systems （TTA） are strong candidate platforms for safety-critical real-time control applications. The paper presents a UML described method aim at TTA on the basis of defect analysis of traditional UM L modeling methods, and through the seamless integration of UM L sequence diagrams with state diagrams, the model can be executed in UM L virtual machine. The method completely eliminates the divergence of specification and implementation, and enhances the portability of the model.

关 键 词：时间触发控制系统 可执行模型 状态图 序列图 

分 类 号：TG65[金属学及工艺—金属切削加工及机床] TN915[电子电信—通信与信息系统]