节点文献

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

Building Executable Model of Time-Triggered Control Systems

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 廖晓文廖京盛

【Author】 LIAO Xiao-Wen,LIAO Jin-Sheng(Automation Department of Maoming College,Maoming Guangdong 52500,China)

【机构】 茂名学院自动化系茂名学院自动化系 广东茂名525000广东茂名525000

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

【Abstract】 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 UML modeling methods,and through the seamless integration of UML sequence diagrams with state diagrams,the model can be executed in UML virtual machine.The method completely eliminates the divergence of specification and implementation,and enhances the portability of the model.

【基金】 茂名学院科研基金项目资助(203345)
  • 【文献出处】 组合机床与自动化加工技术 ,Modular Machine Tool & Automatic Manufacturing Technique , 编辑部邮箱 ,2008年07期
  • 【分类号】TP273
  • 【被引频次】2
  • 【下载频次】102
节点文献中: 

本文链接的文献网络图示:

本文的引文网络