采用CCSL仿真与分析反应式系统事件链模型  

Simulation and Analysis Model of Event Chain for Reactive System Using CCSL

作　　者：潘诚[1] 黄志球[1] 王珊珊[1] 王梓[1] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016

出　　处：《小型微型计算机系统》2017年第8期1718-1723,共6页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(61272038)资助;国家"八六三"高技术研究发展计划项目(2015AA015303)资助;软件新技术与产业化协同创新中心资助

摘　　要：目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的规范语言.采用CCSL时钟模型对事件链模型中的时间约束进行分析与仿真;设计了事件链模型到时钟模型的转换规则,将事件链中的时间约束表达为时钟模型的时间约束;使用CCSL仿真工具Time Square对转换得到的时钟模型进行仿真分析,验证事件链是否满足相应的时间约束.Nowadays, functional modeling and time analysis are separated for safety-critical software in complex embedded system, in the areas of automotive electronics. These systems as reactive systems should be ensured that they are accurate and can be analyzed by time constraint. Clock Constraint Specification Language （CCSL） is the standard language for describing clock constraints in a standard description language of a reactive system. The time constraint of event chain model is analyzed and simulated by using CCSL clock model. The transition rules of event chain model to clock model are designed. The time constraint in the event chain is expressed as the time constraint of the clock model. Using CCSL simulation tool TimeSquare for the conversion of the clock model simulation analysis. Verify that the event chain is satisfied with the corresponding time constraints.

关 键 词：反应式系统 事件链 时间约束 CCSL 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]