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

作     者：潘诚 黄志球 王珊珊 王梓 PAN Cheng;HUANG Zhi-qiu;WANG Shan-shan;WANG Zi

作者机构：南京航空航天大学计算机科学与技术学院南京210016 

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

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2017年第38卷第8期

页      码：1718-1723页

摘      要：目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的规范语言.采用CCSL时钟模型对事件链模型中的时间约束进行分析与仿真;设计了事件链模型到时钟模型的转换规则,将事件链中的时间约束表达为时钟模型的时间约束;使用CCSL仿真工具Time Square对转换得到的时钟模型进行仿真分析,验证事件链是否满足相应的时间约束.

主 题 词：反应式系统 事件链 时间约束 CCSL 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-1220.2017.08.012

馆 藏 号：203255509...